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-3715080-1338254488/watcher-3715080-1338254488 -o /tmp/evaluation-result-3715080-1338254488/solver-3715080-1338254488 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715080-1338254488.wbo 1553802435 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.65 1.22 1.28 3/180 7530
/proc/meminfo: memFree=31289336/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[startup+0.072541 s]
/proc/loadavg: 1.65 1.22 1.28 3/180 7530
/proc/meminfo: memFree=31289336/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100193 s]
/proc/loadavg: 1.65 1.22 1.28 3/180 7530
/proc/meminfo: memFree=31289336/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 1.65 1.22 1.28 3/180 7530
/proc/meminfo: memFree=31289336/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700121 s]
/proc/loadavg: 1.65 1.22 1.28 3/180 7530
/proc/meminfo: memFree=31289336/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.68 1.23 1.28 3/182 7563
/proc/meminfo: memFree=31286472/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3436 CPUtime=0.98 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 1355 15020 0 0 3 0 91 4 20 0 1 0 291574260 3518464 488 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 859 488 164 439 0 416 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 12584
[startup+3.10016 s]
/proc/loadavg: 1.68 1.23 1.28 3/184 7586
/proc/meminfo: memFree=31283080/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3420 CPUtime=2.71 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 1976 24208 0 0 4 0 260 7 20 0 1 0 291574260 3502080 468 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 855 468 164 439 0 412 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 12568
[startup+6.30019 s]
/proc/loadavg: 1.68 1.23 1.28 3/184 7621
/proc/meminfo: memFree=31283308/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=2896 CPUtime=6.22 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 3051 41972 0 0 6 0 603 13 20 0 1 0 291574260 2965504 370 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 724 370 164 439 0 281 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 12044
[startup+12.7002 s]
/proc/loadavg: 1.65 1.24 1.29 2/179 7928
/proc/meminfo: memFree=31305948/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=5972 CPUtime=1.37 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 1541 0 0 0 137 0 0 0 20 0 1 0 291575392 6115328 1018 33554432000 4194304 5208918 140736318630880 140736318629032 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 1493 1018 104 248 0 1242 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27884
[startup+25.5003 s]
/proc/loadavg: 1.71 1.26 1.29 3/184 8029
/proc/meminfo: memFree=30822592/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=12824 CPUtime=14.17 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 3379 0 0 0 1416 1 0 0 20 0 1 0 291575392 13131776 2760 33554432000 4194304 5208918 140736318630880 140736318628744 4229039 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 3206 2760 104 248 0 2955 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 34736
[startup+51.1002 s]
/proc/loadavg: 1.82 1.33 1.31 3/184 8029
/proc/meminfo: memFree=30810144/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=29812 CPUtime=39.77 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 5111 0 0 0 3975 2 0 0 20 0 1 0 291575392 30527488 6238 33554432000 4194304 5208918 140736318630880 140736318628824 4229770 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 7453 6238 104 248 0 7202 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 51724
[startup+102.307 s]
/proc/loadavg: 1.92 1.43 1.35 3/184 8029
/proc/meminfo: memFree=30802948/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=35216 CPUtime=90.97 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 6996 0 0 0 9095 2 0 0 20 0 1 0 291575392 36061184 7965 33554432000 4194304 5208918 140736318630880 140736318628744 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 8804 7965 104 248 0 8553 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 57128
[startup+162.3 s]
/proc/loadavg: 1.97 1.53 1.38 3/184 8029
/proc/meminfo: memFree=30795932/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=38360 CPUtime=150.95 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 7774 0 0 0 15093 2 0 0 20 0 1 0 291575392 39280640 8899 33554432000 4194304 5208918 140736318630880 140736318628824 4212463 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 9590 8899 104 248 0 9339 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 60272
[startup+222.3 s]
/proc/loadavg: 1.99 1.62 1.42 3/184 8029
/proc/meminfo: memFree=30787180/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.81 3/184 8040
/proc/meminfo: memFree=30719712/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=102204 CPUtime=1350.76 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11043 0 0 0 135071 5 0 0 20 0 1 0 291575392 104656896 24088 33554432000 4194304 5208918 140736318630880 140736318627256 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25551 24088 105 248 0 25300 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 124116
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.82 3/184 8040
/proc/meminfo: memFree=30713880/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=102204 CPUtime=1410.76 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11044 0 0 0 141071 5 0 0 20 0 1 0 291575392 104656896 24600 33554432000 4194304 5208918 140736318630880 140736318627256 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25551 24600 105 248 0 25300 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 124116
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/184 8040
/proc/meminfo: memFree=30707844/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=102204 CPUtime=1470.74 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11044 0 0 0 147069 5 0 0 20 0 1 0 291575392 104656896 24600 33554432000 4194304 5208918 140736318630880 140736318627256 4229424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25551 24600 105 248 0 25300 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 124116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/184 8041
/proc/meminfo: memFree=30700656/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=103164 CPUtime=1530.74 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11304 0 0 0 153068 6 0 0 20 0 1 0 291575392 105639936 24840 33554432000 4194304 5208918 140736318630880 140736318628744 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25791 24840 105 248 0 25540 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 125076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/184 8041
/proc/meminfo: memFree=30694212/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=103164 CPUtime=1590.73 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11304 0 0 0 159067 6 0 0 20 0 1 0 291575392 105639936 24840 33554432000 4194304 5208918 140736318630880 140736318628744 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25791 24840 105 248 0 25540 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 125076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/184 8041
/proc/meminfo: memFree=30702776/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=103164 CPUtime=1650.72 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 11304 0 0 0 165066 6 0 0 20 0 1 0 291575392 105639936 24840 33554432000 4194304 5208918 140736318630880 140736318628744 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 25791 24840 105 248 0 25540 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 125076
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/184 8245
/proc/meminfo: memFree=30683468/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=110348 CPUtime=1710.71 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 12126 0 0 0 171065 6 0 0 20 0 1 0 291575392 112996352 26636 33554432000 4194304 5208918 140736318630880 140736318627192 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 27587 26636 105 248 0 27336 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 132260
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 8245
/proc/meminfo: memFree=30679744/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=110348 CPUtime=1770.7 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 12127 0 0 0 177064 6 0 0 20 0 1 0 291575392 112996352 27148 33554432000 4194304 5208918 140736318630880 140736318627192 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 27587 27148 105 248 0 27336 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 132260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 8245
/proc/meminfo: memFree=30678120/32873648 swapFree=7116/7116
[pid=7530] ppid=7528 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7530/stat : 7530 (npSolver-wbo-It) S 7528 7530 4099 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 291574260 9367552 274 33554432000 4194304 5064252 140735652175360 140735652174272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7530/statm: 2287 274 233 213 0 72 0
[pid=7531] ppid=7530 vsize=3616 CPUtime=11.27 cores=0,2,4,6
/proc/7531/stat : 7531 (npSolver-wbo) S 7530 7530 4099 0 -1 4202496 4201 61664 0 0 7 1 1101 18 20 0 1 0 291574260 3702784 566 33554432000 4194304 5990268 140737276733888 140737276725312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7531/statm: 904 566 164 439 0 461 0
[pid=7732] ppid=7531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7732/stat : 7732 (satsolver.sh) S 7531 7530 4099 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291575391 9367552 266 33554432000 4194304 5064252 140736429097408 140736429096320 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7732/statm: 2287 266 226 213 0 72 0
[pid=7734] ppid=7732 vsize=113068 CPUtime=1788.8 cores=0,2,4,6
/proc/7734/stat : 7734 (glucose) R 7732 7530 4099 0 -1 4202496 12128 0 0 0 178874 6 0 0 20 0 1 0 291575392 115781632 27660 33554432000 4194304 5208918 140736318630880 140736318628744 4205174 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7734/statm: 28267 27660 105 248 0 28016 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 134980
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.12
CPU user time (s): 1799.85
CPU system time (s): 0.270958
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 134980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.270958
maximum resident set size= 110640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 2100
runsolver used 4.05138 second user time and 10.1005 second system time
The end