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-3747202-1339098232/watcher-3747202-1339098232 -o /tmp/evaluation-result-3747202-1339098232/solver-3747202-1339098232 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747202-1339098232.opb 1488219470 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.24 0.35 0.12 2/179 21448
/proc/meminfo: memFree=31843588/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[startup+0.106096 s]
/proc/loadavg: 1.24 0.35 0.12 2/179 21448
/proc/meminfo: memFree=31843588/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200316 s]
/proc/loadavg: 1.24 0.35 0.12 2/179 21448
/proc/meminfo: memFree=31843588/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 1.24 0.35 0.12 2/179 21448
/proc/meminfo: memFree=31843588/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 1.24 0.35 0.12 2/179 21448
/proc/meminfo: memFree=31843588/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.24 0.35 0.12 3/181 21450
/proc/meminfo: memFree=31706256/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229596 CPUtime=1.48 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) R 21448 21448 21354 0 -1 4202496 40658 0 0 0 138 10 0 0 20 0 1 0 375949299 235106304 57015 33554432000 4194304 6004724 140736346450080 140736346446104 5055456 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 238744
[startup+3.10028 s]
/proc/loadavg: 1.24 0.35 0.12 3/183 21452
/proc/meminfo: memFree=31555384/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229596 CPUtime=2.94 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 40692 12522 0 0 151 14 126 3 20 0 1 0 375949299 235106304 57034 33554432000 4194304 6004724 140736346450080 140736346436360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57399 57034 152 442 0 56953 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 238744
[startup+6.30027 s]
/proc/loadavg: 1.30 0.38 0.13 3/181 21455
/proc/meminfo: memFree=31564372/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=5.77 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 51642 21929 0 0 305 101 162 9 20 0 1 0 375949299 235110400 57060 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57060 177 442 0 56954 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 238748
[startup+12.7003 s]
/proc/loadavg: 1.35 0.40 0.14 3/182 21457
/proc/meminfo: memFree=31396916/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=5.77 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 51642 21929 0 0 305 101 162 9 20 0 1 0 375949299 235110400 57060 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57060 177 442 0 56954 0
[pid=21457] ppid=21449 vsize=164896 CPUtime=6.88 cores=0,2,4,6
/proc/21457/stat : 21457 (glucosInc) R 21449 21448 21354 0 -1 4202496 29373 0 0 0 681 7 0 0 20 0 1 0 375949879 168853504 38079 33554432000 4194304 5654031 140736935929488 140736935917304 4217063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21457/statm: 41224 38079 141 357 0 40864 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 403644
[startup+25.5003 s]
/proc/loadavg: 1.50 0.48 0.17 3/182 21457
/proc/meminfo: memFree=31339576/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=5.77 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 51642 21929 0 0 305 101 162 9 20 0 1 0 375949299 235110400 57060 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57060 177 442 0 56954 0
[pid=21457] ppid=21449 vsize=246012 CPUtime=19.68 cores=0,2,4,6
/proc/21457/stat : 21457 (glucosInc) R 21449 21448 21354 0 -1 4202496 31642 0 0 0 1958 10 0 0 20 0 1 0 375949879 251916288 52639 33554432000 4194304 5654031 140736935929488 140736935927384 4232968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21457/statm: 61503 52639 141 357 0 61143 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 484760
[startup+51.1004 s]
/proc/loadavg: 1.67 0.60 0.21 3/181 21457
/proc/meminfo: memFree=31371348/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=5.77 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 51642 21929 0 0 305 101 162 9 20 0 1 0 375949299 235110400 57060 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57060 177 442 0 56954 0
[pid=21457] ppid=21449 vsize=196852 CPUtime=45.28 cores=0,2,4,6
/proc/21457/stat : 21457 (glucosInc) R 21449 21448 21354 0 -1 4202496 35542 0 0 0 4509 19 0 0 20 0 1 0 375949879 201576448 43990 33554432000 4194304 5654031 140736935929488 140736935927512 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21457/statm: 49213 43990 141 357 0 48853 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 435600
[startup+102.3 s]
/proc/loadavg: 1.85 0.81 0.31 3/181 21458
/proc/meminfo: memFree=31225460/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=5.77 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 51642 21929 0 0 305 101 162 9 20 0 1 0 375949299 235110400 57060 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57060 177 442 0 56954 0
[pid=21457] ppid=21449 vsize=329752 CPUtime=96.48 cores=0,2,4,6
/proc/21457/stat : 21457 (glucosInc) R 21449 21448 21354 0 -1 4202496 40484 0 0 0 9619 29 0 0 20 0 1 0 375949879 337666048 75610 33554432000 4194304 5654031 140736935929488 140736935927272 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21457/statm: 82438 75610 141 357 0 82078 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 568500
[startup+162.3 s]
/proc/loadavg: 2.02 1.04 0.41 3/181 21460
/proc/meminfo: memFree=31354732/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=123.65 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 63316 65798 0 0 441 110 11769 45 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21460] ppid=21449 vsize=198184 CPUtime=38.58 cores=0,2,4,6
/proc/21460/stat : 21460 (glucosInc) R 21449 21448 21354 0 -1 4202496 32175 0 0 0 3849 9 0 0 20 0 1 0 375961668 202940416 42110 33554432000 4194304 5654031 140734758164112 140734758151928 4214494 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21460/statm: 49546 42110 141 357 0 49186 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 436932
[startup+222.307 s]
/proc/loadavg: 2.04 1.23 0.52 3/181 21462
/proc/meminfo: memFree=31367328/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=205.34 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 74989 100632 0 0 574 119 19780 61 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21462] ppid=21449 vsize=164960 CPUtime=16.87 cores=0,2,4,6
/proc/21462/stat : 21462 (glucosInc) R 21449 21448 21354 0 -1 4202496 30366 0 0 0 1680 7 0 0 20 0 1 0 375969841 168919040 38467 33554432000 4194304 5654031 140735072248336 140735072236152 4214944 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21462/statm: 41240 38467 141 357 0 40880 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 403708
[startup+282.3 s]
/proc/loadavg: 2.01 1.37 0.60 3/181 21464
/proc/meminfo: memFree=31355956/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=196700 CPUtime=25.14 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31148648/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=346332 CPUtime=1104.93 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 82688 0 0 0 110294 199 0 0 20 0 1 0 375975012 354643968 76436 33554432000 4194304 5654031 140734376149984 140734376148008 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 86583 76436 141 357 0 86223 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 585080
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/181 21497
/proc/meminfo: memFree=30830360/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=694412 CPUtime=1164.93 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 83934 0 0 0 116287 206 0 0 20 0 1 0 375975012 711077888 155354 33554432000 4194304 5654031 140734376149984 140734376147768 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 173603 155354 141 357 0 173243 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 933160
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/181 21497
/proc/meminfo: memFree=30921768/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=694856 CPUtime=1224.91 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 86357 0 0 0 122274 217 0 0 20 0 1 0 375975012 711532544 141926 33554432000 4194304 5654031 140734376149984 140734376148072 4215175 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 173714 141926 141 357 0 173354 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 933604
[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.61 3/181 21497
/proc/meminfo: memFree=31005860/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=695192 CPUtime=1284.91 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 88573 0 0 0 128262 229 0 0 20 0 1 0 375975012 711876608 119822 33554432000 4194304 5654031 140734376149984 140734376148072 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 173798 119822 141 357 0 173438 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 933940
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/182 21501
/proc/meminfo: memFree=31132000/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=348532 CPUtime=1344.89 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 89946 0 0 0 134251 238 0 0 20 0 1 0 375975012 356896768 79132 33554432000 4194304 5654031 140734376149984 140734376148008 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 87133 79132 141 357 0 86773 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 587280
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/181 21501
/proc/meminfo: memFree=30831520/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=697212 CPUtime=1404.88 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 91436 0 0 0 140245 243 0 0 20 0 1 0 375975012 713945088 153695 33554432000 4194304 5654031 140734376149984 140734376147768 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 174303 153695 141 357 0 173943 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 935960
[startup+1722.3 s]
/proc/loadavg: 2.07 2.00 1.68 3/181 21501
/proc/meminfo: memFree=31080816/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=483596 CPUtime=1464.88 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 93415 0 0 0 146235 253 0 0 20 0 1 0 375975012 495202304 102698 33554432000 4194304 5654031 140734376149984 140734376148072 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 120899 102698 141 357 0 120539 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 722344
[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.70 3/181 21566
/proc/meminfo: memFree=30805640/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=1047768 CPUtime=1524.87 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 94522 0 0 0 152227 260 0 0 20 0 1 0 375975012 1072914432 185054 33554432000 4194304 5654031 140734376149984 140734376148072 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 261942 185054 141 357 0 261582 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1286516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.00 1.70 3/181 21566
/proc/meminfo: memFree=30735388/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=1048404 CPUtime=1542.97 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 94718 0 0 0 154036 261 0 0 20 0 1 0 375975012 1073565696 201091 33554432000 4194304 5654031 140734376149984 140734376147768 4233148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 262101 201091 141 357 0 261741 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1287152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.02 2.00 1.70 3/181 21566
/proc/meminfo: memFree=30735388/32873648 swapFree=7376/7376
[pid=21448] ppid=21446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21448/stat : 21448 (npSolver-pbo-It) S 21446 21448 21354 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375949298 9367552 274 33554432000 4194304 5064252 140735558389936 140735558388848 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21448/statm: 2287 274 233 213 0 72 0
[pid=21449] ppid=21448 vsize=229600 CPUtime=257.06 cores=0,2,4,6
/proc/21449/stat : 21449 (npSolver-pbo) S 21448 21448 21354 0 -1 4202496 86661 133361 0 0 710 128 24794 74 20 0 1 0 375949299 235110400 57061 33554432000 4194304 6004724 140736346450080 140736346435928 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/21449/statm: 57400 57061 178 442 0 56954 0
[pid=21464] ppid=21449 vsize=1048404 CPUtime=1542.97 cores=0,2,4,6
/proc/21464/stat : 21464 (glucosInc) R 21449 21448 21354 0 -1 4202496 94718 0 0 0 154036 261 0 0 20 0 1 0 375975012 1073565696 201091 33554432000 4194304 5654031 140734376149984 140734376147768 4233148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21464/statm: 262101 201091 141 357 0 261741 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1287152
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21448 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.03
CPU user time (s): 1795.4
CPU system time (s): 4.63
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 1498132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 4.21136 second user time and 9.93349 second system time
The end