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-3748563-1339173812/watcher-3748563-1339173812 -o /tmp/evaluation-result-3748563-1339173812/solver-3748563-1339173812 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748563-1339173812.opb 1564418725 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: 2.00 2.01 2.00 2/178 14502
/proc/meminfo: memFree=29760228/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[startup+0.036835 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 14502
/proc/meminfo: memFree=29760228/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100161 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 14502
/proc/meminfo: memFree=29760228/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 14502
/proc/meminfo: memFree=29760228/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.964164 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 14502
/proc/meminfo: memFree=29760228/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 2.16 2.04 2.01 3/180 14509
/proc/meminfo: memFree=29736572/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=22772 CPUtime=1.48 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) R 14502 14502 14220 0 -1 4202496 8384 13883 0 0 25 17 102 4 20 0 1 0 383507127 23318528 5177 33554432000 4194304 6004724 140733273692656 140733273687216 5055473 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 5693 5178 183 442 0 5247 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31920
[startup+3.10031 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 14511
/proc/meminfo: memFree=29566272/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=119556 CPUtime=1.02 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 24232 0 0 0 98 4 0 0 20 0 1 0 383507333 122425344 26489 33554432000 4194304 5654031 140733765480656 140733764430296 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14511/statm: 29889 26489 141 357 0 29529 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 159668
[startup+6.30037 s]
/proc/loadavg: 2.23 2.06 2.02 3/181 14511
/proc/meminfo: memFree=29579556/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=120948 CPUtime=4.22 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 24688 0 0 0 418 4 0 0 20 0 1 0 383507333 123850752 26945 33554432000 4194304 5654031 140733765480656 140733765468472 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 30237 26945 141 357 0 29877 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 161060
[startup+12.7004 s]
/proc/loadavg: 2.21 2.06 2.02 3/181 14511
/proc/meminfo: memFree=29578124/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=122384 CPUtime=10.62 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 24959 0 0 0 1058 4 0 0 20 0 1 0 383507333 125321216 27216 33554432000 4194304 5654031 140733765480656 140733765468472 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 30596 27216 141 357 0 30236 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 162496
[startup+25.5003 s]
/proc/loadavg: 2.18 2.05 2.01 3/181 14511
/proc/meminfo: memFree=29574320/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=122384 CPUtime=23.41 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 25034 0 0 0 2337 4 0 0 20 0 1 0 383507333 125321216 27802 33554432000 4194304 5654031 140733765480656 140733765468472 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 30596 27802 141 357 0 30236 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 162496
[startup+51.1065 s]
/proc/loadavg: 2.11 2.05 2.01 3/181 14511
/proc/meminfo: memFree=29563604/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=127096 CPUtime=49.01 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 26453 0 0 0 4896 5 0 0 20 0 1 0 383507333 130146304 29892 33554432000 4194304 5654031 140733765480656 140733765478424 4232589 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14511/statm: 31774 29892 141 357 0 31414 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 167208
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/181 14511
/proc/meminfo: memFree=29485892/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=207084 CPUtime=100.19 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 30045 0 0 0 10011 8 0 0 20 0 1 0 383507333 212054016 46953 33554432000 4194304 5654031 140733765480656 140733765468472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 51771 46953 141 357 0 51411 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 247196
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 14512
/proc/meminfo: memFree=29523328/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=157764 CPUtime=160.15 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 30501 0 0 0 16007 8 0 0 20 0 1 0 383507333 161550336 37837 33554432000 4194304 5654031 140733765480656 140733765468472 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 39441 37837 141 357 0 39081 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 197876
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 14512
/proc/meminfo: memFree=29486644/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=30964 CPUtime=2.05 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 10666 14397 0 0 74 24 102 5 20 0 1 0 383507127 31707136 7341 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 7741 7341 184 442 0 7295 0
[pid=14511] ppid=14503 vsize=207084 CPUtime=220.15 cores=0,2,4,6
/proc/14511/stat : 14511 (glucosInc) R 14503 14502 14220 0 -1 4202496 30940 0 0 0 22006 9 0 0 20 0 1 0 383507333 212054016 46876 33554432000 4194304 5654031 140733765480656 140733765468472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14511/statm: 51771 46876 141 357 0 51411 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 247196
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 14512
/proc/meminfo: memFree=29480328/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=29399848/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=788.9 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 16181 49820 0 0 128 31 78709 22 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14521] ppid=14503 vsize=200132 CPUtime=453.1 cores=0,2,4,6
/proc/14521/stat : 14521 (glucosInc) R 14503 14502 14220 0 -1 4202496 26369 0 0 0 45302 8 0 0 20 0 1 0 383586036 204935168 48361 33554432000 4194304 5654031 140734721381472 140734721369288 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 50033 48361 142 357 0 49673 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 258936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14549
/proc/meminfo: memFree=29433240/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=788.9 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 16181 49820 0 0 128 31 78709 22 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14521] ppid=14503 vsize=200132 CPUtime=513.09 cores=0,2,4,6
/proc/14521/stat : 14521 (glucosInc) R 14503 14502 14220 0 -1 4202496 26369 0 0 0 51301 8 0 0 20 0 1 0 383586036 204935168 48361 33554432000 4194304 5654031 140734721381472 140734721369288 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 50033 48361 142 357 0 49673 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 258936
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14550
/proc/meminfo: memFree=29387564/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=788.9 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 16181 49820 0 0 128 31 78709 22 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14521] ppid=14503 vsize=200132 CPUtime=573.08 cores=0,2,4,6
/proc/14521/stat : 14521 (glucosInc) R 14503 14502 14220 0 -1 4202496 26369 0 0 0 57300 8 0 0 20 0 1 0 383586036 204935168 48361 33554432000 4194304 5654031 140734721381472 140734721369288 4232462 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 50033 48361 142 357 0 49673 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 258936
[startup+1422.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/181 14552
/proc/meminfo: memFree=29492092/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=117472 CPUtime=26.96 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23054 0 0 0 2691 5 0 0 20 0 1 0 383646657 120291328 24492 33554432000 4194304 5654031 140735184851152 140735184838968 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 29368 24492 142 357 0 29008 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 176276
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 14552
/proc/meminfo: memFree=29463672/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=86.95 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23884 0 0 0 8689 6 0 0 20 0 1 0 383646657 169046016 31754 33554432000 4194304 5654031 140735184851152 140735184838968 4232448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 31754 142 357 0 40911 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 223888
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 14552
/proc/meminfo: memFree=29501284/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=146.94 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23884 0 0 0 14688 6 0 0 20 0 1 0 383646657 169046016 31754 33554432000 4194304 5654031 140735184851152 140735184838968 4233344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 31754 142 357 0 40911 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 223888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 14555
/proc/meminfo: memFree=29460952/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=206.93 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23885 0 0 0 20687 6 0 0 20 0 1 0 383646657 169046016 31754 33554432000 4194304 5654031 140735184851152 140735184838968 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 31754 142 357 0 40911 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 223888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 14558
/proc/meminfo: memFree=29538248/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=266.92 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23888 0 0 0 26686 6 0 0 20 0 1 0 383646657 169046016 32824 33554432000 4194304 5654031 140735184851152 140735184838968 4232462 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 32824 142 357 0 40911 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 223888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14558
/proc/meminfo: memFree=29477652/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=326.91 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23889 0 0 0 32685 6 0 0 20 0 1 0 383646657 169046016 33336 33554432000 4194304 5654031 140735184851152 140735184838968 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 33336 142 357 0 40911 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 223888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 14558
/proc/meminfo: memFree=29454116/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=386.9 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23890 0 0 0 38684 6 0 0 20 0 1 0 383646657 169046016 33848 33554432000 4194304 5654031 140735184851152 140735184838968 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 33848 142 357 0 40911 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 223888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14598
/proc/meminfo: memFree=29327680/32873648 swapFree=7112/7112
[pid=14502] ppid=14500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14502/stat : 14502 (npSolver-pbo-I.) S 14500 14502 14220 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383507126 9367552 275 33554432000 4194304 5064252 140735539285840 140735539284752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14502/statm: 2287 275 233 213 0 72 0
[pid=14503] ppid=14502 vsize=49656 CPUtime=1394.99 cores=0,2,4,6
/proc/14503/stat : 14503 (npSolver-pbo) S 14502 14502 14220 0 -1 4202496 23194 76718 0 0 179 36 139252 32 20 0 1 0 383507127 50847744 12015 33554432000 4194304 6004724 140733273692656 140733273677576 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14503/statm: 12414 12015 185 442 0 11968 0
[pid=14552] ppid=14503 vsize=165084 CPUtime=405.11 cores=0,2,4,6
/proc/14552/stat : 14552 (glucosInc) R 14503 14502 14220 0 -1 4202496 23890 0 0 0 40504 7 0 0 20 0 1 0 383646657 169046016 33848 33554432000 4194304 5654031 140735184851152 140735184838968 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14552/statm: 41271 33848 142 357 0 40911 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 223888
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.51
CPU time (s): 1800.13
CPU user time (s): 1799.36
CPU system time (s): 0.773882
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 258940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.773882
maximum resident set size= 199792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 228112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1103
involuntary context switches= 2560
runsolver used 3.67144 second user time and 8.43872 second system time
The end