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-3754337-1339188704/watcher-3754337-1339188704 -o /tmp/evaluation-result-3754337-1339188704/solver-3754337-1339188704 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754337-1339188704.wbo 104865792 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.01 2.00 3/177 5773
/proc/meminfo: memFree=29469656/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[startup+0.033402 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5773
/proc/meminfo: memFree=29469656/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5773
/proc/meminfo: memFree=29469656/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5773
/proc/meminfo: memFree=29469656/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5773
/proc/meminfo: memFree=29469656/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5780
/proc/meminfo: memFree=29770216/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 1958 2188 0 0 1 0 18 0 20 0 1 0 384998949 3166208 377 33554432000 4194304 6006132 140734290298912 140734290293104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5774/statm: 773 377 158 443 0 326 0
[pid=5779] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5779/stat : 5779 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384998971 9367552 267 33554432000 4194304 5064252 140734702234880 140734702233792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5779/statm: 2287 267 226 213 0 72 0
[pid=5780] ppid=5779 vsize=9388 CPUtime=1.27 cores=1,3,5,7
/proc/5780/stat : 5780 (glucose) R 5779 5773 23558 0 -1 4202496 2258 0 0 0 127 0 0 0 20 0 1 0 384998971 9613312 1392 33554432000 4194304 5208918 140734096319216 140734096317160 4229538 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5780/statm: 2347 1392 96 248 0 2096 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30776
[startup+3.10034 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5780
/proc/meminfo: memFree=29759988/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 1958 2188 0 0 1 0 18 0 20 0 1 0 384998949 3166208 377 33554432000 4194304 6006132 140734290298912 140734290293104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5774/statm: 773 377 158 443 0 326 0
[pid=5779] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5779/stat : 5779 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384998971 9367552 267 33554432000 4194304 5064252 140734702234880 140734702233792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5779/statm: 2287 267 226 213 0 72 0
[pid=5780] ppid=5779 vsize=11156 CPUtime=2.86 cores=1,3,5,7
/proc/5780/stat : 5780 (glucose) R 5779 5773 23558 0 -1 4202496 3270 0 0 0 286 0 0 0 20 0 1 0 384998971 11423744 2358 33554432000 4194304 5208918 140734096319216 140734096317160 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5780/statm: 2789 2358 96 248 0 2538 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 32544
[startup+6.3003 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 5780
/proc/meminfo: memFree=29734736/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=3092 CPUtime=0.19 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 1958 2188 0 0 1 0 18 0 20 0 1 0 384998949 3166208 377 33554432000 4194304 6006132 140734290298912 140734290293104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5774/statm: 773 377 158 443 0 326 0
[pid=5779] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5779/stat : 5779 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384998971 9367552 267 33554432000 4194304 5064252 140734702234880 140734702233792 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5779/statm: 2287 267 226 213 0 72 0
[pid=5780] ppid=5779 vsize=20932 CPUtime=6.06 cores=1,3,5,7
/proc/5780/stat : 5780 (glucose) R 5779 5773 23558 0 -1 4202496 4152 0 0 0 606 0 0 0 20 0 1 0 384998971 21434368 3649 33554432000 4194304 5208918 140734096319216 140734096317160 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5780/statm: 5233 3649 96 248 0 4982 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 42320
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 5787
/proc/meminfo: memFree=29688540/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=7.64 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 2900 9865 0 0 4 2 756 2 20 0 1 0 384998949 7233536 1171 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1171 167 443 0 1319 0
[pid=5786] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5786/stat : 5786 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384999715 9367552 267 33554432000 4194304 5064252 140737473694160 140737473693072 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5786/statm: 2287 267 226 213 0 72 0
[pid=5787] ppid=5786 vsize=26452 CPUtime=5.03 cores=1,3,5,7
/proc/5787/stat : 5787 (glucose) R 5786 5773 23558 0 -1 4202496 5527 0 0 0 502 1 0 0 20 0 1 0 384999715 27086848 6115 33554432000 4194304 5208918 140736543650768 140736543648632 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5787/statm: 6613 6115 96 248 0 6362 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51812
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 5801
/proc/meminfo: memFree=29634276/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=21.5 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 3760 27056 0 0 5 2 2135 8 20 0 1 0 384998949 7233536 1171 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1171 167 443 0 1319 0
[pid=5800] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385001101 9367552 267 33554432000 4194304 5064252 140734150212928 140734150211840 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5800/statm: 2287 267 226 213 0 72 0
[pid=5801] ppid=5800 vsize=15060 CPUtime=3.96 cores=1,3,5,7
/proc/5801/stat : 5801 (glucose) R 5800 5773 23558 0 -1 4202496 3852 0 0 0 396 0 0 0 20 0 1 0 385001101 15421440 3291 33554432000 4194304 5208918 140734261743376 140734261741320 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5801/statm: 3765 3291 96 248 0 3514 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 40420
[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/181 5874
/proc/meminfo: memFree=29865264/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=42.52 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4016 43401 0 0 5 2 4233 12 20 0 1 0 384998949 7233536 1171 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1171 167 443 0 1319 0
[pid=5866] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5866/stat : 5866 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385003204 9367552 267 33554432000 4194304 5064252 140736741028992 140736741027904 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5866/statm: 2287 267 226 213 0 72 0
[pid=5867] ppid=5866 vsize=19480 CPUtime=8.53 cores=1,3,5,7
/proc/5867/stat : 5867 (glucose) R 5866 5773 23558 0 -1 4202496 3510 0 0 0 853 0 0 0 20 0 1 0 385003205 19947520 3209 33554432000 4194304 5208918 140737235646496 140737235644584 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5867/statm: 4870 3209 96 248 0 4619 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 44840
Solver just ended. Dumping a history of the last processes samples
[startup+76.7004 s]
/proc/loadavg: 2.13 2.05 2.01 3/181 5952
/proc/meminfo: memFree=29854156/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=71.38 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4235 64504 0 0 5 2 7113 18 20 0 1 0 384998949 7233536 1171 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1171 167 443 0 1319 0
[pid=5951] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385006091 9367552 267 33554432000 4194304 5064252 140736261113152 140736261112064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 267 226 213 0 72 0
[pid=5952] ppid=5951 vsize=12296 CPUtime=5.26 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5773 23558 0 -1 4202496 3331 0 0 0 526 0 0 0 20 0 1 0 385006091 12591104 2499 33554432000 4194304 5208918 140734897844368 140734897842312 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 3074 2499 96 248 0 2823 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 37656
[startup+89.5004 s]
/proc/loadavg: 2.11 2.05 2.01 3/181 5973
/proc/meminfo: memFree=29864952/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=81.9 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4316 71243 0 0 5 2 8164 19 20 0 1 0 384998949 7233536 1171 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1171 167 443 0 1319 0
[pid=5965] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5965/stat : 5965 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385007144 9367552 267 33554432000 4194304 5064252 140733793836912 140733793835824 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5965/statm: 2287 267 226 213 0 72 0
[pid=5966] ppid=5965 vsize=12308 CPUtime=7.53 cores=1,3,5,7
/proc/5966/stat : 5966 (glucose) R 5965 5773 23558 0 -1 4202496 3201 0 0 0 753 0 0 0 20 0 1 0 385007144 12603392 2664 33554432000 4194304 5208918 140734811071904 140734811069992 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5966/statm: 3077 2664 102 248 0 2826 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (KiB) 37668
[startup+95.9004 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 5980
/proc/meminfo: memFree=29859672/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=89.91 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4398 77834 0 0 5 2 8963 21 20 0 1 0 384998949 7233536 1172 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1172 168 443 0 1319 0
[pid=5979] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007944 9367552 267 33554432000 4194304 5064252 140737172990576 140737172989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5979/statm: 2287 267 226 213 0 72 0
[pid=5980] ppid=5979 vsize=12308 CPUtime=5.93 cores=1,3,5,7
/proc/5980/stat : 5980 (glucose) R 5979 5773 23558 0 -1 4202496 3223 0 0 0 593 0 0 0 20 0 1 0 385007945 12603392 2564 33554432000 4194304 5208918 140736166133984 140736166131928 4229515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5980/statm: 3077 2564 102 248 0 2826 0
Current children cumulated CPU time (s) 95.84
Current children cumulated vsize (KiB) 37668
[startup+99.1004 s]
/proc/loadavg: 2.09 2.04 2.01 3/180 5987
/proc/meminfo: memFree=29872260/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=89.91 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4398 77834 0 0 5 2 8963 21 20 0 1 0 384998949 7233536 1172 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1172 168 443 0 1319 0
[pid=5979] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007944 9367552 267 33554432000 4194304 5064252 140737172990576 140737172989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5979/statm: 2287 267 226 213 0 72 0
[pid=5980] ppid=5979 vsize=19380 CPUtime=9.12 cores=1,3,5,7
/proc/5980/stat : 5980 (glucose) R 5979 5773 23558 0 -1 4202496 3764 0 0 0 912 0 0 0 20 0 1 0 385007945 19845120 3273 33554432000 4194304 5208918 140736166133984 140736166132072 4229720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5980/statm: 4845 3273 102 248 0 4594 0
Current children cumulated CPU time (s) 99.03
Current children cumulated vsize (KiB) 44740
[startup+99.9004 s]
/proc/loadavg: 2.09 2.04 2.01 3/180 5987
/proc/meminfo: memFree=29872260/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=89.91 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4398 77834 0 0 5 2 8963 21 20 0 1 0 384998949 7233536 1172 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1172 168 443 0 1319 0
[pid=5979] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007944 9367552 267 33554432000 4194304 5064252 140737172990576 140737172989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5979/statm: 2287 267 226 213 0 72 0
[pid=5980] ppid=5979 vsize=19380 CPUtime=9.92 cores=1,3,5,7
/proc/5980/stat : 5980 (glucose) R 5979 5773 23558 0 -1 4202496 3768 0 0 0 992 0 0 0 20 0 1 0 385007945 19845120 3787 33554432000 4194304 5208918 140736166133984 140736166131928 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5980/statm: 4845 3787 102 248 0 4594 0
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (KiB) 44740
[startup+100.7 s]
/proc/loadavg: 2.09 2.04 2.01 3/180 5987
/proc/meminfo: memFree=29868780/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=89.91 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4398 77834 0 0 5 2 8963 21 20 0 1 0 384998949 7233536 1172 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1172 168 443 0 1319 0
[pid=5979] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007944 9367552 267 33554432000 4194304 5064252 140737172990576 140737172989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5979/statm: 2287 267 226 213 0 72 0
[pid=5980] ppid=5979 vsize=19380 CPUtime=10.72 cores=1,3,5,7
/proc/5980/stat : 5980 (glucose) R 5979 5773 23558 0 -1 4202496 3768 0 0 0 1072 0 0 0 20 0 1 0 385007945 19845120 3787 33554432000 4194304 5208918 140736166133984 140736166131928 4229460 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5980/statm: 4845 3787 102 248 0 4594 0
Current children cumulated CPU time (s) 100.63
Current children cumulated vsize (KiB) 44740
[startup+100.9 s]
/proc/loadavg: 2.09 2.04 2.01 3/180 5987
/proc/meminfo: memFree=29868780/32873844 swapFree=7120/7120
[pid=5773] ppid=5771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (npSolver-wbo-I.) S 5771 5773 23558 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384998949 9367552 274 33554432000 4194304 5064252 140734035562368 140734035561280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5773/statm: 2287 274 233 213 0 72 0
[pid=5774] ppid=5773 vsize=7064 CPUtime=89.91 cores=1,3,5,7
/proc/5774/stat : 5774 (npSolver-wbo) S 5773 5773 23558 0 -1 4202496 4398 77834 0 0 5 2 8963 21 20 0 1 0 384998949 7233536 1172 33554432000 4194304 6006132 140734290298912 140734290290320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5774/statm: 1766 1172 168 443 0 1319 0
[pid=5979] ppid=5774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (satsolver.sh) S 5774 5773 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007944 9367552 267 33554432000 4194304 5064252 140737172990576 140737172989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5979/statm: 2287 267 226 213 0 72 0
[pid=5980] ppid=5979 vsize=19380 CPUtime=10.92 cores=1,3,5,7
/proc/5980/stat : 5980 (glucose) R 5979 5773 23558 0 -1 4202496 3768 0 0 0 1092 0 0 0 20 0 1 0 385007945 19845120 3787 33554432000 4194304 5208918 140736166133984 140736166131928 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5980/statm: 4845 3787 102 248 0 4594 0
Current children cumulated CPU time (s) 100.83
Current children cumulated vsize (KiB) 44740
Child status: 0
Real time (s): 100.937
CPU time (s): 100.913
CPU user time (s): 100.649
CPU system time (s): 0.263959
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 52100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.649
system time used= 0.263959
maximum resident set size= 29872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 225
runsolver used 0.299954 second user time and 1.11883 second system time
The end