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-3747162-1339098206/watcher-3747162-1339098206 -o /tmp/evaluation-result-3747162-1339098206/solver-3747162-1339098206 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747162-1339098206.opb 2117938885 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: 0.48 0.13 0.04 2/178 22589
/proc/meminfo: memFree=31711688/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[startup+0.0793709 s]
/proc/loadavg: 0.48 0.13 0.04 2/178 22589
/proc/meminfo: memFree=31711688/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100192 s]
/proc/loadavg: 0.48 0.13 0.04 2/178 22589
/proc/meminfo: memFree=31711688/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300186 s]
/proc/loadavg: 0.48 0.13 0.04 2/178 22589
/proc/meminfo: memFree=31711688/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700123 s]
/proc/loadavg: 0.48 0.13 0.04 2/178 22589
/proc/meminfo: memFree=31711688/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/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: 0.48 0.13 0.04 3/181 22604
/proc/meminfo: memFree=31605432/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=0.45 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4253 13719 0 0 6 4 32 3 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22604] ppid=22590 vsize=14624 CPUtime=1.02 cores=0,2,4,6
/proc/22604/stat : 22604 (glucosInc) R 22590 22589 22322 0 -1 4202496 3323 0 0 0 102 0 0 0 20 0 1 0 375946796 14974976 2747 33554432000 4194304 5654031 140735888586576 140735888584664 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22604/statm: 3656 2747 141 357 0 3296 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28640
[startup+3.10025 s]
/proc/loadavg: 0.48 0.13 0.04 3/181 22604
/proc/meminfo: memFree=31595812/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=0.45 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4253 13719 0 0 6 4 32 3 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22604] ppid=22590 vsize=19348 CPUtime=2.62 cores=0,2,4,6
/proc/22604/stat : 22604 (glucosInc) R 22590 22589 22322 0 -1 4202496 4876 0 0 0 261 1 0 0 20 0 1 0 375946796 19812352 3558 33554432000 4194304 5654031 140735888586576 140735888574392 4232563 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22604/statm: 4837 3558 142 357 0 4477 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 33364
[startup+6.30031 s]
/proc/loadavg: 0.68 0.18 0.06 3/181 22608
/proc/meminfo: memFree=31662740/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=14904 CPUtime=1.53 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 3480 0 0 0 153 0 0 0 20 0 1 0 375947225 15261696 3070 33554432000 4194304 5654031 140735236091888 140735236079704 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 3726 3070 141 357 0 3366 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 28920
[startup+12.7003 s]
/proc/loadavg: 0.87 0.23 0.07 3/181 22610
/proc/meminfo: memFree=31603468/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=19348 CPUtime=7.93 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 7188 0 0 0 792 1 0 0 20 0 1 0 375947225 19812352 3886 33554432000 4194304 5654031 140735236091888 140735236079704 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 4837 3886 142 357 0 4477 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 33364
[startup+25.5065 s]
/proc/loadavg: 1.19 0.33 0.11 3/181 22610
/proc/meminfo: memFree=31588784/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=28200 CPUtime=20.74 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 10477 0 0 0 2071 3 0 0 20 0 1 0 375947225 28876800 5575 33554432000 4194304 5654031 140735236091888 140735236089768 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 7050 5575 142 357 0 6690 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 42216
[startup+51.1003 s]
/proc/loadavg: 1.46 0.46 0.16 3/181 22610
/proc/meminfo: memFree=31554576/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=65796 CPUtime=46.33 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 11101 0 0 0 4629 4 0 0 20 0 1 0 375947225 67375104 15907 33554432000 4194304 5654031 140735236091888 140735236089768 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 16449 15907 142 357 0 16089 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 79812
[startup+102.3 s]
/proc/loadavg: 1.77 0.70 0.25 3/181 22613
/proc/meminfo: memFree=31507848/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=78204 CPUtime=97.52 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 11846 0 0 0 9746 6 0 0 20 0 1 0 375947225 80080896 19009 33554432000 4194304 5654031 140735236091888 140735236079704 4232782 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 19551 19009 142 357 0 19191 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 92220
[startup+162.3 s]
/proc/loadavg: 1.91 0.93 0.36 3/181 22613
/proc/meminfo: memFree=31471108/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=78204 CPUtime=157.51 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 12047 0 0 0 15743 8 0 0 20 0 1 0 375947225 80080896 19009 33554432000 4194304 5654031 140735236091888 140735236079704 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 19551 19009 142 357 0 19191 0
Current children cumulated CPU time (s) 161.82
Current children cumulated vsize (KiB) 92220
[startup+222.3 s]
/proc/loadavg: 1.97 1.12 0.46 3/181 22613
/proc/meminfo: memFree=31457852/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=4.31 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 4775 19732 0 0 7 4 415 5 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22607] ppid=22590 vsize=127524 CPUtime=217.51 cores=0,2,4,6
/proc/22607/stat : 22607 (glucosInc) R 22590 22589 22322 0 -1 4202496 12311 0 0 0 21739 12 0 0 20 0 1 0 375947225 130584576 31329 33554432000 4194304 5654031 140735236091888 140735236089816 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22607/statm: 31881 31329 142 357 0 31521 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 141540
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31289196/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=165428 CPUtime=856.31 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 35183 0 0 0 85573 58 0 0 20 0 1 0 375985334 169398272 39945 33554432000 4194304 5654031 140735481428144 140735481415960 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 41357 39945 142 357 0 40997 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 179444
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.49 3/181 22648
/proc/meminfo: memFree=31294684/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=116108 CPUtime=916.3 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 37757 0 0 0 91567 63 0 0 20 0 1 0 375985334 118894592 28489 33554432000 4194304 5654031 140735481428144 140735481415960 4215913 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 29027 28489 142 357 0 28667 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 130124
[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.53 3/181 22648
/proc/meminfo: memFree=31179580/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=196248 CPUtime=976.28 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 40203 0 0 0 97561 67 0 0 20 0 1 0 375985334 200957952 47692 33554432000 4194304 5654031 140735481428144 140735481426232 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 49062 47692 142 357 0 48702 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 210264
[startup+1422.3 s]
/proc/loadavg: 2.01 1.99 1.56 3/181 22648
/proc/meminfo: memFree=31130820/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=246336 CPUtime=1036.28 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 42685 0 0 0 103556 72 0 0 20 0 1 0 375985334 252248064 50553 33554432000 4194304 5654031 140735481428144 140735481415960 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 61584 50553 142 357 0 61224 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 260352
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.58 3/181 22648
/proc/meminfo: memFree=31083888/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=246336 CPUtime=1096.26 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 44333 0 0 0 109552 74 0 0 20 0 1 0 375985334 252248064 53113 33554432000 4194304 5654031 140735481428144 140735481426232 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 61584 53113 142 357 0 61224 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 260352
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/181 22648
/proc/meminfo: memFree=31380136/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=137816 CPUtime=1156.26 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 46387 0 0 0 115548 78 0 0 20 0 1 0 375985334 141123584 29401 33554432000 4194304 5654031 140735481428144 140735481415960 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 34454 29401 142 357 0 34094 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 151832
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.63 3/182 22652
/proc/meminfo: memFree=31267132/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=217956 CPUtime=1216.25 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 48945 0 0 0 121542 83 0 0 20 0 1 0 375985334 223186944 43597 33554432000 4194304 5654031 140735481428144 140735481415960 4233005 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 54489 43597 142 357 0 54129 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 231972
[startup+1662.31 s]
/proc/loadavg: 2.04 2.00 1.65 3/181 22656
/proc/meminfo: memFree=31363432/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=281548 CPUtime=1276.25 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 52044 0 0 0 127537 88 0 0 20 0 1 0 375985334 288305152 62934 33554432000 4194304 5654031 140735481428144 140735481415960 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 70387 62934 142 357 0 70027 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 295564
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.67 3/181 22656
/proc/meminfo: memFree=31388256/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=200640 CPUtime=1336.23 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 53896 0 0 0 133531 92 0 0 20 0 1 0 375985334 205455360 48742 33554432000 4194304 5654031 140735481428144 140735481415960 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 50160 48742 142 357 0 49800 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 214656
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.70 3/181 22656
/proc/meminfo: memFree=31370996/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=231460 CPUtime=1396.22 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 56134 0 0 0 139527 95 0 0 20 0 1 0 375985334 237015040 57001 33554432000 4194304 5654031 140735481428144 140735481415960 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 57865 57001 142 357 0 57505 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 245476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.05 2.02 1.70 4/180 22747
/proc/meminfo: memFree=31766668/32873844 swapFree=7380/7380
[pid=22589] ppid=22587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22589/stat : 22589 (npSolver-pbo-It) S 22587 22589 22322 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375946749 9367552 275 33554432000 4194304 5064252 140735755554928 140735755553840 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22589/statm: 2287 275 233 213 0 72 0
[pid=22590] ppid=22589 vsize=4868 CPUtime=385.33 cores=0,2,4,6
/proc/22590/stat : 22590 (npSolver-pbo) S 22589 22589 22322 0 -1 4202496 5296 36417 0 0 9 4 38489 31 20 0 1 0 375946750 4984832 830 33554432000 4194304 6004724 140733221105504 140733221091352 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/22590/statm: 1217 830 176 442 0 771 0
[pid=22616] ppid=22590 vsize=151320 CPUtime=1414.73 cores=0,2,4,6
/proc/22616/stat : 22616 (glucosInc) R 22590 22589 22322 0 -1 4202496 56956 0 0 0 141377 96 0 0 20 0 1 0 375985334 154951680 37286 33554432000 4194304 5654031 140735481428144 140735481415960 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22616/statm: 37830 37286 142 357 0 37470 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 165336
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.14
CPU user time (s): 1798.8
CPU system time (s): 1.3378
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 295564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.3378
maximum resident set size= 253784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354
involuntary context switches= 1995
runsolver used 5.2242 second user time and 11.4053 second system time
The end