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-3715591-1338176513/watcher-3715591-1338176513 -o /tmp/evaluation-result-3715591-1338176513/solver-3715591-1338176513 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715591-1338176513.wbo 319457934 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.19 2.06 1.91 3/177 9942
/proc/meminfo: memFree=28499912/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[startup+0.0136551 s]
/proc/loadavg: 2.19 2.06 1.91 3/177 9942
/proc/meminfo: memFree=28499912/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100222 s]
/proc/loadavg: 2.19 2.06 1.91 3/177 9942
/proc/meminfo: memFree=28499912/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300208 s]
/proc/loadavg: 2.19 2.06 1.91 3/177 9942
/proc/meminfo: memFree=28499912/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700174 s]
/proc/loadavg: 2.19 2.06 1.91 3/177 9942
/proc/meminfo: memFree=28499912/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.19 2.06 1.91 3/181 9949
/proc/meminfo: memFree=28475220/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=14716 CPUtime=0.33 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 4154 0 0 0 32 1 0 0 20 0 1 0 283776783 15069184 2328 33554432000 4194304 5990268 140733455594816 140733455587968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 3679 2328 156 439 0 3236 0
[pid=9948] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9948/stat : 9948 (cp2_pre.sh) S 9943 9942 25502 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 283776817 9367552 277 33554432000 4194304 5064252 140737015555280 140737015553984 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9948/statm: 2287 277 234 213 0 72 0
[pid=9949] ppid=9948 vsize=81404 CPUtime=1.14 cores=1,3,5,7
/proc/9949/stat : 9949 (coprocessor) R 9948 9942 25502 0 -1 4202496 15032 0 0 0 112 2 0 0 20 0 1 0 283776817 83357696 19705 33554432000 4194304 6586260 140735347497392 140735347492712 5598875 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9949/statm: 20351 19705 191 584 0 19763 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 114416
[startup+3.10021 s]
/proc/loadavg: 2.19 2.06 1.91 3/181 9956
/proc/meminfo: memFree=28413360/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=3.06 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 6809 29150 0 0 41 15 220 30 20 0 1 0 283776783 33529856 5982 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 5982 180 439 0 7743 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 41892
[startup+6.30026 s]
/proc/loadavg: 2.18 2.06 1.91 3/181 9966
/proc/meminfo: memFree=28426372/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=3.06 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 6809 29150 0 0 41 15 220 30 20 0 1 0 283776783 33529856 5982 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 5982 180 439 0 7743 0
[pid=9965] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9965/stat : 9965 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283777091 9367552 267 33554432000 4194304 5064252 140737121724624 140737121723536 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9965/statm: 2287 267 226 213 0 72 0
[pid=9966] ppid=9965 vsize=63876 CPUtime=3.21 cores=1,3,5,7
/proc/9966/stat : 9966 (glucose) R 9965 9942 25502 0 -1 4202496 12720 0 0 0 319 2 0 0 20 0 1 0 283777091 65409024 13741 33554432000 4194304 5208918 140735189162624 140735189160472 4229332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9966/statm: 15969 13741 103 248 0 15718 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 114916
[startup+12.7002 s]
/proc/loadavg: 2.16 2.05 1.91 3/181 9987
/proc/meminfo: memFree=28425404/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=8.86 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 9859 49254 0 0 47 16 784 39 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=9979] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9979/stat : 9979 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283777672 9367552 267 33554432000 4194304 5064252 140735530811392 140735530810304 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9979/statm: 2287 267 226 213 0 72 0
[pid=9980] ppid=9979 vsize=59456 CPUtime=3.79 cores=1,3,5,7
/proc/9980/stat : 9980 (glucose) R 9979 9942 25502 0 -1 4202496 12950 0 0 0 377 2 0 0 20 0 1 0 283777672 60882944 12896 33554432000 4194304 5208918 140735215574928 140735215572888 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9980/statm: 14864 12896 104 248 0 14613 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 110496
[startup+25.5004 s]
/proc/loadavg: 2.13 2.05 1.91 3/181 10015
/proc/meminfo: memFree=28421712/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=20.57 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 15955 90163 0 0 60 18 1920 59 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=10007] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10007/stat : 10007 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283778841 9367552 267 33554432000 4194304 5064252 140736727308912 140736727307824 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10007/statm: 2287 267 226 213 0 72 0
[pid=10008] ppid=10007 vsize=59592 CPUtime=4.9 cores=1,3,5,7
/proc/10008/stat : 10008 (glucose) R 10007 9942 25502 0 -1 4202496 13849 0 0 0 488 2 0 0 20 0 1 0 283778841 61022208 13783 33554432000 4194304 5208918 140734381844656 140734381842744 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10008/statm: 14898 13783 104 248 0 14647 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 110632
[startup+51.1002 s]
/proc/loadavg: 2.08 2.05 1.91 3/181 10085
/proc/meminfo: memFree=28425436/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=49.72 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 31195 193382 0 0 92 22 4752 106 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=10084] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10084/stat : 10084 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283781759 9367552 266 33554432000 4194304 5064252 140737229611200 140737229610112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10084/statm: 2287 266 226 213 0 72 0
[pid=10085] ppid=10084 vsize=63284 CPUtime=1.33 cores=1,3,5,7
/proc/10085/stat : 10085 (glucose) R 10084 9942 25502 0 -1 4202496 12782 0 0 0 131 2 0 0 20 0 1 0 283781759 64802816 13313 33554432000 4194304 5208918 140735592770112 140735592768056 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10085/statm: 15821 13313 103 248 0 15570 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 114324
[startup+102.306 s]
/proc/loadavg: 2.03 2.04 1.91 3/181 10219
/proc/meminfo: memFree=28406936/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=101.63 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 58627 381342 0 0 151 30 9794 188 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=10218] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10218/stat : 10218 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283786952 9367552 266 33554432000 4194304 5064252 140735152677440 140735152676352 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10218/statm: 2287 266 226 213 0 72 0
[pid=10219] ppid=10218 vsize=58200 CPUtime=0.6 cores=1,3,5,7
/proc/10219/stat : 10219 (glucose) R 10218 9942 25502 0 -1 4202496 12254 0 0 0 59 1 0 0 20 0 1 0 283786952 59596800 13322 33554432000 4194304 5208918 140733780695280 140733780693224 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10219/statm: 14550 13322 103 248 0 14299 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 109240
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/181 10373
/proc/meminfo: memFree=28420488/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=159.44 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 89107 588153 0 0 215 38 15406 285 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 11 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=10372] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10372/stat : 10372 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283792748 9367552 266 33554432000 4194304 5064252 140735574252432 140735574251344 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 2287 266 226 213 0 72 0
[pid=10373] ppid=10372 vsize=63552 CPUtime=2.64 cores=1,3,5,7
/proc/10373/stat : 10373 (glucose) R 10372 9942 25502 0 -1 4202496 12475 0 0 0 263 1 0 0 20 0 1 0 283792748 65077248 13576 33554432000 4194304 5208918 140734126926608 140734126924456 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10373/statm: 15888 13576 103 248 0 15637 0
Current children cumulated CPU time (s) 162.08
################
# More data... #
################
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1354.72 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 716995 4819611 0 0 1549 213 131454 2256 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=13500] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13500/stat : 13500 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283912483 9367552 266 33554432000 4194304 5064252 140736960299920 140736960298832 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13500/statm: 2287 266 226 213 0 72 0
[pid=13501] ppid=13500 vsize=64012 CPUtime=5.28 cores=1,3,5,7
/proc/13501/stat : 13501 (glucose) R 13500 9942 25502 0 -1 4202496 13809 0 0 0 526 2 0 0 20 0 1 0 283912483 65548288 13780 33554432000 4194304 5208918 140736732416624 140736732414472 4229780 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13501/statm: 16003 13780 104 248 0 15752 0
Current children cumulated CPU time (s) 1360
Current children cumulated vsize (KiB) 115052
[startup+1422.31 s]
/proc/loadavg: 2.15 2.05 2.00 3/181 13669
/proc/meminfo: memFree=28425448/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1419.06 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 750523 5046898 0 0 1619 223 137703 2361 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=13668] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13668/stat : 13668 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283918932 9367552 267 33554432000 4194304 5064252 140736252350080 140736252348992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13668/statm: 2287 267 226 213 0 72 0
[pid=13669] ppid=13668 vsize=58332 CPUtime=0.8 cores=1,3,5,7
/proc/13669/stat : 13669 (glucose) R 13668 9942 25502 0 -1 4202496 12064 0 0 0 78 2 0 0 20 0 1 0 283918932 59731968 12630 33554432000 4194304 5208918 140736982325856 140736982323704 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13669/statm: 14583 12630 103 248 0 14332 0
Current children cumulated CPU time (s) 1419.86
Current children cumulated vsize (KiB) 109372
[startup+1482.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/181 13823
/proc/meminfo: memFree=28419900/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1477.38 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 781003 5254461 0 0 1684 232 143364 2458 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=13815] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13815/stat : 13815 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283924766 9367552 266 33554432000 4194304 5064252 140737391430768 140737391429680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13815/statm: 2287 266 226 213 0 72 0
[pid=13816] ppid=13815 vsize=63560 CPUtime=2.45 cores=1,3,5,7
/proc/13816/stat : 13816 (glucose) R 13815 9942 25502 0 -1 4202496 12828 0 0 0 244 1 0 0 20 0 1 0 283924767 65085440 13880 33554432000 4194304 5208918 140736125093696 140736125091544 4212881 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 15890 13880 103 248 0 15639 0
Current children cumulated CPU time (s) 1479.83
Current children cumulated vsize (KiB) 114600
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/181 13977
/proc/meminfo: memFree=28421440/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1535.44 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 811483 5458864 0 0 1749 240 149001 2554 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=13969] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13969/stat : 13969 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283930586 9367552 266 33554432000 4194304 5064252 140734216961056 140734216959968 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13969/statm: 2287 266 226 213 0 72 0
[pid=13970] ppid=13969 vsize=59456 CPUtime=4.25 cores=1,3,5,7
/proc/13970/stat : 13970 (glucose) R 13969 9942 25502 0 -1 4202496 13737 0 0 0 423 2 0 0 20 0 1 0 283930586 60882944 13676 33554432000 4194304 5208918 140735621245856 140735621243944 4229507 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13970/statm: 14864 13676 104 248 0 14613 0
Current children cumulated CPU time (s) 1539.69
Current children cumulated vsize (KiB) 110496
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/180 14124
/proc/meminfo: memFree=28415500/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1599.28 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 845011 5685276 0 0 1819 250 155201 2658 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
Current children cumulated CPU time (s) 1599.28
Current children cumulated vsize (KiB) 41892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14286
/proc/meminfo: memFree=28421496/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1656.96 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 875491 5889690 0 0 1884 259 160802 2751 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=14285] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14285/stat : 14285 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283942750 9367552 267 33554432000 4194304 5064252 140736320653424 140736320652336 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14285/statm: 2287 267 226 213 0 72 0
[pid=14286] ppid=14285 vsize=63556 CPUtime=2.61 cores=1,3,5,7
/proc/14286/stat : 14286 (glucose) R 14285 9942 25502 0 -1 4202496 12560 0 0 0 259 2 0 0 20 0 1 0 283942750 65081344 13109 33554432000 4194304 5208918 140735796401936 140735796399784 4229577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14286/statm: 15889 13109 103 248 0 15638 0
Current children cumulated CPU time (s) 1659.57
Current children cumulated vsize (KiB) 114596
[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/182 14443
/proc/meminfo: memFree=28414740/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1715.22 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 905971 6099187 0 0 1949 267 166457 2849 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=14435] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14435/stat : 14435 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283948580 9367552 267 33554432000 4194304 5064252 140736846063008 140736846061920 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14435/statm: 2287 267 226 213 0 72 0
[pid=14436] ppid=14435 vsize=59460 CPUtime=4.31 cores=1,3,5,7
/proc/14436/stat : 14436 (glucose) R 14435 9942 25502 0 -1 4202496 13719 0 0 0 429 2 0 0 20 0 1 0 283948581 60887040 13668 33554432000 4194304 5208918 140736530230432 140736530228520 4212881 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14436/statm: 14865 13668 104 248 0 14614 0
Current children cumulated CPU time (s) 1719.53
Current children cumulated vsize (KiB) 110500
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 14600
/proc/meminfo: memFree=28451248/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1779.3 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 939499 6325892 0 0 2021 276 172680 2953 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
Current children cumulated CPU time (s) 1779.3
Current children cumulated vsize (KiB) 41892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.91 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 14698
/proc/meminfo: memFree=28480940/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1796.76 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 948643 6388301 0 0 2040 278 174377 2981 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=14697] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14697/stat : 14697 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283956742 9367552 267 33554432000 4194304 5064252 140734784399472 140734784398384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14697/statm: 2287 267 226 213 0 72 0
[pid=14698] ppid=14697 vsize=63876 CPUtime=3.3 cores=1,3,5,7
/proc/14698/stat : 14698 (glucose) R 14697 9942 25502 0 -1 4202496 12772 0 0 0 329 1 0 0 20 0 1 0 283956742 65409024 14343 33554432000 4194304 5208918 140735196703872 140735196701832 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14698/statm: 15969 14344 103 248 0 15718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 114916
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802.91 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 14698
/proc/meminfo: memFree=28480940/32873624 swapFree=7104/7104
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-It) S 9940 9942 25502 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283776783 9367552 275 33554432000 4194304 5064252 140737017022064 140737017020976 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=32744 CPUtime=1796.76 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 25502 0 -1 4202496 948643 6388301 0 0 2040 278 174377 2981 20 0 1 0 283776783 33529856 6225 33554432000 4194304 5990268 140733455594816 140733455586224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 44 0 0
/proc/9943/statm: 8186 6225 181 439 0 7743 0
[pid=14697] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14697/stat : 14697 (satsolver.sh) S 9943 9942 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283956742 9367552 267 33554432000 4194304 5064252 140734784399472 140734784398384 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14697/statm: 2287 267 226 213 0 72 0
[pid=14698] ppid=14697 vsize=63876 CPUtime=3.3 cores=1,3,5,7
/proc/14698/stat : 14698 (glucose) R 14697 9942 25502 0 -1 4202496 12772 0 0 0 329 1 0 0 20 0 1 0 283956742 65409024 14343 33554432000 4194304 5208918 140735196703872 140735196701832 4229528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14698/statm: 15969 14344 103 248 0 15718 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 114916
Child status: 0
Real time (s): 1802.92
CPU time (s): 1800.12
CPU user time (s): 1767.48
CPU system time (s): 32.631
CPU usage (%): 99.8446
Max. virtual memory (cumulated for all children) (KiB): 131896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.48
system time used= 32.631
maximum resident set size= 94860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7350706
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5663544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131864
involuntary context switches= 8064
runsolver used 3.41748 second user time and 8.08077 second system time
The end