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-3747299-1339101813/watcher-3747299-1339101813 -o /tmp/evaluation-result-3747299-1339101813/solver-3747299-1339101813 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747299-1339101813.opb 971857635 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.02 2.01 1.92 3/178 9927
/proc/meminfo: memFree=23090496/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[startup+0.0767801 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 9927
/proc/meminfo: memFree=23090496/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 9927
/proc/meminfo: memFree=23090496/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 9927
/proc/meminfo: memFree=23090496/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700184 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 9927
/proc/meminfo: memFree=23090496/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9938
/proc/meminfo: memFree=23070552/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=7788 CPUtime=1.32 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 6121 11395 0 0 10 1 119 2 20 0 1 0 376307051 7974912 1401 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 1947 1401 176 442 0 1501 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 16936
[startup+3.10029 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9940
/proc/meminfo: memFree=23069312/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=7788 CPUtime=2.89 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 7500 15493 0 0 13 1 272 3 20 0 1 0 376307051 7974912 1401 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 1947 1401 176 442 0 1501 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 16936
[startup+6.30038 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9944
/proc/meminfo: memFree=23065804/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=7788 CPUtime=4.42 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 8879 19482 0 0 16 2 420 4 20 0 1 0 376307051 7974912 1401 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 1947 1401 176 442 0 1501 0
[pid=9944] ppid=9928 vsize=18744 CPUtime=1.74 cores=1,3,5,7
/proc/9944/stat : 9944 (glucosInc) R 9928 9927 9300 0 -1 4202496 3755 0 0 0 174 0 0 0 20 0 1 0 376307506 19193856 4039 33554432000 4194304 5654031 140734532880976 140734532868792 4216136 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 4686 4039 141 357 0 4326 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 35680
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9948
/proc/meminfo: memFree=23064436/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=7788 CPUtime=10.58 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 11637 29175 0 0 22 2 1027 7 20 0 1 0 376307051 7974912 1401 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 1947 1401 176 442 0 1501 0
[pid=9948] ppid=9928 vsize=18480 CPUtime=1.98 cores=1,3,5,7
/proc/9948/stat : 9948 (glucosInc) R 9928 9927 9300 0 -1 4202496 3621 0 0 0 197 1 0 0 20 0 1 0 376308123 18923520 3907 33554432000 4194304 5654031 140733556481088 140733556468904 4232528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9948/statm: 4620 3907 141 357 0 4260 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 35416
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9948
/proc/meminfo: memFree=23053684/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=7788 CPUtime=10.58 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 11637 29175 0 0 22 2 1027 7 20 0 1 0 376307051 7974912 1401 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 1947 1401 176 442 0 1501 0
[pid=9948] ppid=9928 vsize=24512 CPUtime=14.77 cores=1,3,5,7
/proc/9948/stat : 9948 (glucosInc) R 9928 9927 9300 0 -1 4202496 6616 0 0 0 1476 1 0 0 20 0 1 0 376308123 25100288 5616 33554432000 4194304 5654031 140733556481088 140733556468904 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9948/statm: 6128 5616 142 357 0 5768 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 41448
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 1.92 3/181 9952
/proc/meminfo: memFree=23032292/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=30.2 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 14516 41683 0 0 28 3 2979 10 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=9952] ppid=9928 vsize=27216 CPUtime=20.75 cores=1,3,5,7
/proc/9952/stat : 9952 (glucosInc) R 9928 9927 9300 0 -1 4202496 7391 0 0 0 2073 2 0 0 20 0 1 0 376310085 27869184 6279 33554432000 4194304 5654031 140737408166016 140737408153832 4232495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9952/statm: 6804 6279 142 357 0 6444 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 44416
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 9956
/proc/meminfo: memFree=22996748/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=79.58 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 17376 58757 0 0 34 3 7906 15 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=9956] ppid=9928 vsize=27204 CPUtime=22.55 cores=1,3,5,7
/proc/9956/stat : 9956 (glucosInc) R 9928 9927 9300 0 -1 4202496 6994 0 0 0 2254 1 0 0 20 0 1 0 376315026 27856896 6278 33554432000 4194304 5654031 140734188019152 140734188006968 4216646 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9956/statm: 6801 6278 142 357 0 6441 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 44404
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 9957
/proc/meminfo: memFree=22936800/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=79.58 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 17376 58757 0 0 34 3 7906 15 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=9956] ppid=9928 vsize=59808 CPUtime=82.53 cores=1,3,5,7
/proc/9956/stat : 9956 (glucosInc) R 9928 9927 9300 0 -1 4202496 10038 0 0 0 8251 2 0 0 20 0 1 0 376315026 61243392 10979 33554432000 4194304 5654031 140734188019152 140734188006968 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9956/statm: 14952 10979 142 357 0 14592 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 77008
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 9959
/proc/meminfo: memFree=22891384/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=178.38 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 18806 69329 0 0 37 4 17779 18 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=9959] ppid=9928 vsize=33984 CPUtime=43.73 cores=1,3,5,7
/proc/9959/stat : 9959 (glucosInc) R 9928 9927 9300 0 -1 4202496 8942 0 0 0 4371 2 0 0 20 0 1 0 376324907 34799616 7967 33554432000 4194304 5654031 140736810770896 140736810758712 4232681 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9959/statm: 8496 7967 142 357 0 8136 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 51184
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/181 9959
/proc/meminfo: memFree=23025064/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=178.38 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=21294780/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=66616 CPUtime=174.66 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 10670 0 0 0 17462 4 0 0 20 0 1 0 376419812 68214784 16096 33554432000 4194304 5654031 140735079778656 140735079766472 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 16654 16096 142 357 0 16294 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 83816
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 10041
/proc/meminfo: memFree=21294440/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=66616 CPUtime=234.64 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 10670 0 0 0 23460 4 0 0 20 0 1 0 376419812 68214784 16096 33554432000 4194304 5654031 140735079778656 140735079766472 4232810 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 16654 16096 142 357 0 16294 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 83816
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 10042
/proc/meminfo: memFree=21293072/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=66616 CPUtime=294.64 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 10670 0 0 0 29460 4 0 0 20 0 1 0 376419812 68214784 16096 33554432000 4194304 5654031 140735079778656 140735079766472 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 16654 16096 142 357 0 16294 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 83816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 10042
/proc/meminfo: memFree=21290684/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=66616 CPUtime=354.63 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 10670 0 0 0 35459 4 0 0 20 0 1 0 376419812 68214784 16096 33554432000 4194304 5654031 140735079778656 140735079766472 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 16654 16096 142 357 0 16294 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 83816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 10042
/proc/meminfo: memFree=21239612/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=147392 CPUtime=414.61 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 12225 0 0 0 41456 5 0 0 20 0 1 0 376419812 150929408 28547 33554432000 4194304 5654031 140735079778656 140735079766472 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 36848 28547 142 357 0 36488 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 164592
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 10045
/proc/meminfo: memFree=21273972/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=474.6 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 13181 0 0 0 47454 6 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079766472 4232729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 115272
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/181 10045
/proc/meminfo: memFree=21272060/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=534.6 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 14137 0 0 0 53452 8 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079766472 4232618 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 115272
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/181 10046
/proc/meminfo: memFree=21270844/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=594.58 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 15097 0 0 0 59449 9 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079766472 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 115272
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/181 10046
/proc/meminfo: memFree=21270432/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=654.57 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 16057 0 0 0 65447 10 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079776680 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 115272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.02 1.97 3/181 10046
/proc/meminfo: memFree=21270256/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=672.78 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 16057 0 0 0 67268 10 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079776680 4232675 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 115272
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.04 2.02 1.97 3/181 10046
/proc/meminfo: memFree=21270256/32873660 swapFree=7120/7120
[pid=9927] ppid=9925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9927/stat : 9927 (npSolver-pbo-It) S 9925 9927 9300 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376307051 9367552 275 33554432000 4194304 5064252 140734009728816 140734009727728 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9927/statm: 2287 275 233 213 0 72 0
[pid=9928] ppid=9927 vsize=8052 CPUtime=1127.26 cores=1,3,5,7
/proc/9928/stat : 9928 (npSolver-pbo) S 9927 9927 9300 0 -1 4202496 23096 101601 0 0 47 4 112642 33 20 0 1 0 376307051 8245248 1467 33554432000 4194304 6004724 140735843424080 140735843409928 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2013 1467 176 442 0 1567 0
[pid=10041] ppid=9928 vsize=98072 CPUtime=672.78 cores=1,3,5,7
/proc/10041/stat : 10041 (glucosInc) R 9928 9927 9300 0 -1 4202496 16057 0 0 0 67268 10 0 0 20 0 1 0 376419812 100425728 19382 33554432000 4194304 5654031 140735079778656 140735079776680 4232675 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10041/statm: 24518 19382 142 357 0 24158 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 115272
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1799.58
CPU system time (s): 0.496924
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 171508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.496924
maximum resident set size= 121828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1307
involuntary context switches= 2499
runsolver used 3.2855 second user time and 9.03962 second system time
The end