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-3754294-1339188921/watcher-3754294-1339188921 -o /tmp/evaluation-result-3754294-1339188921/solver-3754294-1339188921 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754294-1339188921.wbo 1131121838 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 10482
/proc/meminfo: memFree=31397284/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[startup+0.078455 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 10482
/proc/meminfo: memFree=31397284/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100317 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 10482
/proc/meminfo: memFree=31397284/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 10482
/proc/meminfo: memFree=31397284/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 10482
/proc/meminfo: memFree=31397284/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 10496
/proc/meminfo: memFree=31328960/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=37908 CPUtime=0.28 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 4949 5549 0 0 17 4 7 0 20 0 1 0 385019125 38817792 7663 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 9477 7663 179 443 0 9030 0
[pid=10495] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10495/stat : 10495 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019155 9367552 267 33554432000 4194304 5064252 140733716390240 140733716389152 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10495/statm: 2287 267 226 213 0 72 0
[pid=10496] ppid=10495 vsize=30860 CPUtime=1.18 cores=1,3,5,7
/proc/10496/stat : 10496 (glucose) R 10495 10482 7523 0 -1 4202496 6704 0 0 0 117 1 0 0 20 0 1 0 385019156 31600640 6949 33554432000 4194304 5208918 140734843772688 140734843770648 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10496/statm: 7715 6949 104 248 0 7464 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 87064
[startup+3.10034 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 10496
/proc/meminfo: memFree=31327464/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=37908 CPUtime=0.28 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 4949 5549 0 0 17 4 7 0 20 0 1 0 385019125 38817792 7663 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 9477 7663 179 443 0 9030 0
[pid=10495] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10495/stat : 10495 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019155 9367552 267 33554432000 4194304 5064252 140733716390240 140733716389152 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10495/statm: 2287 267 226 213 0 72 0
[pid=10496] ppid=10495 vsize=31004 CPUtime=2.78 cores=1,3,5,7
/proc/10496/stat : 10496 (glucose) R 10495 10482 7523 0 -1 4202496 6740 0 0 0 277 1 0 0 20 0 1 0 385019156 31748096 6985 33554432000 4194304 5208918 140734843772688 140734843770648 4211537 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10496/statm: 7751 6985 104 248 0 7500 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 87208
[startup+6.30036 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 10503
/proc/meminfo: memFree=31339376/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=4.53 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 7259 16295 0 0 29 6 412 6 20 0 1 0 385019125 22040576 5009 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5009 179 443 0 4934 0
[pid=10502] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10502/stat : 10502 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385019579 9367552 266 33554432000 4194304 5064252 140734524690784 140734524689696 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10502/statm: 2287 266 226 213 0 72 0
[pid=10503] ppid=10502 vsize=27764 CPUtime=1.75 cores=1,3,5,7
/proc/10503/stat : 10503 (glucose) R 10502 10482 7523 0 -1 4202496 6444 0 0 0 174 1 0 0 20 0 1 0 385019579 28430336 6321 33554432000 4194304 5208918 140733736664560 140733736662408 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10503/statm: 6941 6321 104 248 0 6690 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67584
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 1.95 3/183 10567
/proc/meminfo: memFree=31282740/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=6.83 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9528 26579 0 0 34 7 630 12 20 0 1 0 385019125 22040576 5010 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5010 180 443 0 4934 0
[pid=10509] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10509/stat : 10509 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140736055531056 140736055529968 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10509/statm: 2287 267 226 213 0 72 0
[pid=10510] ppid=10509 vsize=38696 CPUtime=5.8 cores=1,3,5,7
/proc/10510/stat : 10510 (glucose) R 10509 10482 7523 0 -1 4202496 8660 0 0 0 579 1 0 0 20 0 1 0 385019813 39624704 8616 33554432000 4194304 5208918 140733905353936 140733905351784 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10510/statm: 9674 8616 95 248 0 9423 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 78516
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 1.96 3/183 10581
/proc/meminfo: memFree=31305644/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=6.83 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9528 26579 0 0 34 7 630 12 20 0 1 0 385019125 22040576 5010 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5010 180 443 0 4934 0
[pid=10509] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10509/stat : 10509 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140736055531056 140736055529968 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10509/statm: 2287 267 226 213 0 72 0
[pid=10510] ppid=10509 vsize=38828 CPUtime=18.6 cores=1,3,5,7
/proc/10510/stat : 10510 (glucose) R 10509 10482 7523 0 -1 4202496 9502 0 0 0 1859 1 0 0 20 0 1 0 385019813 39759872 8719 33554432000 4194304 5208918 140733905353936 140733905352024 4211918 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10510/statm: 9707 8719 96 248 0 9456 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 78648
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 1.96 3/183 10588
/proc/meminfo: memFree=31274052/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=6.83 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9528 26579 0 0 34 7 630 12 20 0 1 0 385019125 22040576 5010 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5010 180 443 0 4934 0
[pid=10509] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10509/stat : 10509 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140736055531056 140736055529968 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10509/statm: 2287 267 226 213 0 72 0
[pid=10510] ppid=10509 vsize=50712 CPUtime=44.2 cores=1,3,5,7
/proc/10510/stat : 10510 (glucose) R 10509 10482 7523 0 -1 4202496 10664 0 0 0 4418 2 0 0 20 0 1 0 385019813 51929088 11128 33554432000 4194304 5208918 140733905353936 140733905351880 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10510/statm: 12678 11128 96 248 0 12427 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 90532
Solver just ended. Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 2.05 2.02 1.96 3/183 10588
/proc/meminfo: memFree=31274052/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=6.83 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9528 26579 0 0 34 7 630 12 20 0 1 0 385019125 22040576 5010 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5010 180 443 0 4934 0
[pid=10509] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10509/stat : 10509 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140736055531056 140736055529968 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10509/statm: 2287 267 226 213 0 72 0
[pid=10510] ppid=10509 vsize=50712 CPUtime=44.3 cores=1,3,5,7
/proc/10510/stat : 10510 (glucose) R 10509 10482 7523 0 -1 4202496 10664 0 0 0 4428 2 0 0 20 0 1 0 385019813 51929088 11128 33554432000 4194304 5208918 140733905353936 140733905351880 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10510/statm: 12678 11128 96 248 0 12427 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 90532
[startup+76.8003 s]
/proc/loadavg: 2.03 2.02 1.96 3/183 10588
/proc/meminfo: memFree=31262624/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=6.83 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9528 26579 0 0 34 7 630 12 20 0 1 0 385019125 22040576 5010 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5010 180 443 0 4934 0
[pid=10509] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10509/stat : 10509 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140736055531056 140736055529968 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10509/statm: 2287 267 226 213 0 72 0
[pid=10510] ppid=10509 vsize=57784 CPUtime=69.89 cores=1,3,5,7
/proc/10510/stat : 10510 (glucose) R 10509 10482 7523 0 -1 4202496 11073 0 0 0 6987 2 0 0 20 0 1 0 385019813 59170816 13575 33554432000 4194304 5208918 140733905353936 140733905351800 4211841 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10510/statm: 14446 13575 96 248 0 14195 0
Current children cumulated CPU time (s) 76.72
Current children cumulated vsize (KiB) 97604
[startup+89.6004 s]
/proc/loadavg: 2.03 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31312312/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=12336 CPUtime=2.78 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 2573 0 0 0 278 0 0 0 20 0 1 0 385027805 12632064 2319 33554432000 4194304 5208918 140734374406144 140734374404088 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3084 2319 96 248 0 2833 0
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (KiB) 52156
[startup+92.8003 s]
/proc/loadavg: 2.03 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31308096/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=13980 CPUtime=5.98 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 3125 0 0 0 598 0 0 0 20 0 1 0 385027805 14315520 2850 33554432000 4194304 5208918 140734374406144 140734374404008 4229712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3495 2850 96 248 0 3244 0
Current children cumulated CPU time (s) 92.72
Current children cumulated vsize (KiB) 53800
[startup+94.4004 s]
/proc/loadavg: 2.03 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31307848/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=15008 CPUtime=7.58 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 3327 0 0 0 758 0 0 0 20 0 1 0 385027805 15368192 3044 33554432000 4194304 5208918 140734374406144 140734374404008 4229377 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3752 3044 96 248 0 3501 0
Current children cumulated CPU time (s) 94.32
Current children cumulated vsize (KiB) 54828
[startup+95.2004 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31307228/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=15008 CPUtime=8.38 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 3515 0 0 0 838 0 0 0 20 0 1 0 385027805 15368192 3231 33554432000 4194304 5208918 140734374406144 140734374404008 4229770 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3752 3231 96 248 0 3501 0
Current children cumulated CPU time (s) 95.12
Current children cumulated vsize (KiB) 54828
[startup+95.6003 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31307228/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=15008 CPUtime=8.78 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 3515 0 0 0 878 0 0 0 20 0 1 0 385027805 15368192 3231 33554432000 4194304 5208918 140734374406144 140734374404008 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3752 3231 96 248 0 3501 0
Current children cumulated CPU time (s) 95.52
Current children cumulated vsize (KiB) 54828
[startup+95.8069 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 10596
/proc/meminfo: memFree=31306484/32873844 swapFree=7116/7116
[pid=10482] ppid=10480 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10482/stat : 10482 (npSolver-wbo-I.) S 10480 10482 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385019125 9367552 274 33554432000 4194304 5064252 140734714272976 140734714271888 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10482/statm: 2287 274 233 213 0 72 0
[pid=10483] ppid=10482 vsize=21524 CPUtime=86.74 cores=1,3,5,7
/proc/10483/stat : 10483 (npSolver-wbo) S 10482 10482 7523 0 -1 4202496 9674 41861 0 0 35 7 8608 24 20 0 1 0 385019125 22040576 5011 33554432000 4194304 6006132 140734994884688 140734994876096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10483/statm: 5381 5011 181 443 0 4934 0
[pid=10595] ppid=10483 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10595/stat : 10595 (satsolver.sh) S 10483 10482 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385027805 9367552 267 33554432000 4194304 5064252 140735838756512 140735838755424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10595/statm: 2287 267 226 213 0 72 0
[pid=10596] ppid=10595 vsize=15008 CPUtime=8.98 cores=1,3,5,7
/proc/10596/stat : 10596 (glucose) R 10595 10482 7523 0 -1 4202496 3515 0 0 0 898 0 0 0 20 0 1 0 385027805 15368192 3231 33554432000 4194304 5208918 140734374406144 140734374404008 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10596/statm: 3752 3231 96 248 0 3501 0
Current children cumulated CPU time (s) 95.72
Current children cumulated vsize (KiB) 54828
Child status: 0
Real time (s): 95.8888
CPU time (s): 95.8404
CPU user time (s): 95.4945
CPU system time (s): 0.345947
CPU usage (%): 99.9496
Max. virtual memory (cumulated for all children) (KiB): 97604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.4945
system time used= 0.345947
maximum resident set size= 55024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 483
involuntary context switches= 164
runsolver used 0.181972 second user time and 0.575912 second system time
The end