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-3747074-1339099999/watcher-3747074-1339099999 -o /tmp/evaluation-result-3747074-1339099999/solver-3747074-1339099999 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747074-1339099999.opb 2131861370 HOME HOME
running on 4 cores: 0,2,4,6
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: 1.92 1.97 1.71 2/178 17652
/proc/meminfo: memFree=27042684/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[startup+0.10009 s]
/proc/loadavg: 1.92 1.97 1.71 2/178 17652
/proc/meminfo: memFree=27042684/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200248 s]
/proc/loadavg: 1.92 1.97 1.71 2/178 17652
/proc/meminfo: memFree=27042684/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 1.92 1.97 1.71 2/178 17652
/proc/meminfo: memFree=27042684/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700204 s]
/proc/loadavg: 1.92 1.97 1.71 2/178 17652
/proc/meminfo: memFree=27042684/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 1.92 1.97 1.71 3/181 17669
/proc/meminfo: memFree=27030180/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=0.55 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 5643 12633 0 0 16 1 36 2 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17669] ppid=17653 vsize=12016 CPUtime=0.91 cores=0,2,4,6
/proc/17669/stat : 17669 (glucosInc) R 17653 17652 17422 0 -1 4202496 1901 0 0 0 91 0 0 0 20 0 1 0 376125461 12304384 2360 33554432000 4194304 5654031 140737076719904 140737076717688 4208648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17669/statm: 3004 2360 131 357 0 2644 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28372
[startup+3.10022 s]
/proc/loadavg: 1.92 1.97 1.71 3/181 17669
/proc/meminfo: memFree=27026520/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=0.55 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 5643 12633 0 0 16 1 36 2 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17669] ppid=17653 vsize=15004 CPUtime=2.51 cores=0,2,4,6
/proc/17669/stat : 17669 (glucosInc) R 17653 17652 17422 0 -1 4202496 3182 0 0 0 251 0 0 0 20 0 1 0 376125461 15364096 2690 33554432000 4194304 5654031 140737076719904 140737076717688 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17669/statm: 3751 2690 132 357 0 3391 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31360
[startup+6.30026 s]
/proc/loadavg: 1.93 1.97 1.71 3/181 17792
/proc/meminfo: memFree=27217668/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=0.55 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 5643 12633 0 0 16 1 36 2 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17669] ppid=17653 vsize=19580 CPUtime=5.71 cores=0,2,4,6
/proc/17669/stat : 17669 (glucosInc) R 17653 17652 17422 0 -1 4202496 4716 0 0 0 570 1 0 0 20 0 1 0 376125461 20049920 4399 33554432000 4194304 5654031 140737076719904 140737076717928 4232710 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17669/statm: 4895 4399 132 357 0 4535 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35936
[startup+12.7002 s]
/proc/loadavg: 1.93 1.97 1.71 3/181 17800
/proc/meminfo: memFree=27230136/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=11.69 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 6288 18722 0 0 18 1 1146 4 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17800] ppid=17653 vsize=9508 CPUtime=0.97 cores=0,2,4,6
/proc/17800/stat : 17800 (glucosInc) R 17653 17652 17422 0 -1 4202496 1992 0 0 0 97 0 0 0 20 0 1 0 376126575 9736192 1847 33554432000 4194304 5654031 140737166260576 140737166248392 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17800/statm: 2377 1847 140 357 0 2017 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 25864
[startup+25.5003 s]
/proc/loadavg: 1.95 1.97 1.72 3/181 17852
/proc/meminfo: memFree=27132264/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=19.8 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 6933 23430 0 0 21 2 1952 5 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17852] ppid=17653 vsize=14240 CPUtime=5.67 cores=0,2,4,6
/proc/17852/stat : 17852 (glucosInc) R 17653 17652 17422 0 -1 4202496 4355 0 0 0 566 1 0 0 20 0 1 0 376127386 14581760 3080 33554432000 4194304 5654031 140735409493408 140735409481224 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17852/statm: 3560 3080 141 357 0 3200 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30596
[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 1.73 4/181 17858
/proc/meminfo: memFree=27136216/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=50.48 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 7578 31556 0 0 23 2 5015 8 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17858] ppid=17653 vsize=12064 CPUtime=0.57 cores=0,2,4,6
/proc/17858/stat : 17858 (glucosInc) R 17653 17652 17422 0 -1 4202496 1488 0 0 0 57 0 0 0 20 0 1 0 376130455 12353536 1976 33554432000 4194304 5654031 140735137400976 140735137398936 4215848 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17858/statm: 3016 1976 139 357 0 2656 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 28420
[startup+102.3 s]
/proc/loadavg: 1.98 1.97 1.74 3/181 17866
/proc/meminfo: memFree=27119012/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=26748 CPUtime=8.83 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 4558 0 0 0 882 1 0 0 20 0 1 0 376134749 27389952 6199 33554432000 4194304 5654031 140734953936640 140734953934440 4215017 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17866/statm: 6687 6199 140 357 0 6327 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 43104
[startup+162.3 s]
/proc/loadavg: 2.04 1.99 1.75 3/181 17871
/proc/meminfo: memFree=27066168/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=78732 CPUtime=68.81 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 6889 0 0 0 6879 2 0 0 20 0 1 0 376134749 80621568 14847 33554432000 4194304 5654031 140734953936640 140734953924456 4215088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 19683 14847 141 357 0 19323 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 95088
[startup+222.306 s]
/proc/loadavg: 2.01 1.99 1.77 3/181 17873
/proc/meminfo: memFree=27047408/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=78732 CPUtime=128.81 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 7271 0 0 0 12877 4 0 0 20 0 1 0 376134749 80621568 19195 33554432000 4194304 5654031 140734953936640 140734953934664 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 19683 19195 141 357 0 19323 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 95088
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.91 3/181 17889
/proc/meminfo: memFree=26888036/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=147348 CPUtime=1268.62 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 12567 0 0 0 126804 58 0 0 20 0 1 0 376134749 150884352 32240 33554432000 4194304 5654031 140734953936640 140734953934568 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 36837 32240 141 357 0 36477 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 163704
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 17889
/proc/meminfo: memFree=26935088/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=147348 CPUtime=1328.6 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 13532 0 0 0 132800 60 0 0 20 0 1 0 376134749 150884352 31728 33554432000 4194304 5654031 140734953936640 140734953934664 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 36837 31728 141 357 0 36477 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 163704
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 17889
/proc/meminfo: memFree=26898428/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=147348 CPUtime=1388.59 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 14487 0 0 0 138796 63 0 0 20 0 1 0 376134749 150884352 32240 33554432000 4194304 5654031 140734953936640 140734953934568 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 36837 32240 141 357 0 36477 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 163704
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 17889
/proc/meminfo: memFree=26926936/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=147988 CPUtime=1448.59 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 15601 0 0 0 144793 66 0 0 20 0 1 0 376134749 151539712 33936 33554432000 4194304 5654031 140734953936640 140734953934568 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 36997 33936 141 357 0 36637 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 164344
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/182 17892
/proc/meminfo: memFree=26872412/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=147988 CPUtime=1508.57 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 16558 0 0 0 150789 68 0 0 20 0 1 0 376134749 151539712 33424 33554432000 4194304 5654031 140734953936640 140734953934664 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 36997 33424 141 357 0 36637 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 164344
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 1.92 3/181 17893
/proc/meminfo: memFree=26821008/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=228896 CPUtime=1568.55 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 17485 0 0 0 156785 70 0 0 20 0 1 0 376134749 234389504 49152 33554432000 4194304 5654031 140734953936640 140734953934728 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 57224 49152 141 357 0 56864 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 245252
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.92 3/181 17893
/proc/meminfo: memFree=26819044/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=228896 CPUtime=1628.55 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 18441 0 0 0 162782 73 0 0 20 0 1 0 376134749 234389504 47104 33554432000 4194304 5654031 140734953936640 140734953934728 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 57224 47104 141 357 0 56864 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 245252
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/181 17893
/proc/meminfo: memFree=26872000/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=228896 CPUtime=1688.53 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 19174 0 0 0 168778 75 0 0 20 0 1 0 376134749 234389504 44327 33554432000 4194304 5654031 140734953936640 140734953934728 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 57224 44327 141 357 0 56864 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 245252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.92 3/181 17893
/proc/meminfo: memFree=26813044/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=228896 CPUtime=1706.63 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 19399 0 0 0 170588 75 0 0 20 0 1 0 376134749 234389504 48128 33554432000 4194304 5654031 140734953936640 140734953934728 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 57224 48128 141 357 0 56864 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 245252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.92 3/181 17893
/proc/meminfo: memFree=26813044/32873648 swapFree=7116/7116
[pid=17652] ppid=17650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17652/stat : 17652 (npSolver-pbo-It) S 17650 17652 17422 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376125403 9367552 275 33554432000 4194304 5064252 140734170639600 140734170638512 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17652/statm: 2287 275 233 213 0 72 0
[pid=17653] ppid=17652 vsize=7208 CPUtime=93.41 cores=0,2,4,6
/proc/17653/stat : 17653 (npSolver-pbo) S 17652 17652 17422 0 -1 4202496 8223 41331 0 0 26 2 9302 11 20 0 1 0 376125403 7380992 1354 33554432000 4194304 6004724 140735909456320 140735909442168 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17653/statm: 1802 1354 176 442 0 1356 0
[pid=17866] ppid=17653 vsize=228896 CPUtime=1706.63 cores=0,2,4,6
/proc/17866/stat : 17866 (glucosInc) R 17653 17652 17422 0 -1 4202496 19399 0 0 0 170588 75 0 0 20 0 1 0 376134749 234389504 48128 33554432000 4194304 5654031 140734953936640 140734953934728 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17866/statm: 57224 48128 141 357 0 56864 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 245252
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17652 and gives
# childrusage.ru_utime.tv_sec=93
# childrusage.ru_utime.tv_usec=291817
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140978
# CPU time returned by wait4() is 93.4328
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.16
CPU system time (s): 0.88
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 294572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2918
system time used= 0.140978
maximum resident set size= 72104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 349
involuntary context switches= 205
runsolver used 2.74858 second user time and 7.08192 second system time
The end