runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4251550-1500915081/watcher-4251550-1500915081 -o /tmp/evaluation-result-4251550-1500915081/solver-4251550-1500915081 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3774 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251550-1500915081.xml
pid=4117
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.71 4.08 4/181 4120
/proc/meminfo: memFree=32105948/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=26904 CPUtime=0 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1022 0 0 0 0 0 0 0 20 0 1 0 1047531 27549696 825 33554432000 4194304 5744392 140731552441904 140731552438552 5425912 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6726 825 715 379 0 145 0
[startup+0.100149 s]
/proc/loadavg: 1.85 1.71 4.08 4/181 4120
/proc/meminfo: memFree=32105948/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=0.09 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1168 0 0 0 9 0 0 0 20 0 1 0 1047531 27820032 957 33554432000 4194304 5744392 140731552441904 140731552438552 4939031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 957 784 379 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27168
[startup+0.200262 s]
/proc/loadavg: 1.85 1.71 4.08 4/181 4120
/proc/meminfo: memFree=32105948/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=0.19 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1168 0 0 0 19 0 0 0 20 0 1 0 1047531 27820032 957 33554432000 4194304 5744392 140731552441904 140731552438552 4994020 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 957 784 379 0 211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27168
[startup+0.300246 s]
/proc/loadavg: 1.85 1.71 4.08 4/181 4120
/proc/meminfo: memFree=32105948/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=0.29 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1168 0 0 0 29 0 0 0 20 0 1 0 1047531 27820032 957 33554432000 4194304 5744392 140731552441904 140731552438552 5024405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 957 784 379 0 211 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27168
[startup+0.700223 s]
/proc/loadavg: 1.85 1.71 4.08 4/181 4120
/proc/meminfo: memFree=32105948/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=0.69 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1168 0 0 0 69 0 0 0 20 0 1 0 1047531 27820032 957 33554432000 4194304 5744392 140731552441904 140731552439512 4940953 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 957 784 379 0 211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27168
[startup+1.50022 s]
/proc/loadavg: 1.85 1.71 4.08 3/182 4121
/proc/meminfo: memFree=32105276/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=1.49 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1168 0 0 0 149 0 0 0 20 0 1 0 1047531 27820032 957 33554432000 4194304 5744392 140731552441904 140731552439512 4945685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 957 784 379 0 211 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27168
[startup+3.10022 s]
/proc/loadavg: 1.86 1.71 4.07 3/182 4121
/proc/meminfo: memFree=32104536/32770624 swapFree=5764/114724
[pid=4120] ppid=4117 vsize=27168 CPUtime=3.09 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1308 0 0 0 309 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552429256 4939488 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27168
[startup+6.30021 s]
/proc/loadavg: 1.86 1.71 4.07 3/182 4121
/proc/meminfo: memFree=32104448/32770624 swapFree=5764/114736
[pid=4120] ppid=4117 vsize=27168 CPUtime=6.29 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1446 0 0 0 629 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4939431 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27168
[startup+12.7002 s]
/proc/loadavg: 1.88 1.72 4.05 3/182 4121
/proc/meminfo: memFree=32104076/32770624 swapFree=5764/114740
[pid=4120] ppid=4117 vsize=27168 CPUtime=12.69 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1586 0 0 0 1269 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552429256 4946031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27168
[startup+25.5003 s]
/proc/loadavg: 1.90 1.73 4.03 3/182 4121
/proc/meminfo: memFree=32104076/32770624 swapFree=5764/114748
[pid=4120] ppid=4117 vsize=27168 CPUtime=25.49 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1850 0 0 0 2549 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4945672 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27168
[startup+51.1003 s]
/proc/loadavg: 1.93 1.75 3.97 3/182 4121
/proc/meminfo: memFree=32104076/32770624 swapFree=5764/114764
[pid=4120] ppid=4117 vsize=27168 CPUtime=51.09 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 1976 0 0 0 5109 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4939031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27168
[startup+102.3 s]
/proc/loadavg: 1.97 1.80 3.86 3/182 4122
/proc/meminfo: memFree=32104396/32770624 swapFree=5764/114812
[pid=4120] ppid=4117 vsize=27168 CPUtime=102.29 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2102 0 0 0 10229 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4877114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27168
[startup+162.3 s]
/proc/loadavg: 1.99 1.83 3.75 3/182 4123
/proc/meminfo: memFree=32104440/32770624 swapFree=5764/114844
[pid=4120] ppid=4117 vsize=27168 CPUtime=162.28 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2228 0 0 0 16228 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 27168
[startup+222.306 s]
/proc/loadavg: 2.00 1.86 3.63 3/182 4125
/proc/meminfo: memFree=32103896/32770624 swapFree=5764/114872
[pid=4120] ppid=4117 vsize=27168 CPUtime=222.29 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2354 0 0 0 22229 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27168
[startup+282.3 s]
/proc/loadavg: 2.00 1.89 3.54 3/182 4126
/proc/meminfo: memFree=32103780/32770624 swapFree=5764/114920
[pid=4120] ppid=4117 vsize=27168 CPUtime=282.28 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2480 0 0 0 28228 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024193 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 27168
[startup+342.3 s]
/proc/loadavg: 2.05 1.92 3.44 3/182 4127
/proc/meminfo: memFree=32103648/32770624 swapFree=5764/114944
[pid=4120] ppid=4117 vsize=27168 CPUtime=342.27 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2606 0 0 0 34227 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27168
[startup+402.3 s]
/proc/loadavg: 2.02 1.94 3.36 3/182 4129
/proc/meminfo: memFree=32103304/32770624 swapFree=5764/114980
[pid=4120] ppid=4117 vsize=27168 CPUtime=402.27 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2732 0 0 0 40227 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4939544 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 27168
[startup+462.3 s]
/proc/loadavg: 2.01 1.95 3.27 3/182 4130
/proc/meminfo: memFree=32103724/32770624 swapFree=5764/115012
[pid=4120] ppid=4117 vsize=27168 CPUtime=462.27 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2858 0 0 0 46227 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4940510 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 27168
[startup+522.3 s]
/proc/loadavg: 2.00 1.96 3.19 3/183 4139
/proc/meminfo: memFree=32103104/32770624 swapFree=5764/115048
[pid=4120] ppid=4117 vsize=27168 CPUtime=522.26 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 2984 0 0 0 52226 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4872571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 27168
[startup+582.3 s]
/proc/loadavg: 2.00 1.96 3.12 3/184 4163
/proc/meminfo: memFree=32102660/32770624 swapFree=5764/115084
[pid=4120] ppid=4117 vsize=27168 CPUtime=582.26 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 3110 0 0 0 58226 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 27168
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.43 3/182 4185
/proc/meminfo: memFree=32103844/32770624 swapFree=5764/115560
[pid=4120] ppid=4117 vsize=27168 CPUtime=1482.22 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5000 0 0 0 148222 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 27168
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.40 3/181 4186
/proc/meminfo: memFree=32104920/32770624 swapFree=5764/115412
[pid=4120] ppid=4117 vsize=27168 CPUtime=1542.22 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5126 0 0 0 154222 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4940510 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 27168
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.38 3/182 4188
/proc/meminfo: memFree=32104212/32770624 swapFree=5764/115452
[pid=4120] ppid=4117 vsize=27168 CPUtime=1602.21 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5252 0 0 0 160221 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4947799 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 27168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/182 4189
/proc/meminfo: memFree=32104012/32770624 swapFree=5764/115480
[pid=4120] ppid=4117 vsize=27168 CPUtime=1662.2 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5378 0 0 0 166220 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4946059 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 27168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.33 3/182 4197
/proc/meminfo: memFree=32103040/32770624 swapFree=5764/115508
[pid=4120] ppid=4117 vsize=27168 CPUtime=1722.2 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5504 0 0 0 172220 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4998899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 27168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.31 3/182 4198
/proc/meminfo: memFree=32103912/32770624 swapFree=5764/115548
[pid=4120] ppid=4117 vsize=27168 CPUtime=1782.2 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5630 0 0 0 178220 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4945722 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 27168
[startup+1842.3 s]
/proc/loadavg: 2.06 2.02 2.30 3/182 4199
/proc/meminfo: memFree=32103812/32770624 swapFree=5764/115584
[pid=4120] ppid=4117 vsize=27168 CPUtime=1842.19 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5756 0 0 0 184219 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 27168
[startup+1902.3 s]
/proc/loadavg: 2.02 2.01 2.28 3/182 4200
/proc/meminfo: memFree=32103648/32770624 swapFree=5764/115608
[pid=4120] ppid=4117 vsize=27168 CPUtime=1902.19 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 5882 0 0 0 190219 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4884436 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 27168
[startup+1962.3 s]
/proc/loadavg: 2.01 2.01 2.26 3/182 4201
/proc/meminfo: memFree=32103448/32770624 swapFree=5764/115648
[pid=4120] ppid=4117 vsize=27168 CPUtime=1962.19 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6008 0 0 0 196219 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5118754 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 27168
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/182 4203
/proc/meminfo: memFree=32103312/32770624 swapFree=5764/115676
[pid=4120] ppid=4117 vsize=27168 CPUtime=2022.18 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6134 0 0 0 202218 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4945697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 27168
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/182 4204
/proc/meminfo: memFree=32103884/32770624 swapFree=5764/115712
[pid=4120] ppid=4117 vsize=27168 CPUtime=2082.18 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6260 0 0 0 208218 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4947810 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 27168
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/182 4205
/proc/meminfo: memFree=32104056/32770624 swapFree=5764/115740
[pid=4120] ppid=4117 vsize=27168 CPUtime=2142.18 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6386 0 0 0 214218 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5118956 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 27168
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.20 3/182 4207
/proc/meminfo: memFree=32103856/32770624 swapFree=5764/115776
[pid=4120] ppid=4117 vsize=27168 CPUtime=2202.18 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6512 0 0 0 220218 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024411 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 27168
[startup+2262.3 s]
/proc/loadavg: 1.92 2.00 2.19 3/182 4269
/proc/meminfo: memFree=32129880/32770624 swapFree=5764/115820
[pid=4120] ppid=4117 vsize=27168 CPUtime=2262.17 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6638 0 0 0 226217 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4939323 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 27168
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.18 3/182 4277
/proc/meminfo: memFree=32127776/32770624 swapFree=5764/115896
[pid=4120] ppid=4117 vsize=27168 CPUtime=2322.16 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6764 0 0 0 232216 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 4994061 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 27168
[startup+2382.3 s]
/proc/loadavg: 1.99 2.00 2.16 3/182 4278
/proc/meminfo: memFree=32127156/32770624 swapFree=5764/115960
[pid=4120] ppid=4117 vsize=27168 CPUtime=2382.16 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 6890 0 0 0 238216 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 27168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 1.99 2.00 2.16 3/182 4278
/proc/meminfo: memFree=32127452/32770624 swapFree=5764/115972
[pid=4120] ppid=4117 vsize=27168 CPUtime=2400.06 cores=1,3,5,7
/proc/4120/stat : 4120 (cosoco) R 4117 4120 3742 0 -1 4202496 7016 0 0 0 240006 0 0 0 20 0 1 0 1047531 27820032 1009 33554432000 4194304 5744392 140731552441904 140731552439512 5024236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 15048704 140731552445633 140731552445763 140731552445763 140731552448462 0
/proc/4120/statm: 6792 1009 810 379 0 211 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4120 sig 9
??? kill -4120 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.07
CPU user time (s): 2400.07
CPU system time (s): 0.00111
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 27168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.00111
maximum resident set size= 4084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7049
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= 12
involuntary context switches= 1802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03224 second user time and 7.57705 second system time
The end