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-3751954-1339114520/watcher-3751954-1339114520 -o /tmp/evaluation-result-3751954-1339114520/solver-3751954-1339114520 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751954-1339114520.opb 540282198 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: 2.03 2.02 2.00 3/178 24215
/proc/meminfo: memFree=31582908/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[startup+0.082791 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 24215
/proc/meminfo: memFree=31582908/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100308 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 24215
/proc/meminfo: memFree=31582908/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 24215
/proc/meminfo: memFree=31582908/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 24215
/proc/meminfo: memFree=31582908/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/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: 2.03 2.02 2.00 3/181 24226
/proc/meminfo: memFree=31617352/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=0.28 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 3250 8472 0 0 4 3 20 1 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24226] ppid=24216 vsize=14556 CPUtime=1.17 cores=0,2,4,6
/proc/24226/stat : 24226 (glucosInc) R 24216 24215 22322 0 -1 4202496 3308 0 0 0 117 0 0 0 20 0 1 0 377578121 14905344 2708 33554432000 4194304 5654031 140733983015056 140733983012840 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24226/statm: 3639 2708 141 357 0 3279 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 28584
[startup+3.10026 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 24226
/proc/meminfo: memFree=31612576/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=0.28 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 3250 8472 0 0 4 3 20 1 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24226] ppid=24216 vsize=17556 CPUtime=2.77 cores=0,2,4,6
/proc/24226/stat : 24226 (glucosInc) R 24216 24215 22322 0 -1 4202496 5173 0 0 0 277 0 0 0 20 0 1 0 377578121 17977344 3391 33554432000 4194304 5654031 140733983015056 140733983013080 4215112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24226/statm: 4389 3391 141 357 0 4029 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31584
[startup+6.30027 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 24228
/proc/meminfo: memFree=31604260/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=3.73 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 3777 14697 0 0 6 3 362 2 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24228] ppid=24216 vsize=13340 CPUtime=2.52 cores=0,2,4,6
/proc/24228/stat : 24228 (glucosInc) R 24216 24215 22322 0 -1 4202496 4597 0 0 0 252 0 0 0 20 0 1 0 377578466 13660160 2805 33554432000 4194304 5654031 140735899767760 140735899765544 4232505 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24228/statm: 3335 2805 141 357 0 2975 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 27368
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 24230
/proc/meminfo: memFree=31593912/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=9.97 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 4303 21322 0 0 7 3 983 4 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24230] ppid=24216 vsize=19336 CPUtime=2.68 cores=0,2,4,6
/proc/24230/stat : 24230 (glucosInc) R 24216 24215 22322 0 -1 4202496 5182 0 0 0 268 0 0 0 20 0 1 0 377579090 19800064 3945 33554432000 4194304 5654031 140733514532912 140733514530600 4232655 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24230/statm: 4834 3945 141 357 0 4474 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 33364
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 24285
/proc/meminfo: memFree=31801568/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=9.97 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 4303 21322 0 0 7 3 983 4 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24230] ppid=24216 vsize=42788 CPUtime=15.48 cores=0,2,4,6
/proc/24230/stat : 24230 (glucosInc) R 24216 24215 22322 0 -1 4202496 7924 0 0 0 1547 1 0 0 20 0 1 0 377579090 43814912 9383 33554432000 4194304 5654031 140733514532912 140733514520728 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24230/statm: 10697 9383 141 357 0 10337 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 56816
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 24289
/proc/meminfo: memFree=31779168/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=24760 CPUtime=6.3 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 6264 0 0 0 629 1 0 0 20 0 1 0 377582569 25354240 5657 33554432000 4194304 5654031 140733969882384 140733969870200 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24289/statm: 6190 5657 141 357 0 5830 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 38788
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24289
/proc/meminfo: memFree=31729508/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=74028 CPUtime=57.48 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 8605 0 0 0 5746 2 0 0 20 0 1 0 377582569 75804672 12982 33554432000 4194304 5654031 140733969882384 140733969870200 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 18507 12982 141 357 0 18147 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 88056
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24289
/proc/meminfo: memFree=31697356/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=86296 CPUtime=117.47 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 9865 0 0 0 11743 4 0 0 20 0 1 0 377582569 88367104 21045 33554432000 4194304 5654031 140733969882384 140733969870200 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 21574 21045 141 357 0 21214 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 100324
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24290
/proc/meminfo: memFree=31615436/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=135616 CPUtime=177.46 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 10437 0 0 0 17739 7 0 0 20 0 1 0 377582569 138870784 30358 33554432000 4194304 5654031 140733969882384 140733969880312 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 33904 30358 141 357 0 33544 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 149644
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31529664/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=161352 CPUtime=1257.28 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 48819 0 0 0 125651 77 0 0 20 0 1 0 377582569 165224448 36792 33554432000 4194304 5654031 140733969882384 140733969880312 4233464 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 40338 36792 141 357 0 39978 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 175380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24301
/proc/meminfo: memFree=31442248/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=323648 CPUtime=1317.26 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 50788 0 0 0 131645 81 0 0 20 0 1 0 377582569 331415552 65832 33554432000 4194304 5654031 140733969882384 140733969880472 4215104 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 80912 65832 141 357 0 80552 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 337676
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24301
/proc/meminfo: memFree=31414544/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=242260 CPUtime=1377.26 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 52397 0 0 0 137642 84 0 0 20 0 1 0 377582569 248074240 59730 33554432000 4194304 5654031 140733969882384 140733969880472 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 60565 59730 141 357 0 60205 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 256288
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24305
/proc/meminfo: memFree=31433612/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=243372 CPUtime=1437.24 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 54781 0 0 0 143637 87 0 0 20 0 1 0 377582569 249212928 54334 33554432000 4194304 5654031 140733969882384 140733969880472 4232817 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 60843 54334 141 357 0 60483 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 257400
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24305
/proc/meminfo: memFree=31464896/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=193284 CPUtime=1497.22 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 56428 0 0 0 149631 91 0 0 20 0 1 0 377582569 197922816 45672 33554432000 4194304 5654031 140733969882384 140733969880472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 48321 45672 141 357 0 47961 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 207312
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24305
/proc/meminfo: memFree=31353240/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=324760 CPUtime=1557.2 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 57507 0 0 0 155628 92 0 0 20 0 1 0 377582569 332554240 72296 33554432000 4194304 5654031 140733969882384 140733969880472 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 81190 72296 141 357 0 80830 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 338788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24306
/proc/meminfo: memFree=31431776/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=324760 CPUtime=1617.19 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 59592 0 0 0 161623 96 0 0 20 0 1 0 377582569 332554240 66110 33554432000 4194304 5654031 140733969882384 140733969880472 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 81190 66110 141 357 0 80830 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 338788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24306
/proc/meminfo: memFree=31408852/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=243372 CPUtime=1677.19 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 61203 0 0 0 167619 100 0 0 20 0 1 0 377582569 249212928 55400 33554432000 4194304 5654031 140733969882384 140733969870200 4216312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 60843 55400 141 357 0 60483 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 257400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24307
/proc/meminfo: memFree=31474484/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=251496 CPUtime=1737.18 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 63791 0 0 0 173615 103 0 0 20 0 1 0 377582569 257531904 58413 33554432000 4194304 5654031 140733969882384 140733969870200 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 62874 58413 141 357 0 62514 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 265524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24307
/proc/meminfo: memFree=31478504/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=202448 CPUtime=1755.38 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 64771 0 0 0 175433 105 0 0 20 0 1 0 377582569 207306752 44044 33554432000 4194304 5654031 140733969882384 140733969870200 4233306 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 50612 44044 141 357 0 50252 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 216476
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24307
/proc/meminfo: memFree=31478504/32873844 swapFree=7380/7380
[pid=24215] ppid=24213 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24215/stat : 24215 (npSolver-pbo-It) S 24213 24215 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377578090 9367552 275 33554432000 4194304 5064252 140736367981776 140736367980688 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24215/statm: 2287 275 233 213 0 72 0
[pid=24216] ppid=24215 vsize=4880 CPUtime=44.71 cores=0,2,4,6
/proc/24216/stat : 24216 (npSolver-pbo) S 24215 24215 22322 0 -1 4202496 5356 35563 0 0 10 4 4449 8 20 0 1 0 377578090 4997120 851 33554432000 4194304 6004724 140733808140912 140733808126760 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24216/statm: 1220 851 189 442 0 774 0
[pid=24289] ppid=24216 vsize=202448 CPUtime=1755.38 cores=0,2,4,6
/proc/24289/stat : 24289 (glucosInc) R 24216 24215 22322 0 -1 4202496 64771 0 0 0 175433 105 0 0 20 0 1 0 377582569 207306752 44044 33554432000 4194304 5654031 140733969882384 140733969870200 4233306 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24289/statm: 50612 44044 141 357 0 50252 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 216476
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1798.93
CPU system time (s): 1.18382
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 388108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.18382
maximum resident set size= 342244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 411
involuntary context switches= 1977
runsolver used 4.34234 second user time and 10.2884 second system time
The end