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-3752553-1339134292/watcher-3752553-1339134292 -o /tmp/evaluation-result-3752553-1339134292/solver-3752553-1339134292 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752553-1339134292.opb 1723742554 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: 1.92 1.95 1.98 3/178 17842
/proc/meminfo: memFree=31740220/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[startup+0.104921 s]
/proc/loadavg: 1.92 1.95 1.98 3/178 17842
/proc/meminfo: memFree=31740220/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200185 s]
/proc/loadavg: 1.92 1.95 1.98 3/178 17842
/proc/meminfo: memFree=31740220/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300204 s]
/proc/loadavg: 1.92 1.95 1.98 3/178 17842
/proc/meminfo: memFree=31740220/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 1.92 1.95 1.98 3/178 17842
/proc/meminfo: memFree=31740220/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.92 1.95 1.98 3/181 17859
/proc/meminfo: memFree=31718184/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=0.88 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) R 17842 17842 17615 0 -1 4202496 7867 25563 0 0 23 12 42 11 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 4560527 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17859] ppid=17843 vsize=14816 CPUtime=0.59 cores=0,2,4,6
/proc/17859/stat : 17859 (glucosInc) S 17843 17842 17615 0 -1 4202496 3865 0 0 0 59 0 0 0 20 0 1 0 379554353 15171584 3129 33554432000 4194304 5654031 140737219308608 140737219306920 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17859/statm: 3704 3129 147 357 0 3344 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32484
[startup+3.10025 s]
/proc/loadavg: 1.92 1.95 1.98 3/181 17861
/proc/meminfo: memFree=31719984/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=2.32 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 8773 34687 0 0 27 12 180 13 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 17668
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 1.92 1.95 1.98 3/181 17863
/proc/meminfo: memFree=31709872/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=2.32 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 8773 34687 0 0 27 12 180 13 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17863] ppid=17843 vsize=30500 CPUtime=3.94 cores=0,2,4,6
/proc/17863/stat : 17863 (glucosInc) R 17843 17842 17615 0 -1 4202496 6778 0 0 0 393 1 0 0 20 0 1 0 379554500 31232000 6280 33554432000 4194304 5654031 140735005674800 140735005662616 4233452 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17863/statm: 7625 6280 142 357 0 7265 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 48168
[startup+12.7003 s]
/proc/loadavg: 1.93 1.95 1.98 3/181 17867
/proc/meminfo: memFree=31720124/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=11.95 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10195 49465 0 0 33 13 1132 17 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17867] ppid=17843 vsize=15868 CPUtime=0.67 cores=0,2,4,6
/proc/17867/stat : 17867 (glucosInc) R 17843 17842 17615 0 -1 4202496 3993 0 0 0 67 0 0 0 20 0 1 0 379555466 16248832 3174 33554432000 4194304 5654031 140736354070880 140736354058696 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17867/statm: 3967 3174 141 357 0 3607 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 33536
[startup+25.5003 s]
/proc/loadavg: 1.94 1.95 1.98 3/181 17869
/proc/meminfo: memFree=31724784/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=11.95 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10195 49465 0 0 33 13 1132 17 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17867] ppid=17843 vsize=46480 CPUtime=13.47 cores=0,2,4,6
/proc/17867/stat : 17867 (glucosInc) R 17843 17842 17615 0 -1 4202496 8440 0 0 0 1344 3 0 0 20 0 1 0 379555466 47595520 10332 33554432000 4194304 5654031 140736354070880 140736354058696 4215200 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17867/statm: 11620 10332 142 357 0 11260 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 64148
[startup+51.1003 s]
/proc/loadavg: 1.96 1.95 1.98 3/181 17869
/proc/meminfo: memFree=31702124/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=11.95 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10195 49465 0 0 33 13 1132 17 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17867] ppid=17843 vsize=65488 CPUtime=39.05 cores=0,2,4,6
/proc/17867/stat : 17867 (glucosInc) R 17843 17842 17615 0 -1 4202496 10095 0 0 0 3901 4 0 0 20 0 1 0 379555466 67059712 13405 33554432000 4194304 5654031 140736354070880 140736354058696 4218807 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17867/statm: 16372 13405 142 357 0 16012 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 83156
[startup+102.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/181 17929
/proc/meminfo: memFree=31703164/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=11.95 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10195 49465 0 0 33 13 1132 17 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17867] ppid=17843 vsize=65488 CPUtime=90.25 cores=0,2,4,6
/proc/17867/stat : 17867 (glucosInc) R 17843 17842 17615 0 -1 4202496 10624 0 0 0 9020 5 0 0 20 0 1 0 379555466 67059712 15808 33554432000 4194304 5654031 140736354070880 140736354058696 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17867/statm: 16372 15808 142 357 0 16012 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 83156
[startup+162.3 s]
/proc/loadavg: 1.99 1.96 1.98 3/181 17987
/proc/meminfo: memFree=31660748/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=76984 CPUtime=37.66 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 9059 0 0 0 3762 4 0 0 20 0 1 0 379566727 78831616 13123 33554432000 4194304 5654031 140734897041744 140734897029560 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 19246 13123 142 357 0 18886 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 94652
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.98 3/181 17987
/proc/meminfo: memFree=31656224/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=76984 CPUtime=97.64 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 9239 0 0 0 9760 4 0 0 20 0 1 0 379566727 78831616 14147 33554432000 4194304 5654031 140734897041744 140734897029560 4232466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 19246 14147 142 357 0 18886 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 94652
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/180 17987
/proc/meminfo: memFree=31610480/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/meminfo: memFree=31486508/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=189448 CPUtime=1177.45 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 31636 0 0 0 117695 50 0 0 20 0 1 0 379566727 193994752 39208 33554432000 4194304 5654031 140734897041744 140734897029560 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 47362 39208 142 357 0 47002 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 207116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18026
/proc/meminfo: memFree=31483672/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1237.44 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 31892 0 0 0 123692 52 0 0 20 0 1 0 379566727 162435072 38186 33554432000 4194304 5654031 140734897041744 140734897029560 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 38186 142 357 0 39297 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 176296
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18026
/proc/meminfo: memFree=31500296/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1297.44 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 32657 0 0 0 129691 53 0 0 20 0 1 0 379566727 162435072 36138 33554432000 4194304 5654031 140734897041744 140734897029560 4215079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 36138 142 357 0 39297 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 176296
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/181 18026
/proc/meminfo: memFree=31494004/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=109308 CPUtime=1357.42 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 33252 0 0 0 135688 54 0 0 20 0 1 0 379566727 111931392 26763 33554432000 4194304 5654031 140734897041744 140734897039832 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 27327 26763 142 357 0 26967 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 126976
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 1.99 3/182 18030
/proc/meminfo: memFree=31445100/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=189448 CPUtime=1417.42 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 34020 0 0 0 141687 55 0 0 20 0 1 0 379566727 193994752 40301 33554432000 4194304 5654031 140734897041744 140734897029560 4232932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 47362 40301 142 357 0 47002 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 207116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18030
/proc/meminfo: memFree=31431100/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1477.41 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 34203 0 0 0 147685 56 0 0 20 0 1 0 379566727 162435072 37162 33554432000 4194304 5654031 140734897041744 140734897029560 4215307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 37162 142 357 0 39297 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 176296
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 18030
/proc/meminfo: memFree=31518396/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=109308 CPUtime=1537.4 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 34796 0 0 0 153683 57 0 0 20 0 1 0 379566727 111931392 26763 33554432000 4194304 5654031 140734897041744 140734897039768 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 27327 26763 142 357 0 26967 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 126976
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18030
/proc/meminfo: memFree=31568132/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1597.39 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 36573 0 0 0 159678 61 0 0 20 0 1 0 379566727 162435072 34602 33554432000 4194304 5654031 140734897041744 140734897039672 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 34602 142 357 0 39297 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 176296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18030
/proc/meminfo: memFree=31427672/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=239536 CPUtime=1657.38 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 38004 0 0 0 165675 63 0 0 20 0 1 0 379566727 245284864 47770 33554432000 4194304 5654031 140734897041744 140734897039832 4214996 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 59884 47770 142 357 0 59524 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 257204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18030
/proc/meminfo: memFree=31440316/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1675.48 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 38182 0 0 0 167484 64 0 0 20 0 1 0 379566727 162435072 35626 33554432000 4194304 5654031 140734897041744 140734897039672 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 35626 142 357 0 39297 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 176296
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18030
/proc/meminfo: memFree=31440316/32873844 swapFree=7124/7124
[pid=17842] ppid=17840 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17842/stat : 17842 (npSolver-pbo-It) S 17840 17842 17615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379554265 9367552 274 33554432000 4194304 5064252 140735251525376 140735251524288 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17842/statm: 2287 274 233 213 0 72 0
[pid=17843] ppid=17842 vsize=8520 CPUtime=124.53 cores=0,2,4,6
/proc/17843/stat : 17843 (npSolver-pbo) S 17842 17842 17615 0 -1 4202496 10903 60946 0 0 36 13 12381 23 20 0 1 0 379554265 8724480 1764 33554432000 4194304 6004724 140733481935120 140733481920968 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/17843/statm: 2130 1764 188 442 0 1684 0
[pid=17985] ppid=17843 vsize=158628 CPUtime=1675.48 cores=0,2,4,6
/proc/17985/stat : 17985 (glucosInc) R 17843 17842 17615 0 -1 4202496 38182 0 0 0 167484 64 0 0 20 0 1 0 379566727 162435072 35626 33554432000 4194304 5654031 140734897041744 140734897039672 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17985/statm: 39657 35626 142 357 0 39297 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 176296
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.03
CPU system time (s): 1.01285
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 257204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.01285
maximum resident set size= 207464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 997
involuntary context switches= 2112
runsolver used 7.00993 second user time and 18.4762 second system time
The end