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-3715028-1338193014/watcher-3715028-1338193014 -o /tmp/evaluation-result-3715028-1338193014/solver-3715028-1338193014 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715028-1338193014.wbo 1774694965 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 2/179 32402
/proc/meminfo: memFree=27263432/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[startup+0.019455 s]
/proc/loadavg: 2.02 2.02 2.00 2/179 32402
/proc/meminfo: memFree=27263432/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/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.02 2.00 2/179 32402
/proc/meminfo: memFree=27263432/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 2.02 2.02 2.00 2/179 32402
/proc/meminfo: memFree=27263432/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.02 2.02 2.00 2/179 32402
/proc/meminfo: memFree=27263432/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 32404
/proc/meminfo: memFree=27213000/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=67740 CPUtime=1.49 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) R 32402 32402 17655 0 -1 4202496 5978 0 0 0 147 2 0 0 20 0 1 0 285428222 69365760 12595 33554432000 4194304 5990268 140734697226560 140734697222440 4407648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 16935 12595 145 439 0 16492 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76888
[startup+3.10019 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 32404
/proc/meminfo: memFree=27210704/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=67876 CPUtime=2.17 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 6928 0 0 0 210 7 0 0 20 0 1 0 285428222 69505024 13145 33554432000 4194304 5990268 140734697226560 140734697219712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 16969 13145 153 439 0 16526 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 77024
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 2.02 2.02 2.00 2/183 32407
/proc/meminfo: memFree=27173424/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=69132 CPUtime=5.95 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) R 32402 32402 17655 0 -1 4202496 7266 30604 0 0 218 47 306 24 20 0 1 0 285428222 70791168 13435 33554432000 4194304 5990268 140734697226560 140734697220288 5177872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 17283 13435 157 439 0 16840 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 78280
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 32416
/proc/meminfo: memFree=27048760/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=6.21 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 10307 31118 0 0 238 50 306 27 20 0 1 0 285428222 105738240 21345 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21345 166 439 0 25372 0
[pid=32415] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32415/stat : 32415 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285428877 9367552 267 33554432000 4194304 5064252 140736431937296 140736431936208 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32415/statm: 2287 267 226 213 0 72 0
[pid=32416] ppid=32415 vsize=77344 CPUtime=6.12 cores=0,2,4,6
/proc/32416/stat : 32416 (glucose) R 32415 32402 17655 0 -1 4202496 13474 0 0 0 609 3 0 0 20 0 1 0 285428878 79200256 17798 33554432000 4194304 5208918 140736767352624 140736767350472 4229347 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32416/statm: 19336 17798 103 248 0 19085 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 198900
[startup+25.5004 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 32430
/proc/meminfo: memFree=27053900/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=18.54 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 13665 50391 0 0 257 52 1505 40 20 0 1 0 285428222 105738240 21345 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21345 166 439 0 25372 0
[pid=32429] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32429/stat : 32429 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285430113 9367552 266 33554432000 4194304 5064252 140736522342896 140736522341808 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32429/statm: 2287 266 226 213 0 72 0
[pid=32430] ppid=32429 vsize=76644 CPUtime=6.57 cores=0,2,4,6
/proc/32430/stat : 32430 (glucose) R 32429 32402 17655 0 -1 4202496 13451 0 0 0 655 2 0 0 20 0 1 0 285430113 78483456 17753 33554432000 4194304 5208918 140735217858976 140735217856808 4211176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32430/statm: 19161 17753 103 248 0 18910 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 198200
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 32437
/proc/meminfo: memFree=27048312/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=40.09 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 17023 70033 0 0 276 55 3625 53 20 0 1 0 285428222 105738240 21345 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21345 166 439 0 25372 0
[pid=32436] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32436/stat : 32436 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285432267 9367552 267 33554432000 4194304 5064252 140735373879856 140735373878768 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32436/statm: 2287 267 226 213 0 72 0
[pid=32437] ppid=32436 vsize=76612 CPUtime=10.63 cores=0,2,4,6
/proc/32437/stat : 32437 (glucose) R 32436 32402 17655 0 -1 4202496 13558 0 0 0 1060 3 0 0 20 0 1 0 285432267 78450688 17860 33554432000 4194304 5208918 140734118963424 140734118961272 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32437/statm: 19153 17860 103 248 0 18902 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 198168
[startup+102.307 s]
/proc/loadavg: 2.18 2.07 2.01 3/183 32452
/proc/meminfo: memFree=27035396/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=80.46 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 23739 108741 0 0 315 58 7594 79 20 0 1 0 285428222 105738240 21345 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21345 166 439 0 25372 0
[pid=32451] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32451/stat : 32451 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285436306 9367552 266 33554432000 4194304 5064252 140733212077120 140733212076032 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32451/statm: 2287 266 226 213 0 72 0
[pid=32452] ppid=32451 vsize=76908 CPUtime=21.44 cores=0,2,4,6
/proc/32452/stat : 32452 (glucose) R 32451 32402 17655 0 -1 4202496 12734 0 0 0 2142 2 0 0 20 0 1 0 285436306 78753792 18091 33554432000 4194304 5208918 140734500153200 140734500150952 4205238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32452/statm: 19227 18091 95 248 0 18976 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 198464
[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 32466
/proc/meminfo: memFree=27032684/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=124.13 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 27097 126877 0 0 335 60 11927 91 20 0 1 0 285428222 105738240 21345 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21345 166 439 0 25372 0
[pid=32465] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32465/stat : 32465 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285440675 9367552 267 33554432000 4194304 5064252 140735965737344 140735965736256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32465/statm: 2287 267 226 213 0 72 0
[pid=32466] ppid=32465 vsize=78296 CPUtime=37.75 cores=0,2,4,6
/proc/32466/stat : 32466 (glucose) R 32465 32402 17655 0 -1 4202496 13363 0 0 0 3773 2 0 0 20 0 1 0 285440675 80175104 18253 33554432000 4194304 5208918 140734439070928 140734439068776 4211851 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32466/statm: 19574 18253 104 248 0 19323 0
Current children cumulated CPU time (s) 161.88
Current children cumulated vsize (KiB) 199852
[startup+222.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/184 32490
/proc/meminfo: memFree=27048560/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=202.37 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 33813 165416 0 0 372 64 19684 117 20 0 1 0 285428222 105738240 21347 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21347 166 439 0 25372 0
################
# More data... #
################
/proc/32403/statm: 25815 21350 166 439 0 25372 0
[pid=32517] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32517/stat : 32517 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 285455344 9367552 267 33554432000 4194304 5064252 140734848173200 140734848172112 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32517/statm: 2287 267 226 213 0 72 0
[pid=32518] ppid=32517 vsize=74860 CPUtime=11.05 cores=0,2,4,6
/proc/32518/stat : 32518 (glucose) R 32517 32402 17655 0 -1 4202496 12360 0 0 0 1103 2 0 0 20 0 1 0 285455345 76656640 17276 33554432000 4194304 5208918 140733471082960 140733471080792 4211019 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32518/statm: 18715 17276 103 248 0 18464 0
Current children cumulated CPU time (s) 281.82
Current children cumulated vsize (KiB) 196416
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 32539
/proc/meminfo: memFree=27046348/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=314.4 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 50595 259342 0 0 462 73 30725 180 20 0 1 0 285428222 105738240 21352 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21352 166 439 0 25372 0
[pid=32538] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32538/stat : 32538 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285459710 9367552 267 33554432000 4194304 5064252 140735395633728 140735395632640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32538/statm: 2287 267 226 213 0 72 0
[pid=32539] ppid=32538 vsize=75648 CPUtime=27.39 cores=0,2,4,6
/proc/32539/stat : 32539 (glucose) R 32538 32402 17655 0 -1 4202496 12525 0 0 0 2736 3 0 0 20 0 1 0 285459710 77463552 17432 33554432000 4194304 5208918 140735179691552 140735179689400 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32539/statm: 18912 17432 103 248 0 18661 0
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (KiB) 197204
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32575
/proc/meminfo: memFree=27054764/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=393.56 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 60662 313514 0 0 512 79 38546 219 20 0 1 0 285428222 105738240 21355 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21355 166 439 0 25372 0
[pid=32574] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32574/stat : 32574 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285467628 9367552 266 33554432000 4194304 5064252 140735662833584 140735662832496 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32574/statm: 2287 266 226 213 0 72 0
[pid=32575] ppid=32574 vsize=74344 CPUtime=8.22 cores=0,2,4,6
/proc/32575/stat : 32575 (glucose) R 32574 32402 17655 0 -1 4202496 12304 0 0 0 820 2 0 0 20 0 1 0 285467629 76128256 16638 33554432000 4194304 5208918 140735477144544 140735477142392 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32575/statm: 18586 16638 103 248 0 18335 0
Current children cumulated CPU time (s) 401.78
Current children cumulated vsize (KiB) 195900
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 32575
/proc/meminfo: memFree=27055420/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=393.56 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 60662 313514 0 0 512 79 38546 219 20 0 1 0 285428222 105738240 21355 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21355 166 439 0 25372 0
[pid=32574] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32574/stat : 32574 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285467628 9367552 266 33554432000 4194304 5064252 140735662833584 140735662832496 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32574/statm: 2287 266 226 213 0 72 0
[pid=32575] ppid=32574 vsize=74936 CPUtime=15.41 cores=0,2,4,6
/proc/32575/stat : 32575 (glucose) R 32574 32402 17655 0 -1 4202496 12494 0 0 0 1539 2 0 0 20 0 1 0 285467629 76734464 15607 33554432000 4194304 5208918 140735477144544 140735477142216 4211570 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32575/statm: 18734 15607 104 248 0 18483 0
Current children cumulated CPU time (s) 408.97
Current children cumulated vsize (KiB) 196492
[startup+435.1 s]
/proc/loadavg: 2.16 2.05 2.01 3/183 32589
/proc/meminfo: memFree=27052088/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=427.66 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 67372 348898 0 0 544 82 41896 244 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
[pid=32588] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32588/stat : 32588 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285471039 9367552 267 33554432000 4194304 5064252 140734587275408 140734587274320 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32588/statm: 2287 267 226 213 0 72 0
[pid=32589] ppid=32588 vsize=72528 CPUtime=6.91 cores=0,2,4,6
/proc/32589/stat : 32589 (glucose) R 32588 32402 17655 0 -1 4202496 12154 0 0 0 689 2 0 0 20 0 1 0 285471039 74268672 14182 33554432000 4194304 5208918 140733787095920 140733787093752 4211871 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32589/statm: 18132 14182 96 248 0 17881 0
Current children cumulated CPU time (s) 434.57
Current children cumulated vsize (KiB) 194084
[startup+447.9 s]
/proc/loadavg: 2.13 2.05 2.01 3/183 32610
/proc/meminfo: memFree=27071688/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=443.86 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 75902 399455 0 0 575 86 43448 277 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
[pid=32609] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32609/stat : 32609 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285472660 9367552 266 33554432000 4194304 5064252 140733995163248 140733995162160 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32609/statm: 2287 266 226 213 0 72 0
[pid=32610] ppid=32609 vsize=44344 CPUtime=3.5 cores=0,2,4,6
/proc/32610/stat : 32610 (glucose) R 32609 32402 17655 0 -1 4202496 10259 0 0 0 348 2 0 0 20 0 1 0 285472660 45408256 9893 33554432000 4194304 5208918 140733379685088 140733379682920 4211049 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32610/statm: 11086 9893 104 248 0 10835 0
Current children cumulated CPU time (s) 447.36
Current children cumulated vsize (KiB) 165900
[startup+451.1 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 32617
/proc/meminfo: memFree=27071436/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=448.54 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 78745 415228 0 0 585 87 43895 287 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697217984 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
[pid=32616] ppid=32403 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32616/stat : 32616 (satsolver.sh) S 32403 32402 17655 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285473129 9367552 267 33554432000 4194304 5064252 140734545309776 140734545308688 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32616/statm: 2287 267 226 213 0 72 0
[pid=32617] ppid=32616 vsize=43728 CPUtime=2.02 cores=0,2,4,6
/proc/32617/stat : 32617 (glucose) R 32616 32402 17655 0 -1 4202496 9543 0 0 0 200 2 0 0 20 0 1 0 285473129 44777472 9915 33554432000 4194304 5208918 140734580408160 140734580405912 4229859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32617/statm: 10932 9915 104 248 0 10681 0
Current children cumulated CPU time (s) 450.56
Current children cumulated vsize (KiB) 165284
[startup+452.7 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 32617
/proc/meminfo: memFree=27070940/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=452.16 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) R 32402 32402 17655 0 -1 4202496 81036 430346 0 0 588 87 44244 297 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697218560 5042551 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
Current children cumulated CPU time (s) 452.16
Current children cumulated vsize (KiB) 112408
[startup+453.5 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 32624
/proc/meminfo: memFree=27031324/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=452.71 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 81595 447800 0 0 594 88 44287 302 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697217472 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
Current children cumulated CPU time (s) 452.71
Current children cumulated vsize (KiB) 112408
[startup+453.9 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 32624
/proc/meminfo: memFree=27031324/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=453.36 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 82053 459498 0 0 595 88 44331 322 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697217472 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
Current children cumulated CPU time (s) 453.36
Current children cumulated vsize (KiB) 112408
[startup+454.307 s]
/proc/loadavg: 2.03 2.03 2.00 2/182 32636
/proc/meminfo: memFree=27116312/32873648 swapFree=6848/6848
[pid=32402] ppid=32400 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32402/stat : 32402 (npSolver-wbo-It) S 32400 32402 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 285428222 9367552 275 33554432000 4194304 5064252 140733741858352 140733741857264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32402/statm: 2287 275 233 213 0 72 0
[pid=32403] ppid=32402 vsize=103260 CPUtime=453.38 cores=0,2,4,6
/proc/32403/stat : 32403 (npSolver-wbo) S 32402 32402 17655 0 -1 4202496 82077 462614 0 0 595 88 44333 322 20 0 1 0 285428222 105738240 21357 33554432000 4194304 5990268 140734697226560 140734697218560 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32403/statm: 25815 21357 166 439 0 25372 0
[pid=32636] ppid=32403 vsize=16712 CPUtime=0.01 cores=0,2,4,6
/proc/32636/stat : 32636 (cp) R 32403 32402 17655 0 -1 4202496 513 0 0 0 0 1 0 0 20 0 1 0 285473634 17113088 198 33554432000 4194304 4305796 140735075695008 140735075692952 213193147872 0 0 4096 0 0 0 0 17 2 0 0 16 0 0
/proc/32636/statm: 4178 198 157 28 0 74 0
Current children cumulated CPU time (s) 453.39
Current children cumulated vsize (KiB) 129120
Child status: 0
Real time (s): 454.333
CPU time (s): 453.45
CPU user time (s): 449.287
CPU system time (s): 4.16337
CPU usage (%): 99.8057
Max. virtual memory (cumulated for all children) (KiB): 226532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 449.287
system time used= 4.16337
maximum resident set size= 99412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1716168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4622
involuntary context switches= 1166
runsolver used 1.01984 second user time and 2.6366 second system time
The end