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-3752529-1339134279/watcher-3752529-1339134279 -o /tmp/evaluation-result-3752529-1339134279/solver-3752529-1339134279 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752529-1339134279.opb 289684556 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: 5.36 4.04 2.85 3/180 13725
/proc/meminfo: memFree=31738224/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[startup+0.063909 s]
/proc/loadavg: 5.36 4.04 2.85 3/180 13725
/proc/meminfo: memFree=31738224/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100328 s]
/proc/loadavg: 5.36 4.04 2.85 3/180 13725
/proc/meminfo: memFree=31738224/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 5.36 4.04 2.85 3/180 13725
/proc/meminfo: memFree=31738224/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700265 s]
/proc/loadavg: 5.36 4.04 2.85 3/180 13725
/proc/meminfo: memFree=31738224/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 5.09 4.00 2.84 3/184 13749
/proc/meminfo: memFree=31692280/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=0.62 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 6698 15296 0 0 15 10 30 7 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13747] ppid=13726 vsize=24972 CPUtime=0.84 cores=1,3,5,7
/proc/13747/stat : 13747 (glucosInc) R 13726 13725 13680 0 -1 4202496 4271 0 0 0 84 0 0 0 20 0 1 0 23394664 25571328 5102 33554432000 4194304 5654031 140736818510800 140736818508680 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13747/statm: 6243 5102 140 357 0 5883 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47276
[startup+3.1003 s]
/proc/loadavg: 5.09 4.00 2.84 3/184 13749
/proc/meminfo: memFree=31690288/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=2.53 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 8295 21012 0 0 20 10 214 9 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 22304
[startup+6.30022 s]
/proc/loadavg: 5.09 4.00 2.84 3/184 13753
/proc/meminfo: memFree=31673476/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=3.4 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 9892 26303 0 0 24 11 295 10 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13753] ppid=13726 vsize=29724 CPUtime=2.87 cores=1,3,5,7
/proc/13753/stat : 13753 (glucosInc) R 13726 13725 13680 0 -1 4202496 6345 0 0 0 286 1 0 0 20 0 1 0 23394941 30437376 6790 33554432000 4194304 5654031 140733217930848 140733217928936 4234934 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13753/statm: 7431 6790 141 357 0 7071 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 52028
[startup+12.7003 s]
/proc/loadavg: 4.69 3.95 2.84 3/184 13753
/proc/meminfo: memFree=31648024/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=3.4 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 9892 26303 0 0 24 11 295 10 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13753] ppid=13726 vsize=41316 CPUtime=9.27 cores=1,3,5,7
/proc/13753/stat : 13753 (glucosInc) R 13726 13725 13680 0 -1 4202496 8738 0 0 0 925 2 0 0 20 0 1 0 23394941 42307584 9861 33554432000 4194304 5654031 140733217930848 140733217928872 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13753/statm: 10329 9861 141 357 0 9969 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 63620
[startup+25.5003 s]
/proc/loadavg: 4.28 3.89 2.83 3/184 13753
/proc/meminfo: memFree=31591680/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=3.4 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 9892 26303 0 0 24 11 295 10 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13753] ppid=13726 vsize=71776 CPUtime=22.07 cores=1,3,5,7
/proc/13753/stat : 13753 (glucosInc) R 13726 13725 13680 0 -1 4202496 9172 0 0 0 2204 3 0 0 20 0 1 0 23394941 73498624 17449 33554432000 4194304 5654031 140733217930848 140733217918664 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13753/statm: 17944 17449 142 357 0 17584 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 94080
[startup+51.1004 s]
/proc/loadavg: 3.56 3.75 2.81 3/184 13757
/proc/meminfo: memFree=31629724/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=43.45 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 13086 45416 0 0 33 11 4285 16 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13757] ppid=13726 vsize=41412 CPUtime=7.6 cores=1,3,5,7
/proc/13757/stat : 13757 (glucosInc) R 13726 13725 13680 0 -1 4202496 8876 0 0 0 758 2 0 0 20 0 1 0 23398948 42405888 9858 33554432000 4194304 5654031 140734665168816 140734665156632 4215124 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13757/statm: 10353 9858 142 357 0 9993 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 63716
[startup+102.307 s]
/proc/loadavg: 2.67 3.47 2.77 3/183 13763
/proc/meminfo: memFree=31577784/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=58.36 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 14683 55454 0 0 37 12 5768 19 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13759] ppid=13726 vsize=102460 CPUtime=43.88 cores=1,3,5,7
/proc/13759/stat : 13759 (glucosInc) R 13726 13725 13680 0 -1 4202496 12451 0 0 0 4383 5 0 0 20 0 1 0 23400439 104919040 21027 33554432000 4194304 5654031 140734364124432 140734364112248 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13759/statm: 25615 21027 142 357 0 25255 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 124764
[startup+162.3 s]
/proc/loadavg: 2.25 3.20 2.72 3/183 13764
/proc/meminfo: memFree=31538256/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=58.36 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 14683 55454 0 0 37 12 5768 19 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13759] ppid=13726 vsize=102460 CPUtime=103.86 cores=1,3,5,7
/proc/13759/stat : 13759 (glucosInc) R 13726 13725 13680 0 -1 4202496 15539 0 0 0 10373 13 0 0 20 0 1 0 23400439 104919040 21027 33554432000 4194304 5654031 140734364124432 140734364122456 4214993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13759/statm: 25615 21027 142 357 0 25255 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 124764
[startup+222.3 s]
/proc/loadavg: 2.09 2.98 2.67 3/183 13766
/proc/meminfo: memFree=31577368/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=208.51 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 16280 74302 0 0 41 12 20759 39 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13766] ppid=13726 vsize=45996 CPUtime=13.68 cores=1,3,5,7
/proc/13766/stat : 13766 (glucosInc) R 13726 13725 13680 0 -1 4202496 8818 0 0 0 1367 1 0 0 20 0 1 0 23415460 47099904 10977 33554432000 4194304 5654031 140733668856832 140733668844648 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13766/statm: 11499 10977 142 357 0 11139 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 68300
[startup+282.3 s]
/proc/loadavg: 2.11 2.81 2.63 3/183 13768
/proc/meminfo: memFree=31596592/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.17 3/183 13806
/proc/meminfo: memFree=31341960/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=225640 CPUtime=806.81 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 40829 0 0 0 80602 79 0 0 20 0 1 0 23450133 231055360 50157 33554432000 4194304 5654031 140736012584496 140736012582584 4215357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 56410 50157 142 357 0 56050 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 247944
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.16 3/183 13806
/proc/meminfo: memFree=31382152/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=175552 CPUtime=866.8 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 42245 0 0 0 86597 83 0 0 20 0 1 0 23450133 179765248 38592 33554432000 4194304 5654031 140736012584496 140736012582584 4218592 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 43888 38592 142 357 0 43528 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 197856
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.15 3/183 13806
/proc/meminfo: memFree=31376044/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=307028 CPUtime=926.79 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 43107 0 0 0 92593 86 0 0 20 0 1 0 23450133 314396672 63981 33554432000 4194304 5654031 140736012584496 140736012582584 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 76757 63981 142 357 0 76397 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 329332
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.14 3/184 13809
/proc/meminfo: memFree=31470652/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=107172 CPUtime=986.78 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 45416 0 0 0 98588 90 0 0 20 0 1 0 23450133 109744128 25469 33554432000 4194304 5654031 140736012584496 140736012572312 4215121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 26793 25469 142 357 0 26433 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 129476
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.13 3/183 13809
/proc/meminfo: memFree=31325372/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=237400 CPUtime=1046.78 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 46929 0 0 0 104584 94 0 0 20 0 1 0 23450133 243097600 56106 33554432000 4194304 5654031 140736012584496 140736012582584 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 59350 56106 142 357 0 58990 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 259704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/183 13810
/proc/meminfo: memFree=31260572/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=318788 CPUtime=1106.77 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 47465 0 0 0 110582 95 0 0 20 0 1 0 23450133 326438912 68906 33554432000 4194304 5654031 140736012584496 140736012582584 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 79697 68906 142 357 0 79337 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 341092
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/183 13810
/proc/meminfo: memFree=31264392/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=318788 CPUtime=1166.76 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 49253 0 0 0 116577 99 0 0 20 0 1 0 23450133 326438912 66900 33554432000 4194304 5654031 140736012584496 140736012572312 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 79697 66900 142 357 0 79337 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 341092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 13810
/proc/meminfo: memFree=31353796/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=161172 CPUtime=1226.75 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 52120 0 0 0 122572 103 0 0 20 0 1 0 23450133 165040128 39705 33554432000 4194304 5654031 140736012584496 140736012572312 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 40293 39705 142 357 0 39933 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 183476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.09 2/176 13835
/proc/meminfo: memFree=31526948/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=242080 CPUtime=1244.95 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 52824 0 0 0 124390 105 0 0 20 0 1 0 23450133 247889920 52668 33554432000 4194304 5654031 140736012584496 140736012572312 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 60520 52668 142 357 0 60160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 264384
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.00 2.00 2.09 2/176 13835
/proc/meminfo: memFree=31526948/32873844 swapFree=7632/7632
[pid=13725] ppid=13723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13725/stat : 13725 (npSolver-pbo-It) S 13723 13725 13680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 23394599 9367552 275 33554432000 4194304 5064252 140735594513024 140735594511936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13725/statm: 2287 275 233 213 0 72 0
[pid=13726] ppid=13725 vsize=13156 CPUtime=555.14 cores=1,3,5,7
/proc/13726/stat : 13726 (npSolver-pbo) S 13725 13725 13680 0 -1 4202496 17877 100278 0 0 46 12 55379 77 20 0 1 0 23394600 13471744 2645 33554432000 4194304 6004724 140735092949504 140735092935352 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13726/statm: 3289 2645 188 442 0 2843 0
[pid=13777] ppid=13726 vsize=242080 CPUtime=1244.95 cores=1,3,5,7
/proc/13777/stat : 13777 (glucosInc) R 13726 13725 13680 0 -1 4202496 52824 0 0 0 124390 105 0 0 20 0 1 0 23450133 247889920 52668 33554432000 4194304 5654031 140736012584496 140736012572312 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13777/statm: 60520 52668 142 357 0 60160 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 264384
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13725 and gives
# childrusage.ru_utime.tv_sec=554
# childrusage.ru_utime.tv_usec=261739
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=903862
# CPU time returned by wait4() is 555.166
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1798.15
CPU system time (s): 1.94
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 378652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 554.262
system time used= 0.903862
maximum resident set size= 307484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1179
involuntary context switches= 1363
runsolver used 7.79382 second user time and 18.0882 second system time
The end