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-3713623-1338186378/watcher-3713623-1338186378 -o /tmp/evaluation-result-3713623-1338186378/solver-3713623-1338186378 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713623-1338186378.wbo 1515155789 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.02 2.05 2.03 3/179 954
/proc/meminfo: memFree=27891240/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[startup+0.0863289 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 954
/proc/meminfo: memFree=27891240/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 954
/proc/meminfo: memFree=27891240/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300224 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 954
/proc/meminfo: memFree=27891240/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 2.02 2.05 2.03 3/179 954
/proc/meminfo: memFree=27891240/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.02 2.05 2.03 3/181 956
/proc/meminfo: memFree=27876928/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=34876 CPUtime=1.48 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) R 954 954 26029 0 -1 4202496 3016 0 0 0 148 0 0 0 20 0 1 0 284765168 35713024 5031 33554432000 4194304 5990268 140737432533232 140737432528472 4569535 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/955/statm: 8719 5031 136 439 0 8276 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44024
[startup+3.1003 s]
/proc/loadavg: 2.02 2.05 2.03 3/181 956
/proc/meminfo: memFree=27842672/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=68256 CPUtime=2.98 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 6916 0 0 0 291 7 0 0 20 0 1 0 284765168 69894144 12051 33554432000 4194304 5990268 140737432533232 140737432526384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 17064 12051 149 439 0 16621 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 77404
[startup+6.30034 s]
/proc/loadavg: 2.02 2.05 2.03 3/181 965
/proc/meminfo: memFree=27811628/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=142276 CPUtime=6.28 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) R 954 954 26029 0 -1 4202496 12090 27989 0 0 339 61 211 17 20 0 1 0 284765168 145690624 29264 33554432000 4194304 5990268 140737432533232 140737432525240 4521661 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/955/statm: 35569 29264 162 439 0 35126 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 151424
[startup+12.7004 s]
/proc/loadavg: 2.01 2.05 2.03 3/184 969
/proc/meminfo: memFree=27442872/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/967/stat : 967 (satsolver.sh) S 955 954 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284765857 9367552 266 33554432000 4194304 5064252 140736102611760 140736102610672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/967/statm: 2287 266 226 213 0 72 0
[pid=968] ppid=967 vsize=223064 CPUtime=5.79 cores=1,3,5,7
/proc/968/stat : 968 (glucose) R 967 954 26029 0 -1 4202496 33902 0 0 0 571 8 0 0 20 0 1 0 284765858 228417536 45698 33554432000 4194304 5208918 140733624108272 140733624106024 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/968/statm: 55766 45698 96 248 0 55515 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 416404
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 2.02 3/184 969
/proc/meminfo: memFree=27447748/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/967/stat : 967 (satsolver.sh) S 955 954 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284765857 9367552 266 33554432000 4194304 5064252 140736102611760 140736102610672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/967/statm: 2287 266 226 213 0 72 0
[pid=968] ppid=967 vsize=223224 CPUtime=18.59 cores=1,3,5,7
/proc/968/stat : 968 (glucose) R 967 954 26029 0 -1 4202496 33917 0 0 0 1851 8 0 0 20 0 1 0 284765858 228581376 45713 33554432000 4194304 5208918 140733624108272 140733624105944 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/968/statm: 55806 45713 96 248 0 55555 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 416564
[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.02 3/184 969
/proc/meminfo: memFree=27447344/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/967/stat : 967 (satsolver.sh) S 955 954 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284765857 9367552 266 33554432000 4194304 5064252 140736102611760 140736102610672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/967/statm: 2287 266 226 213 0 72 0
[pid=968] ppid=967 vsize=223224 CPUtime=44.18 cores=1,3,5,7
/proc/968/stat : 968 (glucose) R 967 954 26029 0 -1 4202496 33938 0 0 0 4410 8 0 0 20 0 1 0 284765858 228581376 45734 33554432000 4194304 5208918 140733624108272 140733624105944 4210905 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/968/statm: 55806 45734 96 248 0 55555 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 416564
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.02 3/183 969
/proc/meminfo: memFree=27444908/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/967/stat : 967 (satsolver.sh) S 955 954 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284765857 9367552 266 33554432000 4194304 5064252 140736102611760 140736102610672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/967/statm: 2287 266 226 213 0 72 0
[pid=968] ppid=967 vsize=226012 CPUtime=95.38 cores=1,3,5,7
/proc/968/stat : 968 (glucose) R 967 954 26029 0 -1 4202496 34281 0 0 0 9530 8 0 0 20 0 1 0 284765858 231436288 46077 33554432000 4194304 5208918 140733624108272 140733624106104 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/968/statm: 56503 46077 103 248 0 56252 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 419352
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/183 969
/proc/meminfo: memFree=27445408/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/967/stat : 967 (satsolver.sh) S 955 954 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284765857 9367552 266 33554432000 4194304 5064252 140736102611760 140736102610672 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/967/statm: 2287 266 226 213 0 72 0
[pid=968] ppid=967 vsize=226012 CPUtime=155.37 cores=1,3,5,7
/proc/968/stat : 968 (glucose) R 967 954 26029 0 -1 4202496 34283 0 0 0 15529 8 0 0 20 0 1 0 284765858 231436288 46079 33554432000 4194304 5208918 140733624108272 140733624106104 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/968/statm: 56503 46079 103 248 0 56252 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 419352
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/183 969
/proc/meminfo: memFree=27444776/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=6.88 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 12996 27989 0 0 389 71 211 17 20 0 1 0 284765168 179245056 37969 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 37969 163 439 0 43318 0
[pid=967] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1040
/proc/meminfo: memFree=28568024/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=763.66 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 19065 71946 0 0 469 81 75760 56 20 0 1 0 284765168 179245056 36433 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 36433 163 439 0 43318 0
[pid=982] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/982/stat : 982 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284841549 9367552 267 33554432000 4194304 5064252 140736528758272 140736528757184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/982/statm: 2287 267 226 213 0 72 0
[pid=983] ppid=982 vsize=227124 CPUtime=598.38 cores=1,3,5,7
/proc/983/stat : 983 (glucose) R 982 954 26029 0 -1 4202496 35232 0 0 0 59829 9 0 0 20 0 1 0 284841549 232574976 45167 33554432000 4194304 5208918 140734710360256 140734710358104 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/983/statm: 56781 45167 105 248 0 56530 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 420464
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 1040
/proc/meminfo: memFree=28566452/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=763.66 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 19065 71946 0 0 469 81 75760 56 20 0 1 0 284765168 179245056 36433 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 36433 163 439 0 43318 0
[pid=982] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/982/stat : 982 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284841549 9367552 267 33554432000 4194304 5064252 140736528758272 140736528757184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/982/statm: 2287 267 226 213 0 72 0
[pid=983] ppid=982 vsize=228000 CPUtime=658.37 cores=1,3,5,7
/proc/983/stat : 983 (glucose) R 982 954 26029 0 -1 4202496 35454 0 0 0 65828 9 0 0 20 0 1 0 284841549 233472000 45482 33554432000 4194304 5208918 140734710360256 140734710358104 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/983/statm: 57000 45482 105 248 0 56749 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 421340
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 1043
/proc/meminfo: memFree=28558052/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=763.66 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 19065 71946 0 0 469 81 75760 56 20 0 1 0 284765168 179245056 36433 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 36433 163 439 0 43318 0
[pid=982] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/982/stat : 982 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284841549 9367552 267 33554432000 4194304 5064252 140736528758272 140736528757184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/982/statm: 2287 267 226 213 0 72 0
[pid=983] ppid=982 vsize=228680 CPUtime=718.35 cores=1,3,5,7
/proc/983/stat : 983 (glucose) R 982 954 26029 0 -1 4202496 35606 0 0 0 71826 9 0 0 20 0 1 0 284841549 234168320 46539 33554432000 4194304 5208918 140734710360256 140734710358104 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/983/statm: 57170 46539 105 248 0 56919 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 422020
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 1044
/proc/meminfo: memFree=28553064/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=763.66 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 19065 71946 0 0 469 81 75760 56 20 0 1 0 284765168 179245056 36433 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 36433 163 439 0 43318 0
[pid=982] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/982/stat : 982 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284841549 9367552 267 33554432000 4194304 5064252 140736528758272 140736528757184 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/982/statm: 2287 267 226 213 0 72 0
[pid=983] ppid=982 vsize=230180 CPUtime=778.33 cores=1,3,5,7
/proc/983/stat : 983 (glucose) R 982 954 26029 0 -1 4202496 35933 0 0 0 77824 9 0 0 20 0 1 0 284841549 235704320 47377 33554432000 4194304 5208918 140734710360256 140734710356568 4211141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/983/statm: 57545 47377 105 248 0 57294 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 423520
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 1051
/proc/meminfo: memFree=28593820/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=1579.84 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 25305 114531 0 0 542 90 157262 90 20 0 1 0 284765168 179245056 34898 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 34898 164 439 0 43318 0
[pid=1050] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284923182 9367552 267 33554432000 4194304 5064252 140733346576800 140733346575712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1050/statm: 2287 267 226 213 0 72 0
[pid=1051] ppid=1050 vsize=167616 CPUtime=22.14 cores=1,3,5,7
/proc/1051/stat : 1051 (glucose) R 1050 954 26029 0 -1 4202496 30647 0 0 0 2207 7 0 0 20 0 1 0 284923182 171638784 38691 33554432000 4194304 5208918 140734758037152 140734758035112 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1051/statm: 41904 38691 104 248 0 41653 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 360956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 1051
/proc/meminfo: memFree=28591208/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=1579.84 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 25305 114531 0 0 542 90 157262 90 20 0 1 0 284765168 179245056 34898 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 34898 164 439 0 43318 0
[pid=1050] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284923182 9367552 267 33554432000 4194304 5064252 140733346576800 140733346575712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1050/statm: 2287 267 226 213 0 72 0
[pid=1051] ppid=1050 vsize=168836 CPUtime=82.11 cores=1,3,5,7
/proc/1051/stat : 1051 (glucose) R 1050 954 26029 0 -1 4202496 30938 0 0 0 8204 7 0 0 20 0 1 0 284923182 172888064 39013 33554432000 4194304 5208918 140734758037152 140734758034824 4211049 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1051/statm: 42209 39013 104 248 0 41958 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 362176
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 1060
/proc/meminfo: memFree=28648716/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=1579.84 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 25305 114531 0 0 542 90 157262 90 20 0 1 0 284765168 179245056 34898 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 34898 164 439 0 43318 0
[pid=1050] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284923182 9367552 267 33554432000 4194304 5064252 140733346576800 140733346575712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1050/statm: 2287 267 226 213 0 72 0
[pid=1051] ppid=1050 vsize=168968 CPUtime=142.11 cores=1,3,5,7
/proc/1051/stat : 1051 (glucose) R 1050 954 26029 0 -1 4202496 31013 0 0 0 14203 8 0 0 20 0 1 0 284923182 173023232 39292 33554432000 4194304 5208918 140734758037152 140734758035000 4211141 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1051/statm: 42242 39292 104 248 0 41991 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 362308
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 1060
/proc/meminfo: memFree=28644904/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=1579.84 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 25305 114531 0 0 542 90 157262 90 20 0 1 0 284765168 179245056 34898 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 34898 164 439 0 43318 0
[pid=1050] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284923182 9367552 267 33554432000 4194304 5064252 140733346576800 140733346575712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1050/statm: 2287 267 226 213 0 72 0
[pid=1051] ppid=1050 vsize=171016 CPUtime=202.1 cores=1,3,5,7
/proc/1051/stat : 1051 (glucose) R 1050 954 26029 0 -1 4202496 31486 0 0 0 20202 8 0 0 20 0 1 0 284923182 175120384 39765 33554432000 4194304 5208918 140734758037152 140734758035000 4211162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1051/statm: 42754 39765 104 248 0 42503 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 364356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 1060
/proc/meminfo: memFree=28642616/32873648 swapFree=7116/7116
[pid=954] ppid=952 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/954/stat : 954 (npSolver-wbo.sh) S 952 954 26029 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284765168 9367552 275 33554432000 4194304 5064252 140735396972608 140735396971520 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/954/statm: 2287 275 233 213 0 72 0
[pid=955] ppid=954 vsize=175044 CPUtime=1579.84 cores=1,3,5,7
/proc/955/stat : 955 (npSolver-wbo) S 954 954 26029 0 -1 4202496 25305 114531 0 0 542 90 157262 90 20 0 1 0 284765168 179245056 34898 33554432000 4194304 5990268 140737432533232 140737432524672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/955/statm: 43761 34898 164 439 0 43318 0
[pid=1050] ppid=955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (satsolver.sh) S 955 954 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284923182 9367552 267 33554432000 4194304 5064252 140733346576800 140733346575712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1050/statm: 2287 267 226 213 0 72 0
[pid=1051] ppid=1050 vsize=171456 CPUtime=220.2 cores=1,3,5,7
/proc/1051/stat : 1051 (glucose) R 1050 954 26029 0 -1 4202496 31585 0 0 0 22012 8 0 0 20 0 1 0 284923182 175570944 40375 33554432000 4194304 5208918 140734758037152 140734758035000 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1051/statm: 42864 40375 104 248 0 42613 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 364796
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.18
CPU system time (s): 1.89671
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 491588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 1.89671
maximum resident set size= 242888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 618456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1409
involuntary context switches= 1892
runsolver used 3.34249 second user time and 8.33973 second system time
The end