runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10675 MiB free)
memory of node 1: 16384 MiB (12294 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299842-1532789969/watcher-4299842-1532789969 -o /tmp/evaluation-result-4299842-1532789969/solver-4299842-1532789969 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532774055-27429 --watchdog 2580 nacre_mini_release HOME/instance-4299842-1532789969.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29405, runsolver pid=29402
[startup+0.100218 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23501744/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=44732 memory=21416 CPUtime=0.09 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 5540 0 0 0 9 0 0 0 20 0 1 0 96560113 45805568 5354 33554432000 4194304 4933779 140733405906896 140733405903896 140227906464332 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 11183 5354 585 181 0 4800 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44732 KiB
Current children cumulated memory: 21416 KiB
[startup+0.209855 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23500504/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=46220 memory=22736 CPUtime=0.2 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 5912 0 0 0 20 0 0 0 20 0 1 0 96560113 47329280 5684 33554432000 4194304 4933779 140733405906896 140733405903896 140227907320243 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 11555 5684 607 181 0 5172 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46220 KiB
Current children cumulated memory: 22736 KiB
[startup+0.309427 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23499388/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=47416 memory=24056 CPUtime=0.31 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 6227 0 0 0 30 1 0 0 20 0 1 0 96560113 48553984 6014 33554432000 4194304 4933779 140733405906896 140733405903896 140227906464741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 11854 6014 607 181 0 5471 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47416 KiB
Current children cumulated memory: 24056 KiB
[startup+0.700381 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23496784/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=52312 memory=29028 CPUtime=0.69 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 7424 0 0 0 68 1 0 0 20 0 1 0 96560113 53567488 7257 33554432000 4194304 4933779 140733405906896 140733405903896 140227907320195 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 13078 7257 607 181 0 6695 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52312 KiB
Current children cumulated memory: 29028 KiB
[startup+1.50041 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23490984/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=60796 memory=37388 CPUtime=1.49 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 9518 0 0 0 148 1 0 0 20 0 1 0 96560113 62255104 9347 33554432000 4194304 4933779 140733405906896 140733405904664 140227907320219 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 15199 9347 607 181 0 8816 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60796 KiB
Current children cumulated memory: 37388 KiB
[startup+3.10968 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23472456/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=75396 memory=51748 CPUtime=3.1 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 18998 0 0 0 308 2 0 0 20 0 1 0 96560113 77205504 12937 33554432000 4194304 4933779 140733405906896 140733405904664 4437824 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 18849 12937 607 181 0 12466 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75396 KiB
Current children cumulated memory: 51748 KiB
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29406
/proc/meminfo: memFree=23454724/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=94072 memory=70752 CPUtime=6.29 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 33541 0 0 0 625 4 0 0 20 0 1 0 96560113 96329728 17688 33554432000 4194304 4933779 140733405906896 140733405904664 140227906464741 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 23518 17688 607 181 0 17135 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 94072 KiB
Current children cumulated memory: 70752 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 29406
/proc/meminfo: memFree=23431908/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=117552 memory=93648 CPUtime=12.68 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 52833 0 0 0 1263 5 0 0 20 0 1 0 96560113 120373248 23412 33554432000 4194304 4933779 140733405906896 140733405904584 140227907320203 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 29388 23412 607 181 0 23005 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 117552 KiB
Current children cumulated memory: 93648 KiB
[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 29406
/proc/meminfo: memFree=23398676/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=148352 memory=124556 CPUtime=25.48 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 98317 0 0 0 2540 8 0 0 20 0 1 0 96560113 151912448 31139 33554432000 4194304 4933779 140733405906896 140733405904600 4380789 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 37088 31139 607 181 0 30705 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 148352 KiB
Current children cumulated memory: 124556 KiB
[startup+51.1098 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 29413
/proc/meminfo: memFree=23352532/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=191664 memory=167884 CPUtime=51.1 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 139506 0 0 0 5097 13 0 0 20 0 1 0 96560113 196263936 41971 33554432000 4194304 4933779 140733405906896 140733405904600 4437572 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 47916 41971 607 181 0 41533 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 191664 KiB
Current children cumulated memory: 167884 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 29437
/proc/meminfo: memFree=23288372/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=251292 memory=227760 CPUtime=102.28 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 192039 0 0 0 10211 17 0 0 20 0 1 0 96560113 257323008 56940 33554432000 4194304 4933779 140733405906896 140733405904648 4437792 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 62823 56940 607 181 0 56440 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 251292 KiB
Current children cumulated memory: 227760 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 29438
/proc/meminfo: memFree=23229844/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=306404 memory=281924 CPUtime=162.28 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 251073 0 0 0 16204 24 0 0 20 0 1 0 96560113 313757696 70481 33554432000 4194304 4933779 140733405906896 140733405904648 4472608 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 76601 70481 607 181 0 70218 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 306404 KiB
Current children cumulated memory: 281924 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29439
/proc/meminfo: memFree=23185676/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=348136 memory=323668 CPUtime=222.27 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 308701 0 0 0 22197 30 0 0 20 0 1 0 96560113 356491264 80917 33554432000 4194304 4933779 140733405906896 140733405904648 4421373 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 87034 80917 607 181 0 80651 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 348136 KiB
Current children cumulated memory: 323668 KiB
[startup+282.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/188 29440
/proc/meminfo: memFree=23150824/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=379464 memory=355256 CPUtime=282.24 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 331970 0 0 0 28190 34 0 0 20 0 1 0 96560113 388571136 88814 33554432000 4194304 4933779 140733405906896 140733405904600 4437796 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 94866 88814 607 181 0 88483 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 379464 KiB
Current children cumulated memory: 355256 KiB
[startup+342.3 s]
/proc/loadavg: 2.39 2.17 2.10 3/188 29441
/proc/meminfo: memFree=23097068/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=432172 memory=407964 CPUtime=342.21 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 388561 0 0 0 34180 41 0 0 20 0 1 0 96560113 442544128 101991 33554432000 4194304 4933779 140733405906896 140733405904600 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 108043 101991 607 181 0 101660 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 432172 KiB
Current children cumulated memory: 407964 KiB
[startup+402.3 s]
/proc/loadavg: 2.14 2.14 2.09 3/187 29442
/proc/meminfo: memFree=23054464/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=472904 memory=448892 CPUtime=402.18 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 432384 0 0 0 40171 47 0 0 20 0 1 0 96560113 484253696 112223 33554432000 4194304 4933779 140733405906896 140733405904600 4437538 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 118226 112223 607 181 0 111843 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 472904 KiB
Current children cumulated memory: 448892 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.11 2.09 3/187 29443
/proc/meminfo: memFree=23013324/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=507916 memory=484108 CPUtime=462.14 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 459818 0 0 0 46164 50 0 0 20 0 1 0 96560113 520105984 121027 33554432000 4194304 4933779 140733405906896 140733405904648 4437389 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 126979 121027 607 181 0 120596 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 507916 KiB
Current children cumulated memory: 484108 KiB
################
# More data... #
################
/proc/29405/statm: 257122 250952 607 181 0 250739 0
Current children cumulated CPU time: 1721.91 s
Current children cumulated vsize: 1028488 KiB
Current children cumulated memory: 1003808 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29544
/proc/meminfo: memFree=22641564/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1034828 memory=1010120 CPUtime=1781.9 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 964361 0 0 0 178074 116 0 0 20 0 1 0 96560113 1059663872 252530 33554432000 4194304 4933779 140733405906896 140733405904600 4437558 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 258707 252530 607 181 0 252324 0
Current children cumulated CPU time: 1781.9 s
Current children cumulated vsize: 1034828 KiB
Current children cumulated memory: 1010120 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29615
/proc/meminfo: memFree=22706124/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1060020 memory=1035228 CPUtime=1841.9 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 987431 0 0 0 184071 119 0 0 20 0 1 0 96560113 1085460480 258807 33554432000 4194304 4933779 140733405906896 140733405904600 4475942 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 265005 258807 607 181 0 258622 0
Current children cumulated CPU time: 1841.9 s
Current children cumulated vsize: 1060020 KiB
Current children cumulated memory: 1035228 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29616
/proc/meminfo: memFree=22595128/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1085220 memory=1060472 CPUtime=1901.89 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1013848 0 0 0 190066 123 0 0 20 0 1 0 96560113 1111265280 265118 33554432000 4194304 4933779 140733405906896 140733405904600 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 271305 265118 607 181 0 264922 0
Current children cumulated CPU time: 1901.89 s
Current children cumulated vsize: 1085220 KiB
Current children cumulated memory: 1060472 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29617
/proc/meminfo: memFree=22533356/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1091848 memory=1067028 CPUtime=1961.89 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1036786 0 0 0 196063 126 0 0 20 0 1 0 96560113 1118052352 266757 33554432000 4194304 4933779 140733405906896 140733405904600 4437536 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 272962 266757 607 181 0 266579 0
Current children cumulated CPU time: 1961.89 s
Current children cumulated vsize: 1091848 KiB
Current children cumulated memory: 1067028 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 29618
/proc/meminfo: memFree=22477044/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1110024 memory=1085344 CPUtime=2021.88 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1062876 0 0 0 202058 130 0 0 20 0 1 0 96560113 1136664576 271336 33554432000 4194304 4933779 140733405906896 140733405904648 4475942 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 277506 271336 607 181 0 271123 0
Current children cumulated CPU time: 2021.88 s
Current children cumulated vsize: 1110024 KiB
Current children cumulated memory: 1085344 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 29619
/proc/meminfo: memFree=22437888/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1117556 memory=1092876 CPUtime=2081.85 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1076096 0 0 0 208053 132 0 0 20 0 1 0 96560113 1144377344 273219 33554432000 4194304 4933779 140733405906896 140733405904600 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 279389 273219 607 181 0 273006 0
Current children cumulated CPU time: 2081.85 s
Current children cumulated vsize: 1117556 KiB
Current children cumulated memory: 1092876 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 29620
/proc/meminfo: memFree=22394952/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1133016 memory=1108288 CPUtime=2141.83 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1082643 0 0 0 214050 133 0 0 20 0 1 0 96560113 1160208384 277072 33554432000 4194304 4933779 140733405906896 140733405904600 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 283254 277072 607 181 0 276871 0
Current children cumulated CPU time: 2141.83 s
Current children cumulated vsize: 1133016 KiB
Current children cumulated memory: 1108288 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29621
/proc/meminfo: memFree=22355276/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1148020 memory=1123400 CPUtime=2201.82 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1090561 0 0 0 220048 134 0 0 20 0 1 0 96560113 1175572480 280850 33554432000 4194304 4933779 140733405906896 140733405904600 4437404 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 287005 280850 607 181 0 280622 0
Current children cumulated CPU time: 2201.82 s
Current children cumulated vsize: 1148020 KiB
Current children cumulated memory: 1123400 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29622
/proc/meminfo: memFree=22313268/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1167944 memory=1143232 CPUtime=2261.82 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1101820 0 0 0 226046 136 0 0 20 0 1 0 96560113 1195974656 285808 33554432000 4194304 4933779 140733405906896 140733405904648 4437570 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 291986 285808 607 181 0 285603 0
Current children cumulated CPU time: 2261.82 s
Current children cumulated vsize: 1167944 KiB
Current children cumulated memory: 1143232 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29623
/proc/meminfo: memFree=22277236/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1183996 memory=1159336 CPUtime=2321.82 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1113995 0 0 0 232044 138 0 0 20 0 1 0 96560113 1212411904 289834 33554432000 4194304 4933779 140733405906896 140733405904600 4437824 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 295999 289834 607 181 0 289616 0
Current children cumulated CPU time: 2321.82 s
Current children cumulated vsize: 1183996 KiB
Current children cumulated memory: 1159336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 29624
/proc/meminfo: memFree=22239688/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1204504 memory=1179792 CPUtime=2381.83 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1130801 0 0 0 238041 142 0 0 20 0 1 0 96560113 1233412096 294948 33554432000 4194304 4933779 140733405906896 140733405904648 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 301126 294948 607 181 0 294743 0
Current children cumulated CPU time: 2381.83 s
Current children cumulated vsize: 1204504 KiB
Current children cumulated memory: 1179792 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29633
/proc/meminfo: memFree=22215452/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1215324 memory=1190592 CPUtime=2441.82 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1147181 0 0 0 244038 144 0 0 20 0 1 0 96560113 1244491776 297648 33554432000 4194304 4933779 140733405906896 140733405904600 140227907320187 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 303831 297648 607 181 0 297448 0
Current children cumulated CPU time: 2441.82 s
Current children cumulated vsize: 1215324 KiB
Current children cumulated memory: 1190592 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29634
/proc/meminfo: memFree=22164644/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1245856 memory=1221044 CPUtime=2501.82 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1168198 0 0 0 250035 147 0 0 20 0 1 0 96560113 1275756544 305261 33554432000 4194304 4933779 140733405906896 140733405904408 4437393 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 311464 305261 607 181 0 305081 0
Current children cumulated CPU time: 2501.82 s
Current children cumulated vsize: 1245856 KiB
Current children cumulated memory: 1221044 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 29634
/proc/meminfo: memFree=22159064/32770624 swapFree=67108860/67108860
[pid=29405] ppid=29402 vsize=1246184 memory=1221376 CPUtime=2519.53 cores=0,2,4,6
/proc/29405/stat : 29405 (nacre_mini_rele) R 29402 29405 27398 0 -1 4202496 1168954 0 0 0 251806 147 0 0 20 0 1 0 96560113 1276092416 305344 33554432000 4194304 4933779 140733405906896 140733405904584 4437547 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 16134144 140733405914264 140733405914364 140733405914364 140733405917122 0
/proc/29405/statm: 311546 305344 607 181 0 305163 0
Current children cumulated CPU time: 2519.53 s
Current children cumulated vsize: 1246184 KiB
Current children cumulated memory: 1221376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 29405 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.06 s, system=1.49095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.03
CPU time (s): 2519.55
CPU user time (s): 2518.06
CPU system time (s): 1.49095
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 1246184
Max. memory (cumulated for all children) (KiB): 1221376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.06
system time used= 1.49095
maximum resident set size= 1221432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1168997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 536
involuntary context switches= 1781
# summary of solver processes directly reported to runsolver:
# pid: 29405
# total CPU time (s): 2519.55
# total CPU user time (s): 2518.06
# total CPU system time (s): 1.49095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3543 second user time and 18.7709 second system time
The end