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-3713589-1338184480/watcher-3713589-1338184480 -o /tmp/evaluation-result-3713589-1338184480/solver-3713589-1338184480 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713589-1338184480.wbo 1011195037 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.03 2.03 2.00 3/179 16563
/proc/meminfo: memFree=28842892/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[startup+0.0917791 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16563
/proc/meminfo: memFree=28842892/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16563
/proc/meminfo: memFree=28842892/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16563
/proc/meminfo: memFree=28842892/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700258 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 16563
/proc/meminfo: memFree=28842892/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16567
/proc/meminfo: memFree=28797724/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=6356 CPUtime=1.35 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 2795 10647 0 0 14 0 107 14 20 0 1 0 284573465 6508544 1026 33554432000 4194304 5990268 140735003528640 140735003522880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16564/statm: 1589 1026 157 439 0 1146 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 15504
[startup+3.10033 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 16570
/proc/meminfo: memFree=28818040/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=2.25 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 3952 19726 0 0 17 6 186 16 20 0 1 0 284573465 10375168 1942 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1942 164 439 0 2090 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 19280
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 16584
/proc/meminfo: memFree=28805876/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=3.68 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 4578 32002 0 0 18 6 322 22 20 0 1 0 284573465 10375168 1942 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1942 164 439 0 2090 0
[pid=16583] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16583/stat : 16583 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284573849 9367552 267 33554432000 4194304 5064252 140735293108672 140735293107584 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16583/statm: 2287 267 226 213 0 72 0
[pid=16584] ppid=16583 vsize=27988 CPUtime=2.45 cores=1,3,5,7
/proc/16584/stat : 16584 (glucose) R 16583 16563 12999 0 -1 4202496 6815 0 0 0 244 1 0 0 20 0 1 0 284573849 28659712 6435 33554432000 4194304 5208918 140737174180880 140737174178824 4343260 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16584/statm: 6997 6435 104 248 0 6746 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 56416
[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 16605
/proc/meminfo: memFree=28773916/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=12.4 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6302 73602 0 0 20 7 1178 35 20 0 1 0 284573465 10375168 1942 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1942 164 439 0 2090 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 19280
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 16626
/proc/meminfo: memFree=28836172/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=24848 CPUtime=11.66 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 6172 0 0 0 1165 1 0 0 20 0 1 0 284574848 25444352 5519 33554432000 4194304 5208918 140734595289024 140734595286888 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 6212 5519 105 248 0 5961 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 53276
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 16640
/proc/meminfo: memFree=28873436/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=38708 CPUtime=37.25 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 8118 0 0 0 3723 2 0 0 20 0 1 0 284574848 39636992 9180 33554432000 4194304 5208918 140734595289024 140734595287112 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 9677 9180 105 248 0 9426 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 67136
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16669
/proc/meminfo: memFree=28835816/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=73084 CPUtime=88.45 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 9670 0 0 0 8842 3 0 0 20 0 1 0 284574848 74838016 16395 33554432000 4194304 5208918 140734595289024 140734595285400 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 18271 16395 105 248 0 18020 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 101512
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 16669
/proc/meminfo: memFree=28805208/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=73084 CPUtime=148.43 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 10047 0 0 0 14840 3 0 0 20 0 1 0 284574848 74838016 17774 33554432000 4194304 5208918 140734595289024 140734595285400 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 18271 17774 105 248 0 18020 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 101512
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 16669
/proc/meminfo: memFree=28762072/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16703
/proc/meminfo: memFree=28567640/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=202428 CPUtime=1408.22 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 31770 0 0 0 140778 44 0 0 20 0 1 0 284574848 207286272 43145 33554432000 4194304 5208918 140734595289024 140734595285400 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 50607 43145 105 248 0 50356 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 230856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16703
/proc/meminfo: memFree=28541004/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=202428 CPUtime=1468.21 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 32610 0 0 0 146774 47 0 0 20 0 1 0 284574848 207286272 44169 33554432000 4194304 5208918 140734595289024 140734595285400 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 50607 44169 105 248 0 50356 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 230856
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 16706
/proc/meminfo: memFree=28542488/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=202428 CPUtime=1528.2 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 33435 0 0 0 152771 49 0 0 20 0 1 0 284574848 207286272 45193 33554432000 4194304 5208918 140734595289024 140734595285336 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 50607 45193 105 248 0 50356 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 230856
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28550068/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=202428 CPUtime=1588.2 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 34258 0 0 0 158768 52 0 0 20 0 1 0 284574848 207286272 45193 33554432000 4194304 5208918 140734595289024 140734595285400 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 50607 45193 105 248 0 50356 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 230856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28521756/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=202428 CPUtime=1648.18 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 35092 0 0 0 164764 54 0 0 20 0 1 0 284574848 207286272 45705 33554432000 4194304 5208918 140734595289024 140734595285400 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 50607 45705 105 248 0 50356 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 230856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28525980/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=208760 CPUtime=1708.16 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 36435 0 0 0 170759 57 0 0 20 0 1 0 284574848 213770240 47753 33554432000 4194304 5208918 140734595289024 140734595285400 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 52190 47753 105 248 0 51939 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 237188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16707
/proc/meminfo: memFree=28508620/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=258848 CPUtime=1768.16 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 36762 0 0 0 176758 58 0 0 20 0 1 0 284574848 265060352 54710 33554432000 4194304 5208918 140734595289024 140734595285336 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 64712 54710 105 248 0 64461 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 287276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16749
/proc/meminfo: memFree=28536776/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=208760 CPUtime=1786.36 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 37288 0 0 0 178576 60 0 0 20 0 1 0 284574848 213770240 49289 33554432000 4194304 5208918 140734595289024 140734595285400 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 52190 49289 105 248 0 51939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 237188
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16749
/proc/meminfo: memFree=28536776/32873844 swapFree=7384/7384
[pid=16563] ppid=16561 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16563/stat : 16563 (npSolver-wbo.sh) S 16561 16563 12999 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284573465 9367552 275 33554432000 4194304 5064252 140736566974528 140736566973440 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16563/statm: 2287 275 233 213 0 72 0
[pid=16564] ppid=16563 vsize=10132 CPUtime=13.65 cores=1,3,5,7
/proc/16564/stat : 16564 (npSolver-wbo) S 16563 16563 12999 0 -1 4202496 6659 83365 0 0 20 7 1301 37 20 0 1 0 284573465 10375168 1943 33554432000 4194304 5990268 140735003528640 140735003520080 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16564/statm: 2533 1943 165 439 0 2090 0
[pid=16625] ppid=16564 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16625/stat : 16625 (satsolver.sh) S 16564 16563 12999 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284574848 9367552 266 33554432000 4194304 5064252 140735626927664 140735626926576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16625/statm: 2287 266 226 213 0 72 0
[pid=16626] ppid=16625 vsize=208760 CPUtime=1786.36 cores=1,3,5,7
/proc/16626/stat : 16626 (glucose) R 16625 16563 12999 0 -1 4202496 37288 0 0 0 178576 60 0 0 20 0 1 0 284574848 213770240 49289 33554432000 4194304 5208918 140734595289024 140734595285400 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16626/statm: 52190 49289 105 248 0 51939 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 237188
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.99
CPU system time (s): 1.06884
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 367416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.06884
maximum resident set size= 284004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128300
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 793
involuntary context switches= 1941
runsolver used 3.12252 second user time and 8.41572 second system time
The end