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-3755344-1339194032/watcher-3755344-1339194032 -o /tmp/evaluation-result-3755344-1339194032/solver-3755344-1339194032 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755344-1339194032.wbo 322128112 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: 2.00 2.02 2.00 3/178 3985
/proc/meminfo: memFree=30451800/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[startup+0.072161 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3985
/proc/meminfo: memFree=30451800/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100175 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3985
/proc/meminfo: memFree=30451800/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300124 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3985
/proc/meminfo: memFree=30451800/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700108 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 3985
/proc/meminfo: memFree=30451800/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 3992
/proc/meminfo: memFree=30449220/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 1447 2706 0 0 2 0 14 0 20 0 1 0 385528678 3166208 378 33554432000 4194304 6006132 140734593845680 140734593839872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3986/statm: 773 378 158 443 0 326 0
[pid=3991] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3991/stat : 3991 (satsolver.sh) S 3986 3985 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385528696 9367552 266 33554432000 4194304 5064252 140736535231248 140736535230160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3991/statm: 2287 266 226 213 0 72 0
[pid=3992] ppid=3991 vsize=12816 CPUtime=1.3 cores=0,2,4,6
/proc/3992/stat : 3992 (glucose) R 3991 3985 982 0 -1 4202496 2530 0 0 0 130 0 0 0 20 0 1 0 385528696 13123584 2240 33554432000 4194304 5208918 140734258090816 140734258088760 4229699 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3992/statm: 3204 2240 96 248 0 2953 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34204
[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 3992
/proc/meminfo: memFree=30509312/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 1447 2706 0 0 2 0 14 0 20 0 1 0 385528678 3166208 378 33554432000 4194304 6006132 140734593845680 140734593839872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3986/statm: 773 378 158 443 0 326 0
[pid=3991] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3991/stat : 3991 (satsolver.sh) S 3986 3985 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385528696 9367552 266 33554432000 4194304 5064252 140736535231248 140736535230160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3991/statm: 2287 266 226 213 0 72 0
[pid=3992] ppid=3991 vsize=12816 CPUtime=2.9 cores=0,2,4,6
/proc/3992/stat : 3992 (glucose) R 3991 3985 982 0 -1 4202496 3093 0 0 0 290 0 0 0 20 0 1 0 385528696 13123584 2784 33554432000 4194304 5208918 140734258090816 140734258088760 4205203 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3992/statm: 3204 2784 96 248 0 2953 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34204
[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 3992
/proc/meminfo: memFree=30467612/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=3092 CPUtime=0.16 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 1447 2706 0 0 2 0 14 0 20 0 1 0 385528678 3166208 378 33554432000 4194304 6006132 140734593845680 140734593839872 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3986/statm: 773 378 158 443 0 326 0
[pid=3991] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3991/stat : 3991 (satsolver.sh) S 3986 3985 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385528696 9367552 266 33554432000 4194304 5064252 140736535231248 140736535230160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3991/statm: 2287 266 226 213 0 72 0
[pid=3992] ppid=3991 vsize=22612 CPUtime=6.1 cores=0,2,4,6
/proc/3992/stat : 3992 (glucose) R 3991 3985 982 0 -1 4202496 4099 0 0 0 610 0 0 0 20 0 1 0 385528696 23154688 4785 33554432000 4194304 5208918 140734258090816 140734258088680 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3992/statm: 5653 4785 96 248 0 5402 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44000
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 3999
/proc/meminfo: memFree=30434180/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=7.92 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 2958 10795 0 0 5 2 783 2 20 0 1 0 385528678 11493376 2247 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2247 167 443 0 2359 0
[pid=3998] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3998/stat : 3998 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385529473 9367552 267 33554432000 4194304 5064252 140736421307152 140736421306064 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3998/statm: 2287 267 226 213 0 72 0
[pid=3999] ppid=3998 vsize=35816 CPUtime=4.73 cores=0,2,4,6
/proc/3999/stat : 3999 (glucose) R 3998 3985 982 0 -1 4202496 7328 0 0 0 472 1 0 0 20 0 1 0 385529473 36675584 7809 33554432000 4194304 5208918 140737037267088 140737037265032 4211676 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3999/statm: 8954 7809 96 248 0 8703 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 65336
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 4000
/proc/meminfo: memFree=30404964/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=7.92 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 2958 10795 0 0 5 2 783 2 20 0 1 0 385528678 11493376 2247 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2247 167 443 0 2359 0
[pid=3998] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3998/stat : 3998 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385529473 9367552 267 33554432000 4194304 5064252 140736421307152 140736421306064 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3998/statm: 2287 267 226 213 0 72 0
[pid=3999] ppid=3998 vsize=42956 CPUtime=17.53 cores=0,2,4,6
/proc/3999/stat : 3999 (glucose) R 3998 3985 982 0 -1 4202496 7829 0 0 0 1752 1 0 0 20 0 1 0 385529473 43986944 9831 33554432000 4194304 5208918 140737037267088 140737037264952 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3999/statm: 10739 9831 96 248 0 10488 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 72476
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4014
/proc/meminfo: memFree=30440780/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=45.69 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4236 32132 0 0 8 3 4545 13 20 0 1 0 385528678 11493376 2247 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2247 167 443 0 2359 0
[pid=4013] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4013/stat : 4013 (satsolver.sh) S 3986 3985 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385533252 9367552 266 33554432000 4194304 5064252 140737281817712 140737281816624 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4013/statm: 2287 266 226 213 0 72 0
[pid=4014] ppid=4013 vsize=17868 CPUtime=5.34 cores=0,2,4,6
/proc/4014/stat : 4014 (glucose) R 4013 3985 982 0 -1 4202496 3869 0 0 0 533 1 0 0 20 0 1 0 385533252 18296832 4100 33554432000 4194304 5208918 140736772784736 140736772782600 4211623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4014/statm: 4467 4100 96 248 0 4216 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 47388
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4021
/proc/meminfo: memFree=30428184/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=52.3 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4377 39461 0 0 8 3 5203 16 20 0 1 0 385528678 11493376 2247 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2247 167 443 0 2359 0
[pid=4020] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4020/stat : 4020 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385533912 9367552 267 33554432000 4194304 5064252 140733992912016 140733992910928 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4020/statm: 2287 267 226 213 0 72 0
[pid=4021] ppid=4020 vsize=19960 CPUtime=11.54 cores=0,2,4,6
/proc/4021/stat : 4021 (glucose) R 4020 3985 982 0 -1 4202496 4024 0 0 0 1153 1 0 0 20 0 1 0 385533912 20439040 4583 33554432000 4194304 5208918 140734010945840 140734010943784 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4021/statm: 4990 4583 96 248 0 4739 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 49480
[startup+76.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4028
/proc/meminfo: memFree=30451160/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=67.05 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4465 46388 0 0 8 3 6676 18 20 0 1 0 385528678 11493376 2248 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2248 168 443 0 2359 0
[pid=4027] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4027/stat : 4027 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385535389 9367552 267 33554432000 4194304 5064252 140736817094928 140736817093840 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4027/statm: 2287 267 226 213 0 72 0
[pid=4028] ppid=4027 vsize=20912 CPUtime=9.58 cores=0,2,4,6
/proc/4028/stat : 4028 (glucose) R 4027 3985 982 0 -1 4202496 4230 0 0 0 957 1 0 0 20 0 1 0 385535389 21413888 4686 33554432000 4194304 5208918 140737387986624 140737387984568 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4028/statm: 5228 4686 102 248 0 4977 0
Current children cumulated CPU time (s) 76.63
Current children cumulated vsize (KiB) 50432
[startup+83.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4035
/proc/meminfo: memFree=30448924/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=76.96 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4541 54007 0 0 8 3 7665 20 20 0 1 0 385528678 11493376 2248 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2248 168 443 0 2359 0
[pid=4034] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4034/stat : 4034 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385536380 9367552 267 33554432000 4194304 5064252 140734486979008 140734486977920 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4034/statm: 2287 267 226 213 0 72 0
[pid=4035] ppid=4034 vsize=15032 CPUtime=6.06 cores=0,2,4,6
/proc/4035/stat : 4035 (glucose) R 4034 3985 982 0 -1 4202496 3363 0 0 0 606 0 0 0 20 0 1 0 385536380 15392768 3046 33554432000 4194304 5208918 140734619176160 140734619174104 4213176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4035/statm: 3758 3046 96 248 0 3507 0
Current children cumulated CPU time (s) 83.02
Current children cumulated vsize (KiB) 44552
[startup+86.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4035
/proc/meminfo: memFree=30439060/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=76.96 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4541 54007 0 0 8 3 7665 20 20 0 1 0 385528678 11493376 2248 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2248 168 443 0 2359 0
[pid=4034] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4034/stat : 4034 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385536380 9367552 267 33554432000 4194304 5064252 140734486979008 140734486977920 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4034/statm: 2287 267 226 213 0 72 0
[pid=4035] ppid=4034 vsize=17752 CPUtime=9.26 cores=0,2,4,6
/proc/4035/stat : 4035 (glucose) R 4034 3985 982 0 -1 4202496 3841 0 0 0 926 0 0 0 20 0 1 0 385536380 18178048 4016 33554432000 4194304 5208918 140734619176160 140734619174024 4229695 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4035/statm: 4438 4016 102 248 0 4187 0
Current children cumulated CPU time (s) 86.22
Current children cumulated vsize (KiB) 47272
[startup+87.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4035
/proc/meminfo: memFree=30439060/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=76.96 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4541 54007 0 0 8 3 7665 20 20 0 1 0 385528678 11493376 2248 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2248 168 443 0 2359 0
[pid=4034] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4034/stat : 4034 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385536380 9367552 267 33554432000 4194304 5064252 140734486979008 140734486977920 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4034/statm: 2287 267 226 213 0 72 0
[pid=4035] ppid=4034 vsize=17752 CPUtime=10.06 cores=0,2,4,6
/proc/4035/stat : 4035 (glucose) R 4034 3985 982 0 -1 4202496 3841 0 0 0 1006 0 0 0 20 0 1 0 385536380 18178048 4016 33554432000 4194304 5208918 140734619176160 140734619174024 4229330 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4035/statm: 4438 4016 102 248 0 4187 0
Current children cumulated CPU time (s) 87.02
Current children cumulated vsize (KiB) 47272
[startup+87.9004 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4035
/proc/meminfo: memFree=30436632/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=76.96 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4541 54007 0 0 8 3 7665 20 20 0 1 0 385528678 11493376 2248 33554432000 4194304 6006132 140734593845680 140734593837088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2248 168 443 0 2359 0
[pid=4034] ppid=3986 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4034/stat : 4034 (satsolver.sh) S 3986 3985 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385536380 9367552 267 33554432000 4194304 5064252 140734486979008 140734486977920 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4034/statm: 2287 267 226 213 0 72 0
[pid=4035] ppid=4034 vsize=17752 CPUtime=10.86 cores=0,2,4,6
/proc/4035/stat : 4035 (glucose) R 4034 3985 982 0 -1 4202496 3845 0 0 0 1086 0 0 0 20 0 1 0 385536380 18178048 4017 33554432000 4194304 5208918 140734619176160 140734619174024 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4035/statm: 4438 4017 102 248 0 4187 0
Current children cumulated CPU time (s) 87.82
Current children cumulated vsize (KiB) 47272
[startup+88.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4035
/proc/meminfo: memFree=30436632/32873852 swapFree=7632/7632
[pid=3985] ppid=3983 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3985/stat : 3985 (npSolver-wbo.sh) S 3983 3985 982 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385528678 9367552 274 33554432000 4194304 5064252 140735542713424 140735542712336 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3985/statm: 2287 274 233 213 0 72 0
[pid=3986] ppid=3985 vsize=11224 CPUtime=88.03 cores=0,2,4,6
/proc/3986/stat : 3986 (npSolver-wbo) S 3985 3985 982 0 -1 4202496 4585 60696 0 0 8 3 8771 21 20 0 1 0 385528678 11493376 2249 33554432000 4194304 6006132 140734593845680 140734593841088 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3986/statm: 2806 2249 169 443 0 2359 0
Current children cumulated CPU time (s) 88.03
Current children cumulated vsize (KiB) 20372
Child status: 0
Real time (s): 88.1015
CPU time (s): 88.0476
CPU user time (s): 87.7986
CPU system time (s): 0.248962
CPU usage (%): 99.9388
Max. virtual memory (cumulated for all children) (KiB): 72476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.7987
system time used= 0.248962
maximum resident set size= 39928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269
involuntary context switches= 197
runsolver used 0.167974 second user time and 0.384941 second system time
The end