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-3714259-1338185306/watcher-3714259-1338185306 -o /tmp/evaluation-result-3714259-1338185306/solver-3714259-1338185306 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714259-1338185306.wbo 1315270659 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.96 1.98 1.99 3/177 17516
/proc/meminfo: memFree=29922948/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (runsolver) D 17514 17516 14387 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 284659210 12095488 50 33554432000 4194304 5436572 140733339580240 140733339576536 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/17516/statm: 2953 50 31 304 0 2645 0
[startup+0.0403539 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17516
/proc/meminfo: memFree=29922948/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17516
/proc/meminfo: memFree=29922948/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17516
/proc/meminfo: memFree=29922948/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 17516
/proc/meminfo: memFree=29922948/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 17544
/proc/meminfo: memFree=29910080/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=1.43 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3450 25382 0 0 10 2 120 11 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 14484
[startup+3.10027 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 17558
/proc/meminfo: memFree=29916072/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=2.28 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3548 30907 0 0 10 2 204 12 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 14484
heavy processes:
[startup+6.30028 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 17579
/proc/meminfo: memFree=29907252/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=3.34 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3638 35976 0 0 10 2 309 13 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17578] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17578/stat : 17578 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284659547 9367552 265 33554432000 4194304 5064252 140735961084832 140735961083744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17578/statm: 2287 265 226 213 0 72 0
[pid=17579] ppid=17578 vsize=9944 CPUtime=2.91 cores=0,2,4,6
/proc/17579/stat : 17579 (glucose) R 17578 17516 14387 0 -1 4202496 2828 0 0 0 291 0 0 0 20 0 1 0 284659548 10182656 2047 33554432000 4194304 5208918 140736864527968 140736864525912 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17579/statm: 2486 2047 103 248 0 2235 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 33576
[startup+12.7003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17600
/proc/meminfo: memFree=29908308/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=10.76 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3692 42619 0 0 10 3 1049 14 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17599] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17599/stat : 17599 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660289 9367552 266 33554432000 4194304 5064252 140734854118608 140734854117520 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17599/statm: 2287 266 226 213 0 72 0
[pid=17600] ppid=17599 vsize=9956 CPUtime=1.9 cores=0,2,4,6
/proc/17600/stat : 17600 (glucose) R 17599 17516 14387 0 -1 4202496 2583 0 0 0 190 0 0 0 20 0 1 0 284660289 10194944 1995 33554432000 4194304 5208918 140736858680368 140736858678312 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17600/statm: 2489 1995 102 248 0 2238 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 33588
[startup+25.5003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17727
/proc/meminfo: memFree=29895720/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=13.63 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3783 48971 0 0 11 3 1333 16 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17660] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17660/stat : 17660 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284660574 9367552 267 33554432000 4194304 5064252 140733764781696 140733764780608 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17660/statm: 2287 267 226 213 0 72 0
[pid=17661] ppid=17660 vsize=18192 CPUtime=11.84 cores=0,2,4,6
/proc/17661/stat : 17661 (glucose) R 17660 17516 14387 0 -1 4202496 5745 0 0 0 1184 0 0 0 20 0 1 0 284660574 18628608 4108 33554432000 4194304 5208918 140737412881728 140737412878104 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17661/statm: 4548 4108 103 248 0 4297 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 41824
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17805
/proc/meminfo: memFree=29910616/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=27.39 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3837 57843 0 0 11 3 2708 17 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17793] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284661951 9367552 267 33554432000 4194304 5064252 140734284728816 140734284727728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 267 226 213 0 72 0
[pid=17794] ppid=17793 vsize=9948 CPUtime=1.28 cores=0,2,4,6
/proc/17794/stat : 17794 (glucose) R 17793 17516 14387 0 -1 4202496 2207 0 0 0 128 0 0 0 20 0 1 0 284661951 10186752 2036 33554432000 4194304 5208918 140733337130576 140733337128520 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 2487 2036 102 248 0 2236 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 33580
[startup+29.5003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17805
/proc/meminfo: memFree=29910616/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=27.39 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3837 57843 0 0 11 3 2708 17 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17793] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284661951 9367552 267 33554432000 4194304 5064252 140734284728816 140734284727728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 267 226 213 0 72 0
[pid=17794] ppid=17793 vsize=9948 CPUtime=2.08 cores=0,2,4,6
/proc/17794/stat : 17794 (glucose) R 17793 17516 14387 0 -1 4202496 2299 0 0 0 208 0 0 0 20 0 1 0 284661951 10186752 2126 33554432000 4194304 5208918 140733337130576 140733337128520 4228947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 2487 2126 102 248 0 2236 0
Current children cumulated CPU time (s) 29.47
Current children cumulated vsize (KiB) 33580
[startup+30.3003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17812
/proc/meminfo: memFree=29910760/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=27.39 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3837 57843 0 0 11 3 2708 17 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17793] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284661951 9367552 267 33554432000 4194304 5064252 140734284728816 140734284727728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 267 226 213 0 72 0
[pid=17794] ppid=17793 vsize=9948 CPUtime=2.88 cores=0,2,4,6
/proc/17794/stat : 17794 (glucose) R 17793 17516 14387 0 -1 4202496 2300 0 0 0 288 0 0 0 20 0 1 0 284661951 10186752 2127 33554432000 4194304 5208918 140733337130576 140733337128520 4212816 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 2487 2127 103 248 0 2236 0
Current children cumulated CPU time (s) 30.27
Current children cumulated vsize (KiB) 33580
[startup+30.7003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17819
/proc/meminfo: memFree=29909908/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=27.39 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3837 57843 0 0 11 3 2708 17 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17793] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284661951 9367552 267 33554432000 4194304 5064252 140734284728816 140734284727728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 267 226 213 0 72 0
[pid=17794] ppid=17793 vsize=12688 CPUtime=3.28 cores=0,2,4,6
/proc/17794/stat : 17794 (glucose) R 17793 17516 14387 0 -1 4202496 2590 0 0 0 328 0 0 0 20 0 1 0 284661951 12992512 2417 33554432000 4194304 5208918 140733337130576 140733337128520 4212649 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 3172 2417 103 248 0 2921 0
Current children cumulated CPU time (s) 30.67
Current children cumulated vsize (KiB) 36320
[startup+30.8064 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17819
/proc/meminfo: memFree=29909908/32873844 swapFree=7112/7112
[pid=17516] ppid=17514 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17516/stat : 17516 (npSolver-wbo-I.) S 17514 17516 14387 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659210 9367552 275 33554432000 4194304 5064252 140735281508368 140735281507280 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17516/statm: 2287 275 233 213 0 72 0
[pid=17518] ppid=17516 vsize=5336 CPUtime=27.39 cores=0,2,4,6
/proc/17518/stat : 17518 (npSolver-wbo) S 17516 17516 14387 0 -1 4202496 3837 57843 0 0 11 3 2708 17 20 0 1 0 284659210 5464064 917 33554432000 4194304 5990268 140733343478272 140733343469712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17518/statm: 1334 917 160 439 0 891 0
[pid=17793] ppid=17518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17793/stat : 17793 (satsolver.sh) S 17518 17516 14387 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284661951 9367552 267 33554432000 4194304 5064252 140734284728816 140734284727728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17793/statm: 2287 267 226 213 0 72 0
[pid=17794] ppid=17793 vsize=12688 CPUtime=3.38 cores=0,2,4,6
/proc/17794/stat : 17794 (glucose) R 17793 17516 14387 0 -1 4202496 2623 0 0 0 338 0 0 0 20 0 1 0 284661951 12992512 2449 33554432000 4194304 5208918 140733337130576 140733337128520 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17794/statm: 3172 2449 103 248 0 2921 0
Current children cumulated CPU time (s) 30.77
Current children cumulated vsize (KiB) 36320
Child status: 0
Real time (s): 30.8884
CPU time (s): 30.8753
CPU user time (s): 30.6543
CPU system time (s): 0.220966
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 41824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.6543
system time used= 0.220966
maximum resident set size= 17092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267
involuntary context switches= 161
runsolver used 0.051992 second user time and 0.184971 second system time
The end