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-3698078-1338061933/watcher-3698078-1338061933 -o /tmp/evaluation-result-3698078-1338061933/solver-3698078-1338061933 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698078-1338061933.opb 2092380444 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.00 2.00 3/178 2863
/proc/meminfo: memFree=29050756/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[startup+0.08059 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2863
/proc/meminfo: memFree=29050756/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100298 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2863
/proc/meminfo: memFree=29050756/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2863
/proc/meminfo: memFree=29050756/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2863
/proc/meminfo: memFree=29050756/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2867
/proc/meminfo: memFree=28960012/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=11248 CPUtime=1.2 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 3353 16694 0 0 10 1 97 12 20 0 1 0 272318734 11517952 2404 33554432000 4194304 5992684 140733307909200 140733307895464 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 2812 2404 171 440 0 2368 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 20396
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2913
/proc/meminfo: memFree=29306860/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=11248 CPUtime=1.2 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 3353 16694 0 0 10 1 97 12 20 0 1 0 272318734 11517952 2404 33554432000 4194304 5992684 140733307909200 140733307895464 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 2812 2404 171 440 0 2368 0
[pid=2869] ppid=2864 vsize=31748 CPUtime=1.87 cores=0,2,4,6
/proc/2869/stat : 2869 (glucosInc) R 2864 2863 1914 0 -1 4202496 8322 0 0 0 186 1 0 0 20 0 1 0 272318856 32509952 6964 33554432000 4194304 5654031 140734810101952 140734810099976 4215040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2869/statm: 7937 6964 142 357 0 7577 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 52144
[startup+6.30032 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 2928
/proc/meminfo: memFree=29286948/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=11248 CPUtime=1.2 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 3353 16694 0 0 10 1 97 12 20 0 1 0 272318734 11517952 2404 33554432000 4194304 5992684 140733307909200 140733307895464 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 2812 2404 171 440 0 2368 0
[pid=2869] ppid=2864 vsize=43304 CPUtime=5.06 cores=0,2,4,6
/proc/2869/stat : 2869 (glucosInc) R 2864 2863 1914 0 -1 4202496 9190 0 0 0 505 1 0 0 20 0 1 0 272318856 44343296 9785 33554432000 4194304 5654031 140734810101952 140734810089768 4214603 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2869/statm: 10826 9785 142 357 0 10466 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63700
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 2934
/proc/meminfo: memFree=29279536/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=11248 CPUtime=1.2 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 3353 16694 0 0 10 1 97 12 20 0 1 0 272318734 11517952 2404 33554432000 4194304 5992684 140733307909200 140733307895464 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 2812 2404 171 440 0 2368 0
[pid=2869] ppid=2864 vsize=50444 CPUtime=11.47 cores=0,2,4,6
/proc/2869/stat : 2869 (glucosInc) R 2864 2863 1914 0 -1 4202496 10639 0 0 0 1145 2 0 0 20 0 1 0 272318856 51654656 11707 33554432000 4194304 5654031 140734810101952 140734810089768 4233160 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2869/statm: 12611 11707 142 357 0 12251 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 70840
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 3001
/proc/meminfo: memFree=29257500/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=11248 CPUtime=1.2 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 3353 16694 0 0 10 1 97 12 20 0 1 0 272318734 11517952 2404 33554432000 4194304 5992684 140733307909200 140733307895464 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 2812 2404 171 440 0 2368 0
[pid=2869] ppid=2864 vsize=67796 CPUtime=24.27 cores=0,2,4,6
/proc/2869/stat : 2869 (glucosInc) R 2864 2863 1914 0 -1 4202496 12625 0 0 0 2424 3 0 0 20 0 1 0 272318856 69423104 16063 33554432000 4194304 5654031 140734810101952 140734810089768 4216579 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2869/statm: 16949 16063 142 357 0 16589 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 88192
[startup+51.1004 s]
/proc/loadavg: 2.09 2.02 2.01 3/181 3067
/proc/meminfo: memFree=29212080/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=91680 CPUtime=15.42 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 15258 0 0 0 1538 4 0 0 20 0 1 0 272322299 93880320 20461 33554432000 4194304 5654031 140736784561664 140736784549480 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 22920 20461 141 357 0 22560 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 118176
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 3072
/proc/meminfo: memFree=29153364/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=131124 CPUtime=66.62 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 17220 0 0 0 6656 6 0 0 20 0 1 0 272322299 134270976 29810 33554432000 4194304 5654031 140736784561664 140736784549480 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 32781 29810 141 357 0 32421 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 157620
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3072
/proc/meminfo: memFree=29133688/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=180444 CPUtime=126.59 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 18333 0 0 0 12652 7 0 0 20 0 1 0 272322299 184774656 39502 33554432000 4194304 5654031 140736784561664 140736784549480 4232912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 45111 39502 141 357 0 44751 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 206940
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3072
/proc/meminfo: memFree=29102656/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=145568 CPUtime=186.58 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 20478 0 0 0 18648 10 0 0 20 0 1 0 272322299 149061632 35174 33554432000 4194304 5654031 140736784561664 140736784549480 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 36392 35174 141 357 0 36032 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 172064
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3074
/proc/meminfo: memFree=29083924/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.00 3/181 3184
/proc/meminfo: memFree=28989368/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=280380 CPUtime=1326.37 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 65558 0 0 0 132542 95 0 0 20 0 1 0 272322299 287109120 68584 33554432000 4194304 5654031 140736784561664 140736784549480 4215964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 70095 68584 141 357 0 69735 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 306876
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 3184
/proc/meminfo: memFree=28954968/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=332532 CPUtime=1386.37 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 66954 0 0 0 138538 99 0 0 20 0 1 0 272322299 340512768 73001 33554432000 4194304 5654031 140736784561664 140736784549480 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 83133 73001 141 357 0 82773 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 359028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3184
/proc/meminfo: memFree=28949544/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=334844 CPUtime=1446.34 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 68258 0 0 0 144532 102 0 0 20 0 1 0 272322299 342880256 75645 33554432000 4194304 5654031 140736784561664 140736784549480 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 83711 75645 141 357 0 83351 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 361340
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3184
/proc/meminfo: memFree=28933316/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=289184 CPUtime=1506.34 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 70389 0 0 0 150527 107 0 0 20 0 1 0 272322299 296124416 70230 33554432000 4194304 5654031 140736784561664 140736784549480 4215932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 72296 70230 141 357 0 71936 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 315680
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 3184
/proc/meminfo: memFree=28919032/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=341644 CPUtime=1566.32 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 71967 0 0 0 156521 111 0 0 20 0 1 0 272322299 349843456 73649 33554432000 4194304 5654031 140736784561664 140736784549480 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 85411 73649 141 357 0 85051 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 368140
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 3185
/proc/meminfo: memFree=28910240/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=343312 CPUtime=1626.3 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 73079 0 0 0 162517 113 0 0 20 0 1 0 272322299 351551488 75694 33554432000 4194304 5654031 140736784561664 140736784549480 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 85828 75694 141 357 0 85468 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 369808
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 3188
/proc/meminfo: memFree=28918432/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=344700 CPUtime=1686.29 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 74150 0 0 0 168513 116 0 0 20 0 1 0 272322299 352972800 72957 33554432000 4194304 5654031 140736784561664 140736784549480 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 86175 72957 141 357 0 85815 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 371196
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 3188
/proc/meminfo: memFree=28904340/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=346928 CPUtime=1746.27 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 75393 0 0 0 174509 118 0 0 20 0 1 0 272322299 355254272 77058 33554432000 4194304 5654031 140736784561664 140736784549480 4216672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 86732 77058 141 357 0 86372 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 373424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 3188
/proc/meminfo: memFree=28882432/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=348336 CPUtime=1764.48 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 75753 0 0 0 176329 119 0 0 20 0 1 0 272322299 356696064 82528 33554432000 4194304 5654031 140736784561664 140736784549480 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 87084 82528 141 357 0 86724 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 374832
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.01 2.00 3/181 3188
/proc/meminfo: memFree=28882432/32873844 swapFree=7384/7384
[pid=2863] ppid=2861 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2863/stat : 2863 (npSolver-pbo-It) S 2861 2863 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272318734 9367552 275 33554432000 4194304 5064252 140734769346704 140734769345616 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2863/statm: 2287 275 233 213 0 72 0
[pid=2864] ppid=2863 vsize=17348 CPUtime=35.62 cores=0,2,4,6
/proc/2864/stat : 2864 (npSolver-pbo) S 2863 2863 1914 0 -1 4202496 7253 31108 0 0 29 26 3489 18 20 0 1 0 272318734 17764352 3952 33554432000 4194304 5992684 140733307909200 140733307895032 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2864/statm: 4337 3952 188 440 0 3893 0
[pid=3057] ppid=2864 vsize=348336 CPUtime=1764.48 cores=0,2,4,6
/proc/3057/stat : 3057 (glucosInc) R 2864 2863 1914 0 -1 4202496 75753 0 0 0 176329 119 0 0 20 0 1 0 272322299 356696064 82528 33554432000 4194304 5654031 140736784561664 140736784549480 4233144 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3057/statm: 87084 82528 141 357 0 86724 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 374832
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2863 and gives
# childrusage.ru_utime.tv_sec=35
# childrusage.ru_utime.tv_usec=191650
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=455930
# CPU time returned by wait4() is 35.6476
# while last known CPU time is 1800.1
#
# 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.1
CPU user time (s): 1798.47
CPU system time (s): 1.63
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 453432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.1917
system time used= 0.45593
maximum resident set size= 80832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205
involuntary context switches= 82
runsolver used 2.67159 second user time and 7.15891 second system time
The end