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-3703227-1338096207/watcher-3703227-1338096207 -o /tmp/evaluation-result-3703227-1338096207/solver-3703227-1338096207 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703227-1338096207.opb 244598391 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.01 2.00 2.00 3/178 804
/proc/meminfo: memFree=27711156/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[startup+0.085109 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 804
/proc/meminfo: memFree=27711156/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100224 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 804
/proc/meminfo: memFree=27711156/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 804
/proc/meminfo: memFree=27711156/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 804
/proc/meminfo: memFree=27711156/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 810
/proc/meminfo: memFree=27699952/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=12500 CPUtime=1.46 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 2560 0 0 0 146 0 0 0 20 0 1 0 275745018 12800000 2496 33554432000 4194304 5654031 140736774315104 140736774312984 4214469 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/810/statm: 3125 2496 132 357 0 2765 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23916
[startup+3.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 810
/proc/meminfo: memFree=27696044/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=15220 CPUtime=3.06 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 2836 0 0 0 306 0 0 0 20 0 1 0 275745018 15585280 3270 33554432000 4194304 5654031 140736774315104 140736774312984 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/810/statm: 3805 3270 132 357 0 3445 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26636
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 810
/proc/meminfo: memFree=27683820/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=21452 CPUtime=6.26 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 3440 0 0 0 626 0 0 0 20 0 1 0 275745018 21966848 4161 33554432000 4194304 5654031 140736774315104 140736774312984 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/810/statm: 5363 4161 132 357 0 5003 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32868
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 810
/proc/meminfo: memFree=27663464/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=25872 CPUtime=12.65 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 4114 0 0 0 1265 0 0 0 20 0 1 0 275745018 26492928 5335 33554432000 4194304 5654031 140736774315104 140736774312904 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/810/statm: 6468 5335 132 357 0 6108 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37288
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27634024/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=35932 CPUtime=25.45 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 4872 0 0 0 2545 0 0 0 20 0 1 0 275745018 36794368 6806 33554432000 4194304 5654031 140736774315104 140736774312984 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 8983 6806 132 357 0 8623 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47348
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27693488/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=43116 CPUtime=51.05 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 5646 0 0 0 5104 1 0 0 20 0 1 0 275745018 44150784 9599 33554432000 4194304 5654031 140736774315104 140736774312904 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 10779 9599 132 357 0 10419 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 54532
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27669324/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=102.24 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7393 0 0 0 10223 1 0 0 20 0 1 0 275745018 88952832 14998 33554432000 4194304 5654031 140736774315104 140736774312984 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 14998 132 357 0 21357 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 98284
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27638356/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=115.03 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7394 0 0 0 11502 1 0 0 20 0 1 0 275745018 88952832 15510 33554432000 4194304 5654031 140736774315104 140736774312984 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15510 132 357 0 21357 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 98284
[startup+118.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27630228/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=118.23 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7394 0 0 0 11822 1 0 0 20 0 1 0 275745018 88952832 15510 33554432000 4194304 5654031 140736774315104 140736774312984 4232927 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15510 132 357 0 21357 0
Current children cumulated CPU time (s) 118.24
Current children cumulated vsize (KiB) 98284
[startup+119.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27624084/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=119.83 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7394 0 0 0 11982 1 0 0 20 0 1 0 275745018 88952832 15510 33554432000 4194304 5654031 140736774315104 140736774312984 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15510 132 357 0 21357 0
Current children cumulated CPU time (s) 119.84
Current children cumulated vsize (KiB) 98284
[startup+121.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27622036/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=121.43 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7394 0 0 0 12142 1 0 0 20 0 1 0 275745018 88952832 15510 33554432000 4194304 5654031 140736774315104 140736774312984 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15510 132 357 0 21357 0
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (KiB) 98284
[startup+121.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27622036/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=121.83 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7394 0 0 0 12182 1 0 0 20 0 1 0 275745018 88952832 15510 33554432000 4194304 5654031 140736774315104 140736774312984 4232988 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15510 132 357 0 21357 0
Current children cumulated CPU time (s) 121.84
Current children cumulated vsize (KiB) 98284
[startup+122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27619988/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2268 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4202496 299 1796 0 0 0 0 1 0 20 0 1 0 275745015 2322432 241 33554432000 4194304 5992684 140734998984432 140734998970696 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 567 241 170 440 0 123 0
[pid=810] ppid=805 vsize=86868 CPUtime=122.23 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) R 805 804 15712 0 -1 4202496 7400 0 0 0 12222 1 0 0 20 0 1 0 275745018 88952832 15516 33554432000 4194304 5654031 140736774315104 140736774312984 4232845 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21717 15516 138 357 0 21357 0
Current children cumulated CPU time (s) 122.24
Current children cumulated vsize (KiB) 98284
[startup+122.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 811
/proc/meminfo: memFree=27619988/32873844 swapFree=7616/7616
[pid=804] ppid=802 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/804/stat : 804 (npSolver-pbo-It) S 802 804 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275745015 9367552 275 33554432000 4194304 5064252 140736636201616 140736636200528 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/804/statm: 2287 275 233 213 0 72 0
[pid=805] ppid=804 vsize=2272 CPUtime=0.01 cores=0,2,4,6
/proc/805/stat : 805 (npSolver-pbo) S 804 804 15712 0 -1 4204032 370 1796 0 0 0 0 1 0 20 0 1 0 275745015 2326528 277 33554432000 4194304 5992684 140734998984432 140734998978968 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/805/statm: 568 277 189 440 0 124 0
[pid=810] ppid=805 vsize=86876 CPUtime=122.24 cores=0,2,4,6
/proc/810/stat : 810 (glucosInc) S 805 804 15712 0 -1 4202496 7410 0 0 0 12223 1 0 0 20 0 1 0 275745018 88961024 15526 33554432000 4194304 5654031 140736774315104 140736774313416 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/810/statm: 21719 15526 147 357 0 21359 0
Current children cumulated CPU time (s) 122.25
Current children cumulated vsize (KiB) 98296
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 804 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=23996
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=11998
# CPU time returned by wait4() is 0.035994
# while last known CPU time is 122.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 122.418
CPU time (s): 122.25
CPU user time (s): 122.24
CPU system time (s): 0.01
CPU usage (%): 99.8632
Max. virtual memory (cumulated for all children) (KiB): 98296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.023996
system time used= 0.011998
maximum resident set size= 5296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132
involuntary context switches= 8
runsolver used 0.533918 second user time and 1.21081 second system time
The end