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-3714970-1338179581/watcher-3714970-1338179581 -o /tmp/evaluation-result-3714970-1338179581/solver-3714970-1338179581 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714970-1338179581.wbo 2062670336 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.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=30573340/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[startup+0.039782 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=30573340/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=30573340/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300197 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=30573340/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700122 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3415
/proc/meminfo: memFree=30573340/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3422
/proc/meminfo: memFree=30566000/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=8204 CPUtime=1.14 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 3069 9638 0 0 8 2 99 5 20 0 1 0 284082918 8400896 1374 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 2051 1374 164 439 0 1608 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 17352
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3429
/proc/meminfo: memFree=30534800/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=8204 CPUtime=1.14 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 3069 9638 0 0 8 2 99 5 20 0 1 0 284082918 8400896 1374 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 2051 1374 164 439 0 1608 0
[pid=3428] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3428/stat : 3428 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284083035 9367552 266 33554432000 4194304 5064252 140736150084688 140736150083600 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3428/statm: 2287 266 226 213 0 72 0
[pid=3429] ppid=3428 vsize=42908 CPUtime=1.92 cores=1,3,5,7
/proc/3429/stat : 3429 (glucose) R 3428 3415 32349 0 -1 4202496 8750 0 0 0 190 2 0 0 20 0 1 0 284083035 43937792 9372 33554432000 4194304 5208918 140734666225712 140734666223800 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3429/statm: 10727 9372 104 248 0 10476 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 69408
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3429
/proc/meminfo: memFree=30516680/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=8204 CPUtime=1.14 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 3069 9638 0 0 8 2 99 5 20 0 1 0 284082918 8400896 1374 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 2051 1374 164 439 0 1608 0
[pid=3428] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3428/stat : 3428 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284083035 9367552 266 33554432000 4194304 5064252 140736150084688 140736150083600 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3428/statm: 2287 266 226 213 0 72 0
[pid=3429] ppid=3428 vsize=45616 CPUtime=5.12 cores=1,3,5,7
/proc/3429/stat : 3429 (glucose) R 3428 3415 32349 0 -1 4202496 9201 0 0 0 510 2 0 0 20 0 1 0 284083035 46710784 10294 33554432000 4194304 5208918 140734666225712 140734666223576 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3429/statm: 11404 10294 104 248 0 11153 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 72116
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3436
/proc/meminfo: memFree=30590116/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=8.36 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 4011 23606 0 0 9 2 810 15 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3435] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3435/stat : 3435 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284083757 9367552 266 33554432000 4194304 5064252 140734878216880 140734878215792 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3435/statm: 2287 266 226 213 0 72 0
[pid=3436] ppid=3435 vsize=25768 CPUtime=4.31 cores=1,3,5,7
/proc/3436/stat : 3436 (glucose) R 3435 3415 32349 0 -1 4202496 5897 0 0 0 430 1 0 0 20 0 1 0 284083757 26386432 5864 33554432000 4194304 5208918 140734951392160 140734951390024 4229377 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3436/statm: 6442 5864 103 248 0 6191 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51548
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3443
/proc/meminfo: memFree=30550708/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=15.18 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 4387 33762 0 0 10 3 1486 19 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3442] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3442/stat : 3442 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284084438 9367552 266 33554432000 4194304 5064252 140734477967744 140734477966656 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3442/statm: 2287 266 226 213 0 72 0
[pid=3443] ppid=3442 vsize=20180 CPUtime=10.29 cores=1,3,5,7
/proc/3443/stat : 3443 (glucose) R 3442 3415 32349 0 -1 4202496 5038 0 0 0 1028 1 0 0 20 0 1 0 284084438 20664320 4644 33554432000 4194304 5208918 140733721352752 140733721350616 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3443/statm: 5045 4644 104 248 0 4794 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45960
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3443
/proc/meminfo: memFree=30524036/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=15.18 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 4387 33762 0 0 10 3 1486 19 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3442] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3442/stat : 3442 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284084438 9367552 266 33554432000 4194304 5064252 140734477967744 140734477966656 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3442/statm: 2287 266 226 213 0 72 0
[pid=3443] ppid=3442 vsize=43408 CPUtime=35.88 cores=1,3,5,7
/proc/3443/stat : 3443 (glucose) R 3442 3415 32349 0 -1 4202496 5828 0 0 0 3587 1 0 0 20 0 1 0 284084438 44449792 9043 33554432000 4194304 5208918 140733721352752 140733721350616 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3443/statm: 10852 9043 104 248 0 10601 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69188
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3458
/proc/meminfo: memFree=30531460/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=78.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 5089 54707 0 0 11 3 7822 27 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3456] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3456/stat : 3456 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284090784 9367552 267 33554432000 4194304 5064252 140735179580864 140735179579776 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3456/statm: 2287 267 226 213 0 72 0
[pid=3457] ppid=3456 vsize=28060 CPUtime=23.63 cores=1,3,5,7
/proc/3457/stat : 3457 (glucose) R 3456 3415 32349 0 -1 4202496 7093 0 0 0 2361 2 0 0 20 0 1 0 284090784 28733440 5681 33554432000 4194304 5208918 140737472963024 140737472960968 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3457/statm: 7015 5681 104 248 0 6764 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53840
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 3465
/proc/meminfo: memFree=30515100/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=128.03 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 5394 66183 0 0 11 3 12756 33 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3464] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3464/stat : 3464 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284095725 9367552 266 33554432000 4194304 5064252 140735080026304 140735080025216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3464/statm: 2287 266 226 213 0 72 0
[pid=3465] ppid=3464 vsize=34536 CPUtime=34.22 cores=1,3,5,7
/proc/3465/stat : 3465 (glucose) R 3464 3415 32349 0 -1 4202496 5388 0 0 0 3421 1 0 0 20 0 1 0 284095725 35364864 8169 33554432000 4194304 5208918 140737288837344 140737288835288 4229010 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3465/statm: 8634 8169 104 248 0 8383 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3997
/proc/meminfo: memFree=30527560/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1136.4 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 39144 0 0 0 113569 71 0 0 20 0 1 0 284105489 206680064 44057 33554432000 4194304 5208918 140735562863184 140735562861336 4229580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 44057 105 248 0 50208 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 227616
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3997
/proc/meminfo: memFree=30499112/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1196.39 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 40837 0 0 0 119565 74 0 0 20 0 1 0 284105489 206680064 48153 33554432000 4194304 5208918 140735562863184 140735562858920 4229326 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 48153 105 248 0 50208 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 227616
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3997
/proc/meminfo: memFree=30463088/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=251924 CPUtime=1256.37 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 43372 0 0 0 125559 78 0 0 20 0 1 0 284105489 257970176 52550 33554432000 4194304 5208918 140735562863184 140735562859560 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 62981 52550 105 248 0 62730 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 277704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3997
/proc/meminfo: memFree=30481184/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1316.36 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 45879 0 0 0 131552 84 0 0 20 0 1 0 284105489 206680064 43545 33554432000 4194304 5208918 140735562863184 140735562861336 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 43545 105 248 0 50208 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 227616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3997
/proc/meminfo: memFree=30472824/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1376.33 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 47582 0 0 0 137546 87 0 0 20 0 1 0 284105489 206680064 46105 33554432000 4194304 5208918 140735562863184 140735562859560 4229570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 46105 105 248 0 50208 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 227616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4001
/proc/meminfo: memFree=30454728/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1436.32 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 49271 0 0 0 143541 91 0 0 20 0 1 0 284105489 206680064 49177 33554432000 4194304 5208918 140735562863184 140735562859560 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 49177 105 248 0 50208 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 227616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4024
/proc/meminfo: memFree=30448992/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=251924 CPUtime=1496.31 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 51799 0 0 0 149535 96 0 0 20 0 1 0 284105489 257970176 51014 33554432000 4194304 5208918 140735562863184 140735562861336 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 62981 51014 105 248 0 62730 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 277704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4024
/proc/meminfo: memFree=30404900/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=251924 CPUtime=1556.29 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 53498 0 0 0 155530 99 0 0 20 0 1 0 284105489 257970176 52550 33554432000 4194304 5208918 140735562863184 140735562859560 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 62981 52550 105 248 0 62730 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 277704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 4024
/proc/meminfo: memFree=30476440/32873844 swapFree=6600/6600
[pid=3415] ppid=3413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (npSolver-wbo-It) S 3413 3415 32349 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284082918 9367552 274 33554432000 4194304 5064252 140735684901776 140735684900688 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3415/statm: 2287 274 233 213 0 72 0
[pid=3416] ppid=3415 vsize=7484 CPUtime=225.63 cores=1,3,5,7
/proc/3416/stat : 3416 (npSolver-wbo) S 3415 3415 32349 0 -1 4202496 7127 135869 0 0 13 3 22495 52 20 0 1 0 284082918 7663616 1218 33554432000 4194304 5990268 140734568986416 140734568977840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3416/statm: 1871 1218 164 439 0 1428 0
[pid=3534] ppid=3416 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (satsolver.sh) S 3416 3415 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284105489 9367552 267 33554432000 4194304 5064252 140736210618400 140736210617312 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3534/statm: 2287 267 226 213 0 72 0
[pid=3535] ppid=3534 vsize=201836 CPUtime=1574.39 cores=1,3,5,7
/proc/3535/stat : 3535 (glucose) R 3534 3415 32349 0 -1 4202496 54330 0 0 0 157338 101 0 0 20 0 1 0 284105489 206680064 43545 33554432000 4194304 5208918 140735562863184 140735562861336 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3535/statm: 50459 43545 105 248 0 50208 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 227616
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.07
CPU user time (s): 1798.48
CPU system time (s): 1.59076
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 327024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.48
system time used= 1.59076
maximum resident set size= 269108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 2030
runsolver used 3.50647 second user time and 9.1936 second system time
The end