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-3752943-1339200870/watcher-3752943-1339200870 -o /tmp/evaluation-result-3752943-1339200870/solver-3752943-1339200870 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752943-1339200870.wbo 1036930659 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.03 2.01 2.00 4/179 7319
/proc/meminfo: memFree=31305392/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[startup+0.0799671 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 7319
/proc/meminfo: memFree=31305392/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 7319
/proc/meminfo: memFree=31305392/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 7319
/proc/meminfo: memFree=31305392/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.03 2.01 2.00 4/179 7319
/proc/meminfo: memFree=31305392/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7326
/proc/meminfo: memFree=31300764/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 1947 2718 0 0 2 0 20 0 20 0 1 0 386213120 3162112 365 33554432000 4194304 6006132 140734588859888 140734588854080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7320/statm: 772 365 158 443 0 325 0
[pid=7325] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386213144 9367552 266 33554432000 4194304 5064252 140736829034944 140736829033856 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7325/statm: 2287 266 226 213 0 72 0
[pid=7326] ppid=7325 vsize=8548 CPUtime=1.24 cores=0,2,4,6
/proc/7326/stat : 7326 (glucose) R 7325 7319 10289 0 -1 4202496 2667 0 0 0 124 0 0 0 20 0 1 0 386213144 8753152 1699 33554432000 4194304 5208918 140735350102288 140735350100232 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7326/statm: 2137 1699 96 248 0 1886 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29932
[startup+3.10033 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7326
/proc/meminfo: memFree=31291336/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 1947 2718 0 0 2 0 20 0 20 0 1 0 386213120 3162112 365 33554432000 4194304 6006132 140734588859888 140734588854080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7320/statm: 772 365 158 443 0 325 0
[pid=7325] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386213144 9367552 266 33554432000 4194304 5064252 140736829034944 140736829033856 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7325/statm: 2287 266 226 213 0 72 0
[pid=7326] ppid=7325 vsize=12900 CPUtime=2.84 cores=0,2,4,6
/proc/7326/stat : 7326 (glucose) R 7325 7319 10289 0 -1 4202496 3251 0 0 0 284 0 0 0 20 0 1 0 386213144 13209600 2788 33554432000 4194304 5208918 140735350102288 140735350100232 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7326/statm: 3225 2788 96 248 0 2974 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34284
[startup+6.30033 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 7333
/proc/meminfo: memFree=31296252/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=3088 CPUtime=0.22 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 1947 2718 0 0 2 0 20 0 20 0 1 0 386213120 3162112 365 33554432000 4194304 6006132 140734588859888 140734588854080 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7320/statm: 772 365 158 443 0 325 0
[pid=7325] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7325/stat : 7325 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386213144 9367552 266 33554432000 4194304 5064252 140736829034944 140736829033856 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7325/statm: 2287 266 226 213 0 72 0
[pid=7326] ppid=7325 vsize=22696 CPUtime=6.04 cores=0,2,4,6
/proc/7326/stat : 7326 (glucose) R 7325 7319 10289 0 -1 4202496 3996 0 0 0 604 0 0 0 20 0 1 0 386213144 23240704 5042 33554432000 4194304 5208918 140735350102288 140735350100280 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7326/statm: 5674 5042 96 248 0 5423 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44080
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7341
/proc/meminfo: memFree=31276972/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=7.66 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 2850 9658 0 0 4 2 758 2 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=7339] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7339/stat : 7339 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386213887 9367552 267 33554432000 4194304 5064252 140733397136736 140733397135648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7339/statm: 2287 267 226 213 0 72 0
[pid=7340] ppid=7339 vsize=23608 CPUtime=5.01 cores=0,2,4,6
/proc/7340/stat : 7340 (glucose) R 7339 7319 10289 0 -1 4202496 6113 0 0 0 500 1 0 0 20 0 1 0 386213887 24174592 5557 33554432000 4194304 5208918 140737284875216 140737284873080 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7340/statm: 5902 5557 96 248 0 5651 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47928
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 4/183 7355
/proc/meminfo: memFree=31276784/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=19.15 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 3733 19927 0 0 5 2 1902 6 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=7354] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7354/stat : 7354 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386215038 9367552 266 33554432000 4194304 5064252 140734605810400 140734605809312 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7354/statm: 2287 266 226 213 0 72 0
[pid=7355] ppid=7354 vsize=25284 CPUtime=6.31 cores=0,2,4,6
/proc/7355/stat : 7355 (glucose) R 7354 7319 10289 0 -1 4202496 6162 0 0 0 630 1 0 0 20 0 1 0 386215038 25890816 5616 33554432000 4194304 5208918 140733746472016 140733746469880 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7355/statm: 6321 5616 96 248 0 6070 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 49604
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7421
/proc/meminfo: memFree=31272752/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=42.16 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 5499 39569 0 0 9 2 4189 16 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=7420] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7420/stat : 7420 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386217339 9367552 267 33554432000 4194304 5064252 140737288921232 140737288920144 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7420/statm: 2287 267 226 213 0 72 0
[pid=7421] ppid=7420 vsize=25284 CPUtime=8.89 cores=0,2,4,6
/proc/7421/stat : 7421 (glucose) R 7420 7319 10289 0 -1 4202496 6446 0 0 0 888 1 0 0 20 0 1 0 386217339 25890816 5986 33554432000 4194304 5208918 140733891710768 140733891708632 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7421/statm: 6321 5986 96 248 0 6070 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49604
[startup+102.306 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 7491
/proc/meminfo: memFree=31280696/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=99.27 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 9914 90210 0 0 18 3 9870 36 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=7490] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7490/stat : 7490 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386223051 9367552 266 33554432000 4194304 5064252 140734365860576 140734365859488 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7490/statm: 2287 266 226 213 0 72 0
[pid=7491] ppid=7490 vsize=20892 CPUtime=2.97 cores=0,2,4,6
/proc/7491/stat : 7491 (glucose) R 7490 7319 10289 0 -1 4202496 4881 0 0 0 297 0 0 0 20 0 1 0 386223051 21393408 4870 33554432000 4194304 5208918 140735895064608 140735895062552 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7491/statm: 5223 4870 96 248 0 4972 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 45212
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7561
/proc/meminfo: memFree=31272876/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=155.27 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 14329 140033 0 0 26 5 15439 57 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=7553] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/9019/statm: 2287 267 226 213 0 72 0
[pid=9020] ppid=9019 vsize=23612 CPUtime=4.74 cores=0,2,4,6
/proc/9020/stat : 9020 (glucose) R 9019 7319 10289 0 -1 4202496 6039 0 0 0 474 0 0 0 20 0 1 0 386348874 24178688 5557 33554432000 4194304 5208918 140735839459904 140735839457768 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9020/statm: 5903 5557 96 248 0 5652 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 47932
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9097
/proc/meminfo: memFree=31264132/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1414.01 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 111459 1251058 0 0 216 32 140611 542 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9089] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9089/stat : 9089 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386354562 9367552 267 33554432000 4194304 5064252 140737021498592 140737021497504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9089/statm: 2287 267 226 213 0 72 0
[pid=9090] ppid=9089 vsize=25280 CPUtime=7.86 cores=0,2,4,6
/proc/9090/stat : 9090 (glucose) R 9089 7319 10289 0 -1 4202496 6169 0 0 0 786 0 0 0 20 0 1 0 386354562 25886720 5975 33554432000 4194304 5208918 140734226369072 140734226366936 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9090/statm: 6320 5975 96 248 0 6069 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 49600
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9167
/proc/meminfo: memFree=31266980/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1481.86 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 115882 1308633 0 0 225 33 147364 564 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588850736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 15172
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/184 9248
/proc/meminfo: memFree=31277212/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1539.75 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 121172 1362689 0 0 234 35 153117 589 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9247] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9247/stat : 9247 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386367140 9367552 267 33554432000 4194304 5064252 140735564384304 140735564383216 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9247/statm: 2287 267 226 213 0 72 0
[pid=9248] ppid=9247 vsize=18208 CPUtime=2.08 cores=0,2,4,6
/proc/9248/stat : 9248 (glucose) R 9247 7319 10289 0 -1 4202496 4361 0 0 0 207 1 0 0 20 0 1 0 386367141 18644992 4223 33554432000 4194304 5208918 140736218475472 140736218473416 4229552 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9248/statm: 4552 4223 96 248 0 4301 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 42528
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9318
/proc/meminfo: memFree=31279636/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1599.11 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 125587 1412848 0 0 242 36 159021 612 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9317] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9317/stat : 9317 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386373080 9367552 267 33554432000 4194304 5064252 140736024471792 140736024470704 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9317/statm: 2287 267 226 213 0 72 0
[pid=9318] ppid=9317 vsize=20888 CPUtime=2.68 cores=0,2,4,6
/proc/9318/stat : 9318 (glucose) R 9317 7319 10289 0 -1 4202496 4953 0 0 0 267 1 0 0 20 0 1 0 386373081 21389312 4869 33554432000 4194304 5208918 140734642408368 140734642406312 4229748 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9318/statm: 5222 4869 96 248 0 4971 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 45208
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9393
/proc/meminfo: memFree=31292704/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1656.45 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 130002 1463643 0 0 249 37 164726 633 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9387] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9387/stat : 9387 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386378819 9367552 267 33554432000 4194304 5064252 140733752181168 140733752180080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9387/statm: 2287 267 226 213 0 72 0
[pid=9388] ppid=9387 vsize=23608 CPUtime=5.29 cores=0,2,4,6
/proc/9388/stat : 9388 (glucose) R 9387 7319 10289 0 -1 4202496 5846 0 0 0 528 1 0 0 20 0 1 0 386378819 24174592 5557 33554432000 4194304 5208918 140736716345648 140736716343512 4229374 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9388/statm: 5902 5557 96 248 0 5651 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 47928
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 9465
/proc/meminfo: memFree=31278812/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1715.47 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 134417 1515299 0 0 256 38 170598 655 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9457] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9457/stat : 9457 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386384724 9367552 267 33554432000 4194304 5064252 140734292084736 140734292083648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9457/statm: 2287 267 226 213 0 72 0
[pid=9458] ppid=9457 vsize=25284 CPUtime=6.23 cores=0,2,4,6
/proc/9458/stat : 9458 (glucose) R 9457 7319 10289 0 -1 4202496 5962 0 0 0 622 1 0 0 20 0 1 0 386384725 25890816 5608 33554432000 4194304 5208918 140733337288032 140733337285896 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9458/statm: 6321 5608 96 248 0 6070 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 49604
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 9535
/proc/meminfo: memFree=31271676/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1773.19 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 138832 1568076 0 0 264 39 176339 677 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9527] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9527/stat : 9527 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386390499 9367552 266 33554432000 4194304 5064252 140734784761600 140734784760512 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9527/statm: 2287 266 226 213 0 72 0
[pid=9528] ppid=9527 vsize=25284 CPUtime=8.49 cores=0,2,4,6
/proc/9528/stat : 9528 (glucose) R 9527 7319 10289 0 -1 4202496 6458 0 0 0 848 1 0 0 20 0 1 0 386390499 25890816 5976 33554432000 4194304 5208918 140734076769600 140734076767464 4211632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9528/statm: 6321 5976 96 248 0 6070 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 49604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 9556
/proc/meminfo: memFree=31274028/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1797.48 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 140598 1588783 0 0 266 40 178756 686 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9555] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9555/stat : 9555 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386392931 9367552 266 33554432000 4194304 5064252 140733204860736 140733204859648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9555/statm: 2287 266 226 213 0 72 0
[pid=9556] ppid=9555 vsize=20896 CPUtime=2.58 cores=0,2,4,6
/proc/9556/stat : 9556 (glucose) R 9555 7319 10289 0 -1 4202496 5283 0 0 0 257 1 0 0 20 0 1 0 386392931 21397504 4865 33554432000 4194304 5208918 140735250212688 140735250210552 4231508 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 5224 4865 96 248 0 4973 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 45216
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 9556
/proc/meminfo: memFree=31274028/32873844 swapFree=7380/7380
[pid=7319] ppid=7317 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7319/stat : 7319 (npSolver-wbo-It) S 7317 7319 10289 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386213119 9367552 275 33554432000 4194304 5064252 140735208916496 140735208915408 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7319/statm: 2287 275 233 213 0 72 0
[pid=7320] ppid=7319 vsize=6024 CPUtime=1797.48 cores=0,2,4,6
/proc/7320/stat : 7320 (npSolver-wbo) S 7319 7319 10289 0 -1 4202496 140598 1588783 0 0 266 40 178756 686 20 0 1 0 386213120 6168576 1116 33554432000 4194304 6006132 140734588859888 140734588851248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7320/statm: 1506 1116 177 443 0 1059 0
[pid=9555] ppid=7320 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9555/stat : 9555 (satsolver.sh) S 7320 7319 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386392931 9367552 266 33554432000 4194304 5064252 140733204860736 140733204859648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9555/statm: 2287 266 226 213 0 72 0
[pid=9556] ppid=9555 vsize=20896 CPUtime=2.58 cores=0,2,4,6
/proc/9556/stat : 9556 (glucose) R 9555 7319 10289 0 -1 4202496 5283 0 0 0 257 1 0 0 20 0 1 0 386392931 21397504 4865 33554432000 4194304 5208918 140735250212688 140735250210552 4231508 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 5224 4865 96 248 0 4973 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 45216
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.1
CPU user time (s): 1792.81
CPU system time (s): 7.28489
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 54032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.81
system time used= 7.28489
maximum resident set size= 29864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1735653
page faults= 0
swaps= 0
block input operations= 0
block output operations= 436280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8861
involuntary context switches= 4084
runsolver used 4.06638 second user time and 9.80851 second system time
The end