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-3700085-1338122019/watcher-3700085-1338122019 -o /tmp/evaluation-result-3700085-1338122019/solver-3700085-1338122019 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700085-1338122019.opb 2108932160 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.06 2.03 2.01 2/174 11129
/proc/meminfo: memFree=29056200/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[startup+0.009255 s]
/proc/loadavg: 2.06 2.03 2.01 2/174 11129
/proc/meminfo: memFree=29056200/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100203 s]
/proc/loadavg: 2.06 2.03 2.01 2/174 11129
/proc/meminfo: memFree=29056200/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300205 s]
/proc/loadavg: 2.06 2.03 2.01 2/174 11129
/proc/meminfo: memFree=29056200/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.06 2.03 2.01 2/174 11129
/proc/meminfo: memFree=29056200/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.06 2.03 2.01 2/178 11133
/proc/meminfo: memFree=28947132/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=63996 CPUtime=0.87 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 10945 0 0 0 81 6 0 0 20 0 1 0 278326011 65531904 15213 33554432000 4194304 5992684 140735542054736 140735542049184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 15999 15213 174 440 0 15555 0
[pid=11132] ppid=11130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11132/stat : 11132 (cp2_pre.sh) S 11130 11129 11017 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278326099 9367552 277 33554432000 4194304 5064252 140734918421936 140734918420640 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11132/statm: 2287 277 234 213 0 72 0
[pid=11133] ppid=11132 vsize=136864 CPUtime=0.61 cores=0,2,4,6
/proc/11133/stat : 11133 (coprocessor) R 11132 11129 11017 0 -1 4202496 22381 0 0 0 57 4 0 0 20 0 1 0 278326099 140148736 30349 33554432000 4194304 6586260 140736554900240 140736554896504 4547937 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11133/statm: 34216 30349 166 584 0 33628 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 219156
[startup+3.10038 s]
/proc/loadavg: 1.98 2.01 2.00 3/181 11172
/proc/meminfo: memFree=29911744/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=63996 CPUtime=0.87 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 10945 0 0 0 81 6 0 0 20 0 1 0 278326011 65531904 15213 33554432000 4194304 5992684 140735542054736 140735542049184 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 15999 15213 174 440 0 15555 0
[pid=11132] ppid=11130 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11132/stat : 11132 (cp2_pre.sh) S 11130 11129 11017 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278326099 9367552 277 33554432000 4194304 5064252 140734918421936 140734918420640 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11132/statm: 2287 277 234 213 0 72 0
[pid=11133] ppid=11132 vsize=191272 CPUtime=2.21 cores=0,2,4,6
/proc/11133/stat : 11133 (coprocessor) R 11132 11129 11017 0 -1 4202496 34234 0 0 0 213 8 0 0 20 0 1 0 278326099 195862528 45976 33554432000 4194304 6586260 140736554900240 140736554896264 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11133/statm: 47818 45976 200 584 0 47230 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 273564
[startup+6.3002 s]
/proc/loadavg: 1.98 2.01 2.00 3/182 11176
/proc/meminfo: memFree=29576932/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 80900
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 11179
/proc/meminfo: memFree=29083288/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=86008 CPUtime=6.99 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 17083 0 0 0 695 4 0 0 20 0 1 0 278326580 88072192 19548 33554432000 4194304 5654031 140736508349120 140736508336936 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 21502 19548 142 357 0 21142 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 166908
[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.01 3/180 11181
/proc/meminfo: memFree=29519820/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=136724 CPUtime=19.79 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 19048 0 0 0 1973 6 0 0 20 0 1 0 278326580 140005376 30503 33554432000 4194304 5654031 140736508349120 140736508336936 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 34181 30503 142 357 0 33821 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 217624
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 11182
/proc/meminfo: memFree=29512444/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=136724 CPUtime=45.38 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 19127 0 0 0 4532 6 0 0 20 0 1 0 278326580 140005376 32623 33554432000 4194304 5654031 140736508349120 140736508336936 4232788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 34181 32623 142 357 0 33821 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 217624
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 11182
/proc/meminfo: memFree=29509280/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=136724 CPUtime=96.58 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 19937 0 0 0 9649 9 0 0 20 0 1 0 278326580 140005376 32658 33554432000 4194304 5654031 140736508349120 140736508336936 4215353 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 34181 32658 142 357 0 33821 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 217624
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 11182
/proc/meminfo: memFree=29464412/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=186044 CPUtime=156.57 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 20734 0 0 0 15644 13 0 0 20 0 1 0 278326580 190509056 43036 33554432000 4194304 5654031 140736508349120 140736508336936 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 46511 43036 142 357 0 46151 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 266944
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 11182
/proc/meminfo: memFree=29472728/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=186044 CPUtime=216.54 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 22665 0 0 0 21637 17 0 0 20 0 1 0 278326580 190509056 40478 33554432000 4194304 5654031 140736508349120 140736508336936 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 46511 40478 142 357 0 46151 0
Current children cumulated CPU time (s) 222.2
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 11193
/proc/meminfo: memFree=29385124/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=279308 CPUtime=1296.36 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 57786 0 0 0 129549 87 0 0 20 0 1 0 278326580 286011392 56845 33554432000 4194304 5654031 140736508349120 140736508336936 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 69827 56845 142 357 0 69467 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 360208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11193
/proc/meminfo: memFree=29381016/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=279308 CPUtime=1356.34 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 59414 0 0 0 135544 90 0 0 20 0 1 0 278326580 286011392 57357 33554432000 4194304 5654031 140736508349120 140736508336936 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 69827 57357 142 357 0 69467 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 360208
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11193
/proc/meminfo: memFree=29378772/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=279308 CPUtime=1416.34 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 61052 0 0 0 141541 93 0 0 20 0 1 0 278326580 286011392 56845 33554432000 4194304 5654031 140736508349120 140736508336936 4232830 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 69827 56845 142 357 0 69467 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 360208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11193
/proc/meminfo: memFree=29381320/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1476.31 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 61891 0 0 0 147536 95 0 0 20 0 1 0 278326580 234721280 55520 33554432000 4194304 5654031 140736508349120 140736508336936 4232462 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11179/statm: 57305 55520 142 357 0 56945 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 310120
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11193
/proc/meminfo: memFree=29380264/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1536.3 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 63521 0 0 0 153531 99 0 0 20 0 1 0 278326580 234721280 54496 33554432000 4194304 5654031 140736508349120 140736508336936 4232922 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 57305 54496 142 357 0 56945 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 310120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11197
/proc/meminfo: memFree=29381684/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1596.29 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 65167 0 0 0 159527 102 0 0 20 0 1 0 278326580 234721280 53472 33554432000 4194304 5654031 140736508349120 140736508336936 4232939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 57305 53472 142 357 0 56945 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 310120
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11219
/proc/meminfo: memFree=29370868/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1656.28 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 66251 0 0 0 165524 104 0 0 20 0 1 0 278326580 234721280 54454 33554432000 4194304 5654031 140736508349120 140736508336936 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 57305 54454 142 357 0 56945 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 310120
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11219
/proc/meminfo: memFree=29377244/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1716.27 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 67333 0 0 0 171520 107 0 0 20 0 1 0 278326580 234721280 52918 33554432000 4194304 5654031 140736508349120 140736508336936 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 57305 52918 142 357 0 56945 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 310120
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 11219
/proc/meminfo: memFree=29380892/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=229220 CPUtime=1776.27 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 68408 0 0 0 177517 110 0 0 20 0 1 0 278326580 234721280 50870 33554432000 4194304 5654031 140736508349120 140736508336936 4233226 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 57305 50870 142 357 0 56945 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 310120
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 11219
/proc/meminfo: memFree=29361220/32873648 swapFree=7368/7368
[pid=11129] ppid=11127 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11129/stat : 11129 (npSolver-pbo-I.) S 11127 11129 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278326011 9367552 275 33554432000 4194304 5064252 140734734672832 140734734671744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11129/statm: 2287 275 233 213 0 72 0
[pid=11130] ppid=11129 vsize=71752 CPUtime=5.66 cores=0,2,4,6
/proc/11130/stat : 11130 (npSolver-pbo) S 11129 11129 11017 0 -1 4202496 14531 51810 0 0 111 84 351 20 20 0 1 0 278326011 73474048 16890 33554432000 4194304 5992684 140735542054736 140735542039640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11130/statm: 17938 16890 186 440 0 17494 0
[pid=11179] ppid=11130 vsize=279308 CPUtime=1794.37 cores=0,2,4,6
/proc/11179/stat : 11179 (glucosInc) R 11130 11129 11017 0 -1 4202496 68937 0 0 0 179326 111 0 0 20 0 1 0 278326580 286011392 55992 33554432000 4194304 5654031 140736508349120 140736508336936 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11179/statm: 69827 55992 142 357 0 69467 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 360208
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11129 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=633295
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=61838
# CPU time returned by wait4() is 5.69513
# 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.41
CPU time (s): 1800.03
CPU user time (s): 1797.88
CPU system time (s): 2.15
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 440348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.6333
system time used= 1.06184
maximum resident set size= 189236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 164680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 55
runsolver used 2.71259 second user time and 7.12192 second system time
The end