runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3698044-1338052952/watcher-3698044-1338052952 -o /tmp/evaluation-result-3698044-1338052952/solver-3698044-1338052952 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698044-1338052952.opb 2080573990 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[startup+0.019556 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10031 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.04 2.06 1.98 3/174 863
/proc/meminfo: memFree=28506072/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.04 2.06 1.98 3/179 871
/proc/meminfo: memFree=28489276/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=1.44 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3279 0 0 0 140 4 0 0 20 0 1 0 271423792 21618688 3619 33554432000 4194304 5992684 140736058580208 140736058574656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3619 164 440 0 4834 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 30260
[startup+3.10034 s]
/proc/loadavg: 2.04 2.06 1.98 3/183 875
/proc/meminfo: memFree=28339576/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=1.44 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3279 0 0 0 140 4 0 0 20 0 1 0 271423792 21618688 3619 33554432000 4194304 5992684 140736058580208 140736058574656 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3619 164 440 0 4834 0
[pid=874] ppid=866 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/874/stat : 874 (cp2_pre.sh) S 866 863 824 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271423937 9367552 277 33554432000 4194304 5064252 140733902175520 140733902174224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/874/statm: 2287 277 234 213 0 72 0
[pid=875] ppid=874 vsize=63328 CPUtime=1.63 cores=1,3,5,7
/proc/875/stat : 875 (coprocessor) R 874 863 824 0 -1 4202496 14559 0 0 0 159 4 0 0 20 0 1 0 271423937 64847872 15068 33554432000 4194304 6586260 140736991439824 140736991435576 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/875/statm: 15832 15068 197 584 0 15244 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 102736
[startup+6.30035 s]
/proc/loadavg: 2.04 2.06 1.98 3/181 879
/proc/meminfo: memFree=28379648/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=2.85 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 11392 0 0 0 283 2 0 0 20 0 1 0 271424135 75931648 15159 33554432000 4194304 5654031 140734158106224 140734158104248 4232949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 15159 132 357 0 18178 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 104412
[startup+12.7071 s]
/proc/loadavg: 2.03 2.06 1.98 3/181 879
/proc/meminfo: memFree=28314616/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=9.26 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 11702 0 0 0 922 4 0 0 20 0 1 0 271424135 75931648 17781 33554432000 4194304 5654031 140734158106224 140734158104248 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 104412
[startup+25.5003 s]
/proc/loadavg: 2.03 2.06 1.98 3/181 879
/proc/meminfo: memFree=28280440/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=74152 CPUtime=22.05 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 12196 0 0 0 2199 6 0 0 20 0 1 0 271424135 75931648 17781 33554432000 4194304 5654031 140734158106224 140734158104248 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/878/statm: 18538 17781 132 357 0 18178 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 104412
[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 1.98 3/181 879
/proc/meminfo: memFree=28274376/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=47.64 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 13418 0 0 0 4752 12 0 0 20 0 1 0 271424135 126435328 28127 33554432000 4194304 5654031 140734158106224 140734158104152 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 28127 132 357 0 30508 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 153732
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 1.98 3/181 879
/proc/meminfo: memFree=28269260/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=98.83 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 17698 0 0 0 9861 22 0 0 20 0 1 0 271424135 126435328 21983 33554432000 4194304 5654031 140734158106224 140734158104248 4877973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 21983 132 357 0 30508 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 153732
[startup+162.307 s]
/proc/loadavg: 2.00 2.03 1.98 3/181 879
/proc/meminfo: memFree=28192536/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=21112 CPUtime=3.14 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 3295 15463 0 0 140 4 165 5 20 0 1 0 271423792 21618688 3621 33554432000 4194304 5992684 140736058580208 140736058566472 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/866/statm: 5278 3621 166 440 0 4834 0
[pid=878] ppid=866 vsize=123472 CPUtime=158.83 cores=1,3,5,7
/proc/878/stat : 878 (glucosInc) R 866 863 824 0 -1 4202496 22293 0 0 0 15851 32 0 0 20 0 1 0 271424135 126435328 29151 33554432000 4194304 5654031 140734158106224 140734158104152 4232922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/878/statm: 30868 29151 132 357 0 30508 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 153732
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/181 893
/proc/meminfo: memFree=28032344/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30468 CPUtime=187.8 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) R 863 863 824 0 -1 4202496 17009 72469 0 0 473 108 18146 53 20 0 1 0 271423792 31199232 6009 33554432000 4194304 5992684 140736058580208 140736058575576 5179600 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7617 6009 183 440 0 7173 0
[pid=889] ppid=866 vsize=172324 CPUtime=34.14 cores=1,3,5,7
/proc/889/stat : 889 (glucosInc) S 866 863 824 0 -1 4202496 33082 0 0 0 3405 9 0 0 20 0 1 0 271442565 176459776 38315 33554432000 4194304 5654031 140733281029424 140733281027736 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/889/statm: 43081 38315 147 357 0 42721 0
Current children cumulated CPU time (s) 221.94
Current children cumulated vsize (KiB) 211940
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27814940/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=284092 CPUtime=954.98 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 55245 0 0 0 95430 68 0 0 20 0 1 0 271458503 290910208 67552 33554432000 4194304 5654031 140733970028704 140733970026488 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 71023 67552 141 357 0 70663 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 323712
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27706468/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=499872 CPUtime=1014.97 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 56759 0 0 0 101424 73 0 0 20 0 1 0 271458503 511868928 100351 33554432000 4194304 5654031 140733970028704 140733970026488 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 124968 100351 141 357 0 124608 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 539492
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27832584/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=287044 CPUtime=1074.95 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 57966 0 0 0 107416 79 0 0 20 0 1 0 271458503 293933056 64240 33554432000 4194304 5654031 140733970028704 140733970026792 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 71761 64240 141 357 0 71401 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 326664
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 920
/proc/meminfo: memFree=27627536/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=501696 CPUtime=1134.94 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 59237 0 0 0 113411 83 0 0 20 0 1 0 271458503 513736704 98726 33554432000 4194304 5654031 140733970028704 140733970026488 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 125424 98726 141 357 0 125064 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 541316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 921
/proc/meminfo: memFree=27831056/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=238604 CPUtime=1194.93 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 59580 0 0 0 119404 89 0 0 20 0 1 0 271458503 244330496 56203 33554432000 4194304 5654031 140733970028704 140733970026792 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 59651 56203 141 357 0 59291 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 278224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 921
/proc/meminfo: memFree=27634644/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=502340 CPUtime=1254.92 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 61437 0 0 0 125399 93 0 0 20 0 1 0 271458503 514396160 91785 33554432000 4194304 5654031 140733970028704 140733970026792 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 125585 91785 141 357 0 125225 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 541960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 924
/proc/meminfo: memFree=27633592/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=239828 CPUtime=1314.91 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 61869 0 0 0 131392 99 0 0 20 0 1 0 271458503 245583872 51831 33554432000 4194304 5654031 140733970028704 140733970026792 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 59957 51831 141 357 0 59597 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 279448
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27626112/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=371304 CPUtime=1374.9 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 63255 0 0 0 137388 102 0 0 20 0 1 0 271458503 380215296 82852 33554432000 4194304 5654031 140733970028704 140733970026792 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 92826 82852 141 357 0 92466 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 410924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27674312/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=504400 CPUtime=1434.89 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 63970 0 0 0 143383 106 0 0 20 0 1 0 271458503 516505600 107675 33554432000 4194304 5654031 140733970028704 140733970026488 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 126100 107675 141 357 0 125740 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 544020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 924
/proc/meminfo: memFree=27574552/32873844 swapFree=7620/7620
[pid=863] ppid=861 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/863/stat : 863 (npSolver-pbo-It) S 861 863 824 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271423792 9367552 275 33554432000 4194304 5064252 140734515009984 140734515008896 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/863/statm: 2287 275 233 213 0 72 0
[pid=866] ppid=863 vsize=30472 CPUtime=346.72 cores=1,3,5,7
/proc/866/stat : 866 (npSolver-pbo) S 863 863 824 0 -1 4202496 34386 173991 0 0 845 140 33595 92 20 0 1 0 271423792 31203328 6010 33554432000 4194304 5992684 140736058580208 140736058566040 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/866/statm: 7618 6010 183 440 0 7174 0
[pid=906] ppid=866 vsize=504832 CPUtime=1453.38 cores=1,3,5,7
/proc/906/stat : 906 (glucosInc) R 866 863 824 0 -1 4202496 64079 0 0 0 145232 106 0 0 20 0 1 0 271458503 516947968 115944 33554432000 4194304 5654031 140733970028704 140733970026488 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/906/statm: 126208 115944 141 357 0 125848 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 544452
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 863 and gives
# childrusage.ru_utime.tv_sec=344
# childrusage.ru_utime.tv_usec=406642
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=330645
# CPU time returned by wait4() is 346.737
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1796.72
CPU system time (s): 3.38
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 592504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 344.407
system time used= 2.33065
maximum resident set size= 204832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 626288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2204
involuntary context switches= 576
runsolver used 11.0643 second user time and 14.5398 second system time
The end