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-3715620-1338193512/watcher-3715620-1338193512 -o /tmp/evaluation-result-3715620-1338193512/solver-3715620-1338193512 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715620-1338193512.wbo 779605101 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: 1.91 1.83 1.75 3/177 23904
/proc/meminfo: memFree=29779112/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[startup+0.055389 s]
/proc/loadavg: 1.91 1.83 1.75 3/177 23904
/proc/meminfo: memFree=29779112/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 1.91 1.83 1.75 3/177 23904
/proc/meminfo: memFree=29779112/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300297 s]
/proc/loadavg: 1.91 1.83 1.75 3/177 23904
/proc/meminfo: memFree=29779112/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 1.91 1.83 1.75 3/177 23904
/proc/meminfo: memFree=29779112/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 1.91 1.83 1.75 3/181 23956
/proc/meminfo: memFree=29725876/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=11844 CPUtime=0.21 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 3046 6255 0 0 10 2 8 1 20 0 1 0 285476656 12128256 2465 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 2961 2465 176 439 0 2518 0
[pid=23925] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23925/stat : 23925 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285476680 9367552 267 33554432000 4194304 5064252 140736077465664 140736077464576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23925/statm: 2287 267 226 213 0 72 0
[pid=23928] ppid=23925 vsize=47992 CPUtime=1.25 cores=0,2,4,6
/proc/23928/stat : 23928 (glucose) R 23925 23904 20162 0 -1 4202496 10490 0 0 0 124 1 0 0 20 0 1 0 285476680 49143808 10633 33554432000 4194304 5208918 140735832644576 140735832642984 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 11998 10633 95 248 0 11747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 78132
[startup+3.10039 s]
/proc/loadavg: 1.91 1.83 1.75 3/181 23998
/proc/meminfo: memFree=29725224/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=11844 CPUtime=0.21 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 3046 6255 0 0 10 2 8 1 20 0 1 0 285476656 12128256 2465 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 2961 2465 176 439 0 2518 0
[pid=23925] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23925/stat : 23925 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285476680 9367552 267 33554432000 4194304 5064252 140736077465664 140736077464576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23925/statm: 2287 267 226 213 0 72 0
[pid=23928] ppid=23925 vsize=48124 CPUtime=2.85 cores=0,2,4,6
/proc/23928/stat : 23928 (glucose) R 23925 23904 20162 0 -1 4202496 10582 0 0 0 284 1 0 0 20 0 1 0 285476680 49278976 10724 33554432000 4194304 5208918 140735832644576 140735832642984 4211918 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 12031 10724 95 248 0 11780 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 78264
[startup+6.30043 s]
/proc/loadavg: 1.92 1.84 1.75 4/182 24124
/proc/meminfo: memFree=29727948/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=11844 CPUtime=0.21 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 3046 6255 0 0 10 2 8 1 20 0 1 0 285476656 12128256 2465 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 2961 2465 176 439 0 2518 0
[pid=23925] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23925/stat : 23925 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285476680 9367552 267 33554432000 4194304 5064252 140736077465664 140736077464576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23925/statm: 2287 267 226 213 0 72 0
[pid=23928] ppid=23925 vsize=52544 CPUtime=6.05 cores=0,2,4,6
/proc/23928/stat : 23928 (glucose) R 23925 23904 20162 0 -1 4202496 10792 0 0 0 604 1 0 0 20 0 1 0 285476680 53805056 10932 33554432000 4194304 5208918 140735832644576 140735832642424 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23928/statm: 13136 10932 95 248 0 12885 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 82684
[startup+12.7003 s]
/proc/loadavg: 1.93 1.84 1.75 3/181 24376
/proc/meminfo: memFree=29719136/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=7.89 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 5301 22843 0 0 18 3 751 17 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=24221] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24221/stat : 24221 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285477448 9367552 267 33554432000 4194304 5064252 140734111088416 140734111087328 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24221/statm: 2287 267 226 213 0 72 0
[pid=24222] ppid=24221 vsize=48120 CPUtime=4.77 cores=0,2,4,6
/proc/24222/stat : 24222 (glucose) R 24221 23904 20162 0 -1 4202496 10720 0 0 0 475 2 0 0 20 0 1 0 285477448 49274880 10853 33554432000 4194304 5208918 140733367221856 140733367219704 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24222/statm: 12030 10853 95 248 0 11779 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86324
[startup+25.5004 s]
/proc/loadavg: 1.87 1.83 1.75 3/181 24884
/proc/meminfo: memFree=29714268/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=23.26 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 9809 55037 0 0 33 6 2238 49 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=24809] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24809/stat : 24809 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285478985 9367552 266 33554432000 4194304 5064252 140735476312912 140735476311824 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24809/statm: 2287 266 226 213 0 72 0
[pid=24810] ppid=24809 vsize=47992 CPUtime=2.19 cores=0,2,4,6
/proc/24810/stat : 24810 (glucose) R 24809 23904 20162 0 -1 4202496 9560 0 0 0 217 2 0 0 20 0 1 0 285478986 49143808 10804 33554432000 4194304 5208918 140734066294032 140734066292440 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24810/statm: 11998 10804 95 248 0 11747 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 86196
[startup+51.1004 s]
/proc/loadavg: 1.84 1.83 1.75 3/181 25851
/proc/meminfo: memFree=29713528/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=45.79 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 16571 101648 0 0 56 10 4416 97 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=25675] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25675/stat : 25675 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285481239 9367552 266 33554432000 4194304 5064252 140735458042800 140735458041712 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25675/statm: 2287 266 226 213 0 72 0
[pid=25676] ppid=25675 vsize=48124 CPUtime=5.25 cores=0,2,4,6
/proc/25676/stat : 25676 (glucose) R 25675 23904 20162 0 -1 4202496 10159 0 0 0 523 2 0 0 20 0 1 0 285481239 49278976 10884 33554432000 4194304 5208918 140734859268848 140734859266696 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25676/statm: 12031 10884 95 248 0 11780 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 86328
############
# WARNING:
# current cumulated CPU time (53.04 s) is less than in the last sample (53.04 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.8147e-06 s) to the 'lost time'.
[startup+53.1004 s]
/proc/loadavg: 1.84 1.83 1.75 3/181 25935
/proc/meminfo: memFree=29713016/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=45.79 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 16571 101648 0 0 56 10 4416 97 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=25675] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25675/stat : 25675 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285481239 9367552 266 33554432000 4194304 5064252 140735458042800 140735458041712 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25675/statm: 2287 266 226 213 0 72 0
[pid=25676] ppid=25675 vsize=0 CPUtime=7.25 cores=0,2,4,6
/proc/25676/stat : 25676 (glucose) R 25675 23904 20162 0 -1 4202500 10988 0 0 0 722 3 0 0 20 0 1 0 285481239 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25676/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 53.04
Current children cumulated vsize (KiB) 38204
[startup+53.2004 s]
/proc/loadavg: 1.84 1.83 1.75 3/181 25935
/proc/meminfo: memFree=29713016/32873852 swapFree=7624/7624
################
# More data... #
################
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=13422] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13422/stat : 13422 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285618418 9367552 266 33554432000 4194304 5064252 140737211423888 140737211422800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13422/statm: 2287 266 226 213 0 72 0
[pid=13424] ppid=13422 vsize=48124 CPUtime=4.68 cores=0,2,4,6
/proc/13424/stat : 13424 (glucose) R 13422 23904 20162 0 -1 4202496 10711 0 0 0 466 2 0 0 20 0 1 0 285618418 49278976 10843 33554432000 4194304 5208918 140735141454752 140735141452600 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13424/statm: 12031 10843 95 248 0 11780 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 86328
[startup+1482.3 s]
/proc/loadavg: 1.88 1.86 1.82 3/181 15876
/proc/meminfo: memFree=29711764/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1478.19 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 444831 3146808 0 0 1686 260 143030 2843 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=15760] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15760/stat : 15760 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 285624530 9367552 267 33554432000 4194304 5064252 140736828417056 140736828415968 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15760/statm: 2287 267 226 213 0 72 0
[pid=15762] ppid=15760 vsize=48120 CPUtime=3.55 cores=0,2,4,6
/proc/15762/stat : 15762 (glucose) R 15760 23904 20162 0 -1 4202496 10080 0 0 0 354 1 0 0 20 0 1 0 285624530 49274880 10805 33554432000 4194304 5208918 140737279944688 140737279942536 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15762/statm: 12030 10805 95 248 0 11779 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 86324
[startup+1542.31 s]
/proc/loadavg: 1.91 1.87 1.82 3/182 18200
/proc/meminfo: memFree=29708132/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1538.63 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 462863 3275307 0 0 1755 272 148877 2959 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=18087] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18087/stat : 18087 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285630576 9367552 266 33554432000 4194304 5064252 140736399363392 140736399362304 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/18087/statm: 2287 266 226 213 0 72 0
[pid=18088] ppid=18087 vsize=48124 CPUtime=3.09 cores=0,2,4,6
/proc/18088/stat : 18088 (glucose) R 18087 23904 20162 0 -1 4202496 10625 0 0 0 307 2 0 0 20 0 1 0 285630576 49278976 10741 33554432000 4194304 5208918 140734500648272 140734500646120 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18088/statm: 12031 10741 95 248 0 11780 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 86328
[startup+1602.3 s]
/proc/loadavg: 1.84 1.86 1.82 3/181 20481
/proc/meminfo: memFree=29706504/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1598.7 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 480895 3404536 0 0 1826 283 154687 3074 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 1 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=20394] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20394/stat : 20394 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285636584 9367552 266 33554432000 4194304 5064252 140734642998112 140734642997024 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20394/statm: 2287 266 226 213 0 72 0
[pid=20395] ppid=20394 vsize=48124 CPUtime=3.01 cores=0,2,4,6
/proc/20395/stat : 20395 (glucose) R 20394 23904 20162 0 -1 4202496 10619 0 0 0 299 2 0 0 20 0 1 0 285636584 49278976 10736 33554432000 4194304 5208918 140733268587296 140733268585144 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20395/statm: 12031 10736 95 248 0 11780 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 86328
[startup+1662.3 s]
/proc/loadavg: 2.02 1.91 1.83 3/182 22794
/proc/meminfo: memFree=29711624/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1659 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 498927 3535179 0 0 1894 294 160518 3194 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=22702] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22702/stat : 22702 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285642620 9367552 266 33554432000 4194304 5064252 140735765597120 140735765596032 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2287 266 226 213 0 72 0
[pid=22703] ppid=22702 vsize=48120 CPUtime=2.64 cores=0,2,4,6
/proc/22703/stat : 22703 (glucose) R 22702 23904 20162 0 -1 4202496 10595 0 0 0 263 1 0 0 20 0 1 0 285642621 49274880 10711 33554432000 4194304 5208918 140737247159104 140737247157512 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22703/statm: 12030 10711 95 248 0 11779 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 86324
[startup+1722.3 s]
/proc/loadavg: 1.84 1.88 1.82 3/181 25078
/proc/meminfo: memFree=29706548/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1719.48 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 516959 3664742 0 0 1957 303 166372 3316 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=25028] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25028/stat : 25028 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 285648670 9367552 267 33554432000 4194304 5064252 140733441717344 140733441716256 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25028/statm: 2287 267 226 213 0 72 0
[pid=25029] ppid=25028 vsize=47992 CPUtime=2.15 cores=0,2,4,6
/proc/25029/stat : 25029 (glucose) R 25028 23904 20162 0 -1 4202496 10556 0 0 0 213 2 0 0 20 0 1 0 285648670 49143808 10685 33554432000 4194304 5208918 140734231278656 140734231277064 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25029/statm: 11998 10685 95 248 0 11747 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 86196
[startup+1782.3 s]
/proc/loadavg: 1.94 1.90 1.83 3/180 27396
/proc/meminfo: memFree=29714056/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1779.8 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 534991 3792574 0 0 2018 314 172209 3439 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=27343] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27343/stat : 27343 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285654704 9367552 267 33554432000 4194304 5064252 140735456745536 140735456744448 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27343/statm: 2287 267 226 213 0 72 0
[pid=27344] ppid=27343 vsize=47988 CPUtime=1.81 cores=0,2,4,6
/proc/27344/stat : 27344 (glucose) R 27343 23904 20162 0 -1 4202496 10534 0 0 0 179 2 0 0 20 0 1 0 285654704 49139712 10665 33554432000 4194304 5208918 140737292501152 140737292499560 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27344/statm: 11997 10665 95 248 0 11746 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 86192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.83 1.87 1.82 3/179 28107
/proc/meminfo: memFree=29714948/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1794.99 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 539499 3825070 0 0 2034 317 173677 3471 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=27922] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27922/stat : 27922 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 285656223 9367552 267 33554432000 4194304 5064252 140735166743808 140735166742720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27922/statm: 2287 267 226 213 0 72 0
[pid=27923] ppid=27922 vsize=48124 CPUtime=4.92 cores=0,2,4,6
/proc/27923/stat : 27923 (glucose) R 27922 23904 20162 0 -1 4202496 10750 0 0 0 491 1 0 0 20 0 1 0 285656223 49278976 10863 33554432000 4194304 5208918 140736731950896 140736731948744 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27923/statm: 12031 10863 95 248 0 11780 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 86328
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 1.83 1.87 1.82 3/179 28107
/proc/meminfo: memFree=29714948/32873852 swapFree=7624/7624
[pid=23904] ppid=23902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23904/stat : 23904 (npSolver-wbo-It) S 23902 23904 20162 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285476656 9367552 275 33554432000 4194304 5064252 140733649251584 140733649250496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23904/statm: 2287 275 233 213 0 72 0
[pid=23905] ppid=23904 vsize=19908 CPUtime=1794.99 cores=0,2,4,6
/proc/23905/stat : 23905 (npSolver-wbo) S 23904 23904 20162 0 -1 4202496 539499 3825070 0 0 2034 317 173677 3471 20 0 1 0 285476656 20385792 4021 33554432000 4194304 5990268 140734822404624 140734822396032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/23905/statm: 4977 4021 177 439 0 4534 0
[pid=27922] ppid=23905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27922/stat : 27922 (satsolver.sh) S 23905 23904 20162 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 285656223 9367552 267 33554432000 4194304 5064252 140735166743808 140735166742720 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27922/statm: 2287 267 226 213 0 72 0
[pid=27923] ppid=27922 vsize=48124 CPUtime=4.92 cores=0,2,4,6
/proc/27923/stat : 27923 (glucose) R 27922 23904 20162 0 -1 4202496 10750 0 0 0 491 1 0 0 20 0 1 0 285656223 49278976 10863 33554432000 4194304 5208918 140736731950896 140736731948744 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27923/statm: 12031 10863 95 248 0 11780 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 86328
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): 0.140018
# lost CPU user time (s): 0.0399818
# lost CPU system time (s): 0.1
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1762.08
CPU system time (s): 38.0132
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 93680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.04
system time used= 37.9132
maximum resident set size= 48860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4376311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64494
involuntary context switches= 4659
runsolver used 7.08492 second user time and 15.5716 second system time
The end