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-3753647-1339188886/watcher-3753647-1339188886 -o /tmp/evaluation-result-3753647-1339188886/solver-3753647-1339188886 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753647-1339188886.wbo 1920816922 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.99 2.03 2.00 3/179 6502
/proc/meminfo: memFree=28905680/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[startup+0.0442111 s]
/proc/loadavg: 1.99 2.03 2.00 3/179 6502
/proc/meminfo: memFree=28905680/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100187 s]
/proc/loadavg: 1.99 2.03 2.00 3/179 6502
/proc/meminfo: memFree=28905680/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300184 s]
/proc/loadavg: 1.99 2.03 2.00 3/179 6502
/proc/meminfo: memFree=28905680/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700095 s]
/proc/loadavg: 1.99 2.03 2.00 3/179 6502
/proc/meminfo: memFree=28905680/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6516
/proc/meminfo: memFree=28913148/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=3092 CPUtime=0.23 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 1946 2212 0 0 2 0 21 0 20 0 1 0 385014613 3166208 367 33554432000 4194304 6006132 140735937976656 140735937970848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 773 367 158 443 0 326 0
[pid=6511] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6511/stat : 6511 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385014638 9367552 266 33554432000 4194304 5064252 140734865478544 140734865477456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 2287 266 226 213 0 72 0
[pid=6512] ppid=6511 vsize=9500 CPUtime=1.25 cores=0,2,4,6
/proc/6512/stat : 6512 (glucose) R 6511 6502 3785 0 -1 4202496 2221 0 0 0 125 0 0 0 20 0 1 0 385014638 9728000 1894 33554432000 4194304 5208918 140734831516992 140734831514840 4211792 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6512/statm: 2375 1894 96 248 0 2124 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30888
[startup+3.10029 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6516
/proc/meminfo: memFree=28901108/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=3092 CPUtime=0.23 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 1946 2212 0 0 2 0 21 0 20 0 1 0 385014613 3166208 367 33554432000 4194304 6006132 140735937976656 140735937970848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 773 367 158 443 0 326 0
[pid=6511] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6511/stat : 6511 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385014638 9367552 266 33554432000 4194304 5064252 140734865478544 140734865477456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 2287 266 226 213 0 72 0
[pid=6512] ppid=6511 vsize=11172 CPUtime=2.85 cores=0,2,4,6
/proc/6512/stat : 6512 (glucose) R 6511 6502 3785 0 -1 4202496 2653 0 0 0 285 0 0 0 20 0 1 0 385014638 11440128 2307 33554432000 4194304 5208918 140734831516992 140734831514856 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6512/statm: 2793 2307 96 248 0 2542 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32560
[startup+6.30029 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6516
/proc/meminfo: memFree=28893912/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=3092 CPUtime=0.23 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 1946 2212 0 0 2 0 21 0 20 0 1 0 385014613 3166208 367 33554432000 4194304 6006132 140735937976656 140735937970848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 773 367 158 443 0 326 0
[pid=6511] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6511/stat : 6511 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385014638 9367552 266 33554432000 4194304 5064252 140734865478544 140734865477456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 2287 266 226 213 0 72 0
[pid=6512] ppid=6511 vsize=12284 CPUtime=6.04 cores=0,2,4,6
/proc/6512/stat : 6512 (glucose) R 6511 6502 3785 0 -1 4202496 3240 0 0 0 604 0 0 0 20 0 1 0 385014638 12578816 2632 33554432000 4194304 5208918 140734831516992 140734831515080 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6512/statm: 3071 2632 96 248 0 2820 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 33672
[startup+12.7003 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 6523
/proc/meminfo: memFree=28895072/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=3092 CPUtime=0.23 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 1946 2212 0 0 2 0 21 0 20 0 1 0 385014613 3166208 367 33554432000 4194304 6006132 140735937976656 140735937970848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 773 367 158 443 0 326 0
[pid=6511] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6511/stat : 6511 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385014638 9367552 266 33554432000 4194304 5064252 140734865478544 140734865477456 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 2287 266 226 213 0 72 0
[pid=6512] ppid=6511 vsize=19356 CPUtime=12.44 cores=0,2,4,6
/proc/6512/stat : 6512 (glucose) R 6511 6502 3785 0 -1 4202496 3998 0 0 0 1244 0 0 0 20 0 1 0 385014638 19820544 4401 33554432000 4194304 5208918 140734831516992 140734831514936 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6512/statm: 4839 4401 96 248 0 4588 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 40744
[startup+25.5002 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 6537
/proc/meminfo: memFree=28860488/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=14.19 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 3619 9610 0 0 5 2 1410 2 20 0 1 0 385014613 9375744 1887 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6503/statm: 2289 1887 167 443 0 1842 0
[pid=6529] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6529/stat : 6529 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385016034 9367552 266 33554432000 4194304 5064252 140737361575360 140737361574272 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6529/statm: 2287 266 226 213 0 72 0
[pid=6530] ppid=6529 vsize=43272 CPUtime=11.27 cores=0,2,4,6
/proc/6530/stat : 6530 (glucose) R 6529 6502 3785 0 -1 4202496 6954 0 0 0 1125 2 0 0 20 0 1 0 385016034 44310528 9570 33554432000 4194304 5208918 140736855972944 140736855970808 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6530/statm: 10818 9570 96 248 0 10567 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 70724
[startup+51.1003 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 6572
/proc/meminfo: memFree=28877628/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=44.17 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 6379 32257 0 0 11 3 4388 15 20 0 1 0 385014613 9375744 1887 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6503/statm: 2289 1887 167 443 0 1842 0
[pid=6564] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6564/stat : 6564 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385019034 9367552 267 33554432000 4194304 5064252 140734300947776 140734300946688 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6564/statm: 2287 267 226 213 0 72 0
[pid=6565] ppid=6564 vsize=33448 CPUtime=6.87 cores=0,2,4,6
/proc/6565/stat : 6565 (glucose) R 6564 6502 3785 0 -1 4202496 7870 0 0 0 686 1 0 0 20 0 1 0 385019034 34250752 7914 33554432000 4194304 5208918 140733219392672 140733219390536 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6565/statm: 8362 7914 96 248 0 8111 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60900
[startup+102.306 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 6628
/proc/meminfo: memFree=28867092/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=89.13 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 9596 66820 0 0 19 4 8857 33 20 0 1 0 385014613 9375744 1887 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6503/statm: 2289 1887 167 443 0 1842 0
[pid=6616] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6616/stat : 6616 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385023531 9367552 267 33554432000 4194304 5064252 140735753553200 140735753552112 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6616/statm: 2287 267 226 213 0 72 0
[pid=6617] ppid=6616 vsize=35868 CPUtime=13.11 cores=0,2,4,6
/proc/6617/stat : 6617 (glucose) R 6616 6502 3785 0 -1 4202496 7531 0 0 0 1310 1 0 0 20 0 1 0 385023531 36728832 8622 33554432000 4194304 5208918 140734546163088 140734546160952 4214276 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6617/statm: 8967 8622 96 248 0 8716 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 63320
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/183 6698
/proc/meminfo: memFree=28873104/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=149.32 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 13617 110831 0 0 28 5 14844 55 20 0 1 0 385014613 9375744 1887 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6503/statm: 2289 1887 167 443 0 1842 0
[pid=6690] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/7588/statm: 2287 266 226 213 0 72 0
[pid=7589] ppid=7588 vsize=25644 CPUtime=6.53 cores=0,2,4,6
/proc/7589/stat : 7589 (glucose) R 7588 6502 3785 0 -1 4202496 4298 0 0 0 652 1 0 0 20 0 1 0 385102189 26259456 5473 33554432000 4194304 5208918 140734059540688 140734059538552 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7589/statm: 6411 5473 96 248 0 6160 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 53096
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7655
/proc/meminfo: memFree=28886164/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=936.46 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50592 638605 0 0 98 16 93263 269 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7654] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7654/stat : 7654 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385108306 9367552 266 33554432000 4194304 5064252 140737166404720 140737166403632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7654/statm: 2287 266 226 213 0 72 0
[pid=7655] ppid=7654 vsize=17764 CPUtime=5.36 cores=0,2,4,6
/proc/7655/stat : 7655 (glucose) R 7654 6502 3785 0 -1 4202496 3763 0 0 0 536 0 0 0 20 0 1 0 385108306 18190336 3959 33554432000 4194304 5208918 140734616474048 140734616471992 4229720 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7655/statm: 4441 3959 96 248 0 4190 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 45216
Solver just ended. Dumping a history of the last processes samples
[startup+947.106 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7662
/proc/meminfo: memFree=28889080/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=936.46 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50592 638605 0 0 98 16 93263 269 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7654] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7654/stat : 7654 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385108306 9367552 266 33554432000 4194304 5064252 140737166404720 140737166403632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7654/statm: 2287 266 226 213 0 72 0
[pid=7655] ppid=7654 vsize=24032 CPUtime=10.16 cores=0,2,4,6
/proc/7655/stat : 7655 (glucose) R 7654 6502 3785 0 -1 4202496 4242 0 0 0 1016 0 0 0 20 0 1 0 385108306 24608768 4740 33554432000 4194304 5208918 140734616474048 140734616471992 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7655/statm: 6008 4740 96 248 0 5757 0
Current children cumulated CPU time (s) 946.62
Current children cumulated vsize (KiB) 51484
[startup+972.7 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 7690
/proc/meminfo: memFree=28893792/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=12336 CPUtime=3.73 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 3531 0 0 0 373 0 0 0 20 0 1 0 385111509 12632064 2625 33554432000 4194304 5208918 140735441855616 140735441853480 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 3084 2625 96 248 0 2833 0
Current children cumulated CPU time (s) 972.22
Current children cumulated vsize (KiB) 39788
[startup+979.1 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 7690
/proc/meminfo: memFree=28884420/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=18060 CPUtime=10.13 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4408 0 0 0 1012 1 0 0 20 0 1 0 385111509 18493440 3640 33554432000 4194304 5208918 140735441855616 140735441853560 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 4515 3640 102 248 0 4264 0
Current children cumulated CPU time (s) 978.62
Current children cumulated vsize (KiB) 45512
[startup+982.306 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 7697
/proc/meminfo: memFree=28893732/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=18060 CPUtime=13.33 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4408 0 0 0 1332 1 0 0 20 0 1 0 385111509 18493440 3640 33554432000 4194304 5208918 140735441855616 140735441853560 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 4515 3640 102 248 0 4264 0
Current children cumulated CPU time (s) 981.82
Current children cumulated vsize (KiB) 45512
[startup+985.5 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 7697
/proc/meminfo: memFree=28884604/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=20700 CPUtime=16.53 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4589 0 0 0 1652 1 0 0 20 0 1 0 385111509 21196800 4327 33554432000 4194304 5208918 140735441855616 140735441853560 4214288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 5175 4327 102 248 0 4924 0
Current children cumulated CPU time (s) 985.02
Current children cumulated vsize (KiB) 48152
[startup+986.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 7697
/proc/meminfo: memFree=28884604/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=20700 CPUtime=17.32 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4589 0 0 0 1731 1 0 0 20 0 1 0 385111509 21196800 4327 33554432000 4194304 5208918 140735441855616 140735441853480 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 5175 4327 102 248 0 4924 0
Current children cumulated CPU time (s) 985.81
Current children cumulated vsize (KiB) 48152
[startup+986.706 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 7697
/proc/meminfo: memFree=28883116/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=20700 CPUtime=17.73 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4589 0 0 0 1772 1 0 0 20 0 1 0 385111509 21196800 4327 33554432000 4194304 5208918 140735441855616 140735441853480 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 5175 4327 102 248 0 4924 0
Current children cumulated CPU time (s) 986.22
Current children cumulated vsize (KiB) 48152
[startup+987.1 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 7697
/proc/meminfo: memFree=28883116/32873648 swapFree=6860/6860
[pid=6502] ppid=6500 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6502/stat : 6502 (npSolver-wbo-It) S 6500 6502 3785 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385014613 9367552 275 33554432000 4194304 5064252 140735709370336 140735709369248 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6502/statm: 2287 275 233 213 0 72 0
[pid=6503] ppid=6502 vsize=9156 CPUtime=968.49 cores=0,2,4,6
/proc/6503/stat : 6503 (npSolver-wbo) S 6502 6502 3785 0 -1 4202496 50900 655155 0 0 98 17 96460 274 20 0 1 0 385014613 9375744 1888 33554432000 4194304 6006132 140735937976656 140735937968048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6503/statm: 2289 1888 168 443 0 1842 0
[pid=7682] ppid=6503 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7682/stat : 7682 (satsolver.sh) S 6503 6502 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385111509 9367552 266 33554432000 4194304 5064252 140734491942000 140734491940912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7682/statm: 2287 266 226 213 0 72 0
[pid=7683] ppid=7682 vsize=20700 CPUtime=18.12 cores=0,2,4,6
/proc/7683/stat : 7683 (glucose) R 7682 6502 3785 0 -1 4202496 4589 0 0 0 1811 1 0 0 20 0 1 0 385111509 21196800 4327 33554432000 4194304 5208918 140735441855616 140735441853480 4229757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7683/statm: 5175 4327 102 248 0 4924 0
Current children cumulated CPU time (s) 986.61
Current children cumulated vsize (KiB) 48152
Child status: 0
Real time (s): 987.178
CPU time (s): 986.723
CPU user time (s): 983.783
CPU system time (s): 2.93955
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 70724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 983.783
system time used= 2.93955
maximum resident set size= 39704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 173592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3603
involuntary context switches= 1855
runsolver used 2.08268 second user time and 5.33319 second system time
The end