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-3714268-1338179857/watcher-3714268-1338179857 -o /tmp/evaluation-result-3714268-1338179857/solver-3714268-1338179857 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714268-1338179857.wbo 1050437950 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.00 2.00 2.00 3/178 16541
/proc/meminfo: memFree=29698172/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[startup+0.0390079 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16541
/proc/meminfo: memFree=29698172/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16541
/proc/meminfo: memFree=29698172/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300335 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16541
/proc/meminfo: memFree=29698172/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16541
/proc/meminfo: memFree=29698172/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16545
/proc/meminfo: memFree=29580196/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=0.82 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5665 0 0 0 79 3 0 0 20 0 1 0 284114250 36270080 5214 33554432000 4194304 5990268 140734180174736 140734180167888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5214 156 439 0 8412 0
[pid=16544] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (cp2_pre.sh) S 16542 16541 14387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284114333 9367552 276 33554432000 4194304 5064252 140734059167328 140734059166032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16544/statm: 2287 276 234 213 0 72 0
[pid=16545] ppid=16544 vsize=165408 CPUtime=0.65 cores=1,3,5,7
/proc/16545/stat : 16545 (coprocessor) R 16544 16541 14387 0 -1 4202496 26240 0 0 0 60 5 0 0 20 0 1 0 284114333 169377792 36404 33554432000 4194304 6586260 140736856059632 140736856055896 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16545/statm: 41352 36404 166 584 0 40764 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 219124
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16545
/proc/meminfo: memFree=29499000/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=0.82 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5665 0 0 0 79 3 0 0 20 0 1 0 284114250 36270080 5214 33554432000 4194304 5990268 140734180174736 140734180167888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5214 156 439 0 8412 0
[pid=16544] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (cp2_pre.sh) S 16542 16541 14387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284114333 9367552 276 33554432000 4194304 5064252 140734059167328 140734059166032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16544/statm: 2287 276 234 213 0 72 0
[pid=16545] ppid=16544 vsize=198472 CPUtime=2.26 cores=1,3,5,7
/proc/16545/stat : 16545 (coprocessor) R 16544 16541 14387 0 -1 4202496 32404 0 0 0 219 7 0 0 20 0 1 0 284114333 203235328 48222 33554432000 4194304 6586260 140736856059632 140736856054952 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16545/statm: 49618 48222 191 584 0 49030 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 252188
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16545
/proc/meminfo: memFree=29468428/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=0.82 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5665 0 0 0 79 3 0 0 20 0 1 0 284114250 36270080 5214 33554432000 4194304 5990268 140734180174736 140734180167888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5214 156 439 0 8412 0
[pid=16544] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (cp2_pre.sh) S 16542 16541 14387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284114333 9367552 276 33554432000 4194304 5064252 140734059167328 140734059166032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16544/statm: 2287 276 234 213 0 72 0
[pid=16545] ppid=16544 vsize=198472 CPUtime=5.46 cores=1,3,5,7
/proc/16545/stat : 16545 (coprocessor) R 16544 16541 14387 0 -1 4202496 32404 0 0 0 539 7 0 0 20 0 1 0 284114333 203235328 48222 33554432000 4194304 6586260 140736856059632 140736856054888 4690067 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16545/statm: 49618 48222 191 584 0 49030 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 252188
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16545
/proc/meminfo: memFree=29459012/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=0.82 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5665 0 0 0 79 3 0 0 20 0 1 0 284114250 36270080 5214 33554432000 4194304 5990268 140734180174736 140734180167888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5214 156 439 0 8412 0
[pid=16544] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16544/stat : 16544 (cp2_pre.sh) S 16542 16541 14387 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284114333 9367552 276 33554432000 4194304 5064252 140734059167328 140734059166032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16544/statm: 2287 276 234 213 0 72 0
[pid=16545] ppid=16544 vsize=198472 CPUtime=11.85 cores=1,3,5,7
/proc/16545/stat : 16545 (coprocessor) R 16544 16541 14387 0 -1 4202496 32406 0 0 0 1178 7 0 0 20 0 1 0 284114333 203235328 48224 33554432000 4194304 6586260 140736856059632 140736856054888 4683467 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/16545/statm: 49618 48224 191 584 0 49030 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 252188
############
# WARNING:
# current cumulated CPU time (20.37 s) is less than in the last sample (20.37 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.90735e-06 s) to the 'lost time'.
[startup+20.4004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16597
/proc/meminfo: memFree=29587992/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=0.82 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5665 0 0 0 79 3 0 0 20 0 1 0 284114250 36270080 5214 33554432000 4194304 5990268 140734180174736 140734180167888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5214 156 439 0 8412 0
[pid=16544] ppid=16542 vsize=9148 CPUtime=19.55 cores=1,3,5,7
/proc/16544/stat : 16544 (cp2_pre.sh) S 16542 16541 14387 0 -1 4202496 632 35836 0 0 0 0 1887 68 20 0 1 0 284114333 9367552 280 33554432000 4194304 5064252 140734059167328 140734059166032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16544/statm: 2287 280 238 213 0 72 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 53716
[startup+20.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16597
/proc/meminfo: memFree=29587992/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=35420 CPUtime=20.37 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 5674 36736 0 0 79 3 1887 68 20 0 1 0 284114250 36270080 5215 33554432000 4194304 5990268 140734180174736 140734180168976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16542/statm: 8855 5215 157 439 0 8412 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 44568
#
############
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16614
/proc/meminfo: memFree=29724516/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=24.1 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 10384 88445 0 0 97 34 2188 91 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16613] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16613/stat : 16613 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284116663 9367552 266 33554432000 4194304 5064252 140733383215904 140733383214816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16613/statm: 2287 266 226 213 0 72 0
[pid=16614] ppid=16613 vsize=74932 CPUtime=1.36 cores=1,3,5,7
/proc/16614/stat : 16614 (glucose) R 16613 16541 14387 0 -1 4202496 14843 0 0 0 133 3 0 0 20 0 1 0 284116663 76730368 16397 33554432000 4194304 5208918 140733479573840 140733479571688 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16614/statm: 18733 16397 102 248 0 18482 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 146680
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 16705
/proc/meminfo: memFree=29788696/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
################
# More data... #
################
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1380.11 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 25743 0 0 0 137989 22 0 0 20 0 1 0 284118446 254300160 55105 33554432000 4194304 5208918 140737209567200 140737209565288 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 55105 105 248 0 61834 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 320088
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 16743
/proc/meminfo: memFree=29424896/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1440.09 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 26002 0 0 0 143987 22 0 0 20 0 1 0 284118446 254300160 58422 33554432000 4194304 5208918 140737209567200 140737209563576 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 58422 105 248 0 61834 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 320088
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 16743
/proc/meminfo: memFree=29450264/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1500.08 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 26447 0 0 0 149984 24 0 0 20 0 1 0 284118446 254300160 57153 33554432000 4194304 5208918 140737209567200 140737209563576 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 57153 105 248 0 61834 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 320088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16743
/proc/meminfo: memFree=29450392/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1560.07 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 27150 0 0 0 155981 26 0 0 20 0 1 0 284118446 254300160 56641 33554432000 4194304 5208918 140737209567200 140737209563576 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 56641 105 248 0 61834 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 320088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16744
/proc/meminfo: memFree=29422208/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=279160 CPUtime=1620.06 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 27757 0 0 0 161979 27 0 0 20 0 1 0 284118446 285859840 59780 33554432000 4194304 5208918 140737209567200 140737209563576 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 69790 59780 105 248 0 69539 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 350908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16744
/proc/meminfo: memFree=29423500/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1680.05 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 28019 0 0 0 167977 28 0 0 20 0 1 0 284118446 254300160 58330 33554432000 4194304 5208918 140737209567200 140737209563576 4212432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 58330 105 248 0 61834 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 320088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16744
/proc/meminfo: memFree=29429336/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1740.04 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 28563 0 0 0 173975 29 0 0 20 0 1 0 284118446 254300160 56641 33554432000 4194304 5208918 140737209567200 140737209563576 4213121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 56641 105 248 0 61834 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 320088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16744
/proc/meminfo: memFree=29412828/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1758.06 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 28566 0 0 0 175776 30 0 0 20 0 1 0 284118446 254300160 58177 33554432000 4194304 5208918 140737209567200 140737209563576 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 58177 105 248 0 61834 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 320088
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16744
/proc/meminfo: memFree=29412828/32873844 swapFree=7112/7112
[pid=16541] ppid=16539 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16541/stat : 16541 (npSolver-wbo-I.) S 16539 16541 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284114249 9367552 275 33554432000 4194304 5064252 140734996084896 140734996083808 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16541/statm: 2287 275 233 213 0 72 0
[pid=16542] ppid=16541 vsize=53452 CPUtime=41.95 cores=1,3,5,7
/proc/16542/stat : 16542 (npSolver-wbo) S 16541 16541 14387 0 -1 4202496 18793 225999 0 0 109 36 3902 148 20 0 1 0 284114250 54734848 9058 33554432000 4194304 5990268 140734180174736 140734180166176 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16542/statm: 13363 9058 164 439 0 12920 0
[pid=16704] ppid=16542 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16704/stat : 16704 (satsolver.sh) S 16542 16541 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284118446 9367552 267 33554432000 4194304 5064252 140737230368752 140737230367664 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16704/statm: 2287 267 226 213 0 72 0
[pid=16705] ppid=16704 vsize=248340 CPUtime=1758.06 cores=1,3,5,7
/proc/16705/stat : 16705 (glucose) R 16704 16541 14387 0 -1 4202496 28566 0 0 0 175776 30 0 0 20 0 1 0 284118446 254300160 58177 33554432000 4194304 5208918 140737209567200 140737209563576 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16705/statm: 62085 58177 105 248 0 61834 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 320088
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.90735e-06
# lost CPU user time (s): 1.90735e-06
# lost CPU system time (s): 0
Real time (s): 1800.31
CPU time (s): 1800.04
CPU user time (s): 1797.89
CPU system time (s): 2.15167
CPU usage (%): 99.9851
Max. virtual memory (cumulated for all children) (KiB): 400228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.15167
maximum resident set size= 280336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274348
page faults= 0
swaps= 0
block input operations= 0
block output operations= 218192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4791
involuntary context switches= 1964
runsolver used 2.75358 second user time and 7.2199 second system time
The end