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-3751719-1339178660/watcher-3751719-1339178660 -o /tmp/evaluation-result-3751719-1339178660/solver-3751719-1339178660 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751719-1339178660.opb 1605303089 HOME HOME
running on 4 cores: 1,3,5,7
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.00 3/178 1595
/proc/meminfo: memFree=30828084/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[startup+0.074707 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 1595
/proc/meminfo: memFree=30828084/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100335 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 1595
/proc/meminfo: memFree=30828084/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 1595
/proc/meminfo: memFree=30828084/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700293 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 1595
/proc/meminfo: memFree=30828084/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 1599
/proc/meminfo: memFree=30752196/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=0.2 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6049 0 0 0 18 2 0 0 20 0 1 0 383990529 22745088 4853 33554432000 4194304 6004724 140734365595504 140734365589968 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4853 164 442 0 5107 0
[pid=1598] ppid=1596 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1598/stat : 1598 (cp2_pre.sh) S 1596 1595 643 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383990550 9367552 277 33554432000 4194304 5064252 140736358480304 140736358479008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1598/statm: 2287 277 234 213 0 72 0
[pid=1599] ppid=1598 vsize=57920 CPUtime=1.27 cores=1,3,5,7
/proc/1599/stat : 1599 (coprocessor) R 1598 1595 643 0 -1 4202496 11614 0 0 0 125 2 0 0 20 0 1 0 383990551 59310080 13799 33554432000 4194304 6586260 140736292018480 140736292013800 4663864 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1599/statm: 14480 13799 200 584 0 13892 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 98428
[startup+3.1004 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 1601
/proc/meminfo: memFree=30786304/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=25728 CPUtime=1.4 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 5267 0 0 0 139 1 0 0 20 0 1 0 383990698 26345472 5541 33554432000 4194304 5654031 140735108420208 140735108408024 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 6432 5541 140 357 0 6072 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57088
[startup+6.30042 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 1601
/proc/meminfo: memFree=30741444/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=44960 CPUtime=4.6 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 7242 0 0 0 458 2 0 0 20 0 1 0 383990698 46039040 9825 33554432000 4194304 5654031 140735108420208 140735108418136 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 11240 9825 141 357 0 10880 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 76320
[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 1601
/proc/meminfo: memFree=30725956/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=52140 CPUtime=10.99 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 7906 0 0 0 1097 2 0 0 20 0 1 0 383990698 53391360 10840 33554432000 4194304 5654031 140735108420208 140735108418008 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 13035 10840 141 357 0 12675 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 83500
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 1603
/proc/meminfo: memFree=30800184/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=56560 CPUtime=23.79 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 8795 0 0 0 2376 3 0 0 20 0 1 0 383990698 57917440 13259 33554432000 4194304 5654031 140735108420208 140735108418008 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 14140 13259 141 357 0 13780 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87920
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 1603
/proc/meminfo: memFree=30747144/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=105872 CPUtime=49.38 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 10626 0 0 0 4933 5 0 0 20 0 1 0 383990698 108412928 18004 33554432000 4194304 5654031 140735108420208 140735108408024 4233283 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 26468 18004 141 357 0 26108 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 137232
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 1603
/proc/meminfo: memFree=30681228/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=105888 CPUtime=100.57 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 11568 0 0 0 10050 7 0 0 20 0 1 0 383990698 108429312 24714 33554432000 4194304 5654031 140735108420208 140735108418088 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1601/statm: 26472 24714 141 357 0 26112 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 137248
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1604
/proc/meminfo: memFree=30667416/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=105888 CPUtime=160.54 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 12371 0 0 0 16046 8 0 0 20 0 1 0 383990698 108429312 24714 33554432000 4194304 5654031 140735108420208 140735108418232 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 26472 24714 141 357 0 26112 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 137248
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1604
/proc/meminfo: memFree=30624080/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=105888 CPUtime=220.53 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 13577 0 0 0 22043 10 0 0 20 0 1 0 383990698 108429312 24714 33554432000 4194304 5654031 140735108420208 140735108418232 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 26472 24714 141 357 0 26112 0
Current children cumulated CPU time (s) 222.2
################
# More data... #
################
/proc/loadavg: 2.02 2.04 2.01 3/181 1663
/proc/meminfo: memFree=26439196/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=199728 CPUtime=1300.38 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 33732 0 0 0 129986 52 0 0 20 0 1 0 383990698 204521472 43952 33554432000 4194304 5654031 140735108420208 140735108408024 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 49932 43952 141 357 0 49572 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 231088
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 1664
/proc/meminfo: memFree=26443556/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=199728 CPUtime=1360.35 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 34772 0 0 0 135982 53 0 0 20 0 1 0 383990698 204521472 42928 33554432000 4194304 5654031 140735108420208 140735108418296 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 49932 42928 141 357 0 49572 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 231088
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 1664
/proc/meminfo: memFree=26449776/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=168908 CPUtime=1420.36 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 35220 0 0 0 141981 55 0 0 20 0 1 0 383990698 172961792 40813 33554432000 4194304 5654031 140735108420208 140735108418232 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 42227 40813 141 357 0 41867 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 200268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 1664
/proc/meminfo: memFree=26455936/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=168908 CPUtime=1480.33 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 36264 0 0 0 147976 57 0 0 20 0 1 0 383990698 172961792 39789 33554432000 4194304 5654031 140735108420208 140735108418232 4232853 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 42227 39789 141 357 0 41867 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 200268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 1667
/proc/meminfo: memFree=26457728/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=168908 CPUtime=1540.32 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 37310 0 0 0 153973 59 0 0 20 0 1 0 383990698 172961792 38253 33554432000 4194304 5654031 140735108420208 140735108418232 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 42227 38253 141 357 0 41867 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 200268
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1667
/proc/meminfo: memFree=26439384/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=199728 CPUtime=1600.32 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 37913 0 0 0 159972 60 0 0 20 0 1 0 383990698 204521472 43440 33554432000 4194304 5654031 140735108420208 140735108418296 4233173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 49932 43440 141 357 0 49572 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 231088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 1667
/proc/meminfo: memFree=26443380/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=199728 CPUtime=1660.31 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 38951 0 0 0 165968 63 0 0 20 0 1 0 383990698 204521472 42416 33554432000 4194304 5654031 140735108420208 140735108418296 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 49932 42416 141 357 0 49572 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 231088
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1668
/proc/meminfo: memFree=26443200/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=168908 CPUtime=1720.3 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 39389 0 0 0 171966 64 0 0 20 0 1 0 383990698 172961792 41325 33554432000 4194304 5654031 140735108420208 140735108418232 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 42227 41325 141 357 0 41867 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 200268
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1668
/proc/meminfo: memFree=26444800/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=168908 CPUtime=1780.29 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 40393 0 0 0 177963 66 0 0 20 0 1 0 383990698 172961792 40813 33554432000 4194304 5654031 140735108420208 140735108418232 4233201 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 42227 40813 141 357 0 41867 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 200268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 1668
/proc/meminfo: memFree=26436904/32873844 swapFree=9160/9160
[pid=1595] ppid=1593 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1595/stat : 1595 (npSolver-pbo-It) S 1593 1595 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383990529 9367552 274 33554432000 4194304 5064252 140736117068384 140736117067296 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1595/statm: 2287 274 233 213 0 72 0
[pid=1596] ppid=1595 vsize=22212 CPUtime=1.67 cores=1,3,5,7
/proc/1596/stat : 1596 (npSolver-pbo) S 1595 1595 643 0 -1 4202496 6067 13030 0 0 18 2 142 5 20 0 1 0 383990529 22745088 4856 33554432000 4194304 6004724 140734365595504 140734365581784 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1596/statm: 5553 4856 167 442 0 5107 0
[pid=1601] ppid=1596 vsize=199728 CPUtime=1798.39 cores=1,3,5,7
/proc/1601/stat : 1601 (glucosInc) R 1596 1595 643 0 -1 4202496 40989 0 0 0 179772 67 0 0 20 0 1 0 383990698 204521472 42928 33554432000 4194304 5654031 140735108420208 140735108418296 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1601/statm: 49932 42928 141 357 0 49572 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 231088
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 1595 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=613754
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=80987
# CPU time returned by wait4() is 1.69474
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.32
CPU system time (s): 0.74
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 280408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61375
system time used= 0.080987
maximum resident set size= 57244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 4.00439 second user time and 9.00663 second system time
The end