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-3754884-1339200958/watcher-3754884-1339200958 -o /tmp/evaluation-result-3754884-1339200958/solver-3754884-1339200958 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754884-1339200958.wbo 481904772 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: 5.00 4.11 3.18 4/181 25784
/proc/meminfo: memFree=17596624/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[startup+0.0813601 s]
/proc/loadavg: 5.00 4.11 3.18 4/181 25784
/proc/meminfo: memFree=17596624/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.185455 s]
/proc/loadavg: 5.00 4.11 3.18 4/181 25784
/proc/meminfo: memFree=17596624/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.317384 s]
/proc/loadavg: 5.00 4.11 3.18 4/181 25784
/proc/meminfo: memFree=17596624/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+4.29852 s]
/proc/loadavg: 5.00 4.11 3.18 4/181 25784
/proc/meminfo: memFree=17596624/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
[startup+4.54644 s]
/proc/loadavg: 4.76 4.07 3.18 5/182 25786
/proc/meminfo: memFree=24325888/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=278108 CPUtime=4.53 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) R 25784 25784 22170 0 -1 4202496 34265 0 0 0 441 12 0 0 20 0 1 0 386224411 284782592 67438 33554432000 4194304 6006132 140736425841152 140736425836504 4202896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 69527 67438 149 443 0 69080 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 287256
[startup+6.38663 s]
/proc/loadavg: 4.76 4.07 3.18 5/182 25786
/proc/meminfo: memFree=24325888/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=335484 CPUtime=6.38 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4202496 35138 0 0 0 484 154 0 0 20 0 1 0 386224411 343535616 76486 33554432000 4194304 6006132 140736425841152 140736425834256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 83871 76486 156 443 0 83424 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 344632
[startup+6.56137 s]
/proc/loadavg: 4.76 4.07 3.18 5/182 25786
/proc/meminfo: memFree=24325888/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=335484 CPUtime=6.38 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4202496 35138 0 0 0 484 154 0 0 20 0 1 0 386224411 343535616 76486 33554432000 4194304 6006132 140736425841152 140736425834256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 83871 76486 156 443 0 83424 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 344632
[startup+14.0105 s]
/proc/loadavg: 4.76 4.07 3.18 3/184 25788
/proc/meminfo: memFree=24081492/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=335484 CPUtime=6.38 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4202496 35138 0 0 0 484 154 0 0 20 0 1 0 386224411 343535616 76486 33554432000 4194304 6006132 140736425841152 140736425834256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 83871 76486 156 443 0 83424 0
[pid=25787] ppid=25785 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (cp2_pre.sh) S 25785 25784 22170 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386225049 9367552 277 33554432000 4194304 5064252 140736650297840 140736650296544 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25787/statm: 2287 277 234 213 0 72 0
[pid=25788] ppid=25787 vsize=477040 CPUtime=7.61 cores=1,3,5,7
/proc/25788/stat : 25788 (coprocessor) R 25787 25784 22170 0 -1 4202496 35442 0 0 0 748 13 0 0 20 0 1 0 386225049 488488960 115781 33554432000 4194304 6586260 140733752027632 140733752023000 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25788/statm: 119260 115781 188 584 0 118672 0
Current children cumulated CPU time (s) 13.99
Current children cumulated vsize (KiB) 830820
[startup+63.8478 s]
/proc/loadavg: 4.76 4.07 3.18 3/184 25788
/proc/meminfo: memFree=24081492/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=335484 CPUtime=6.38 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4202496 35138 0 0 0 484 154 0 0 20 0 1 0 386224411 343535616 76486 33554432000 4194304 6006132 140736425841152 140736425834256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 83871 76486 156 443 0 83424 0
[pid=25787] ppid=25785 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (cp2_pre.sh) S 25785 25784 22170 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386225049 9367552 277 33554432000 4194304 5064252 140736650297840 140736650296544 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25787/statm: 2287 277 234 213 0 72 0
[pid=25788] ppid=25787 vsize=481396 CPUtime=57.44 cores=1,3,5,7
/proc/25788/stat : 25788 (coprocessor) R 25787 25784 22170 0 -1 4202496 36542 0 0 0 5731 13 0 0 20 0 1 0 386225049 492949504 116881 33554432000 4194304 6586260 140733752027632 140733752023224 5599579 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25788/statm: 120349 116881 188 584 0 119761 0
Current children cumulated CPU time (s) 63.82
Current children cumulated vsize (KiB) 835176
[startup+73.6765 s]
/proc/loadavg: 4.76 4.07 3.18 3/184 25788
/proc/meminfo: memFree=24081492/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=335484 CPUtime=6.38 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4202496 35138 0 0 0 484 154 0 0 20 0 1 0 386224411 343535616 76486 33554432000 4194304 6006132 140736425841152 140736425834256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 83871 76486 156 443 0 83424 0
[pid=25787] ppid=25785 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25787/stat : 25787 (cp2_pre.sh) S 25785 25784 22170 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 386225049 9367552 277 33554432000 4194304 5064252 140736650297840 140736650296544 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25787/statm: 2287 277 234 213 0 72 0
[pid=25788] ppid=25787 vsize=481528 CPUtime=67.26 cores=1,3,5,7
/proc/25788/stat : 25788 (coprocessor) R 25787 25784 22170 0 -1 4202496 36587 0 0 0 6713 13 0 0 20 0 1 0 386225049 493084672 116926 33554432000 4194304 6586260 140733752027632 140733752023960 4663428 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/25788/statm: 120382 116926 190 584 0 119794 0
Current children cumulated CPU time (s) 73.64
Current children cumulated vsize (KiB) 835308
[startup+102.3 s]
/proc/loadavg: 2.56 3.50 3.06 3/181 25797
/proc/meminfo: memFree=21677716/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=3489192 CPUtime=102.43 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) R 25784 25784 22170 0 -1 4202496 279280 75464 0 1 2802 336 7049 56 20 0 1 0 386224411 3572932608 738117 33554432000 4194304 6006132 140736425841152 140736425833512 4580492 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 872298 738117 177 443 0 871851 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 3498340
[startup+162.3 s]
/proc/loadavg: 2.24 3.24 2.99 3/181 25797
/proc/meminfo: memFree=16890308/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=9780648 CPUtime=162.42 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) R 25784 25784 22170 0 -1 4202496 285687 75464 0 1 8614 523 7049 56 20 0 1 0 386224411 10015383552 1922373 33554432000 4194304 6006132 140736425841152 140736425833864 4583817 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25785/statm: 2445162 1922373 177 443 0 2444715 0
Current children cumulated CPU time (s) 162.42
Current children cumulated vsize (KiB) 9789796
[startup+222.3 s]
/proc/loadavg: 3.20 3.27 3.02 2/182 25799
/proc/meminfo: memFree=8520188/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=199.25 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 761 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 199.25
Current children cumulated vsize (KiB) 8815168
[startup+282.3 s]
/proc/loadavg: 4.62 3.68 3.17 2/183 25802
/proc/meminfo: memFree=5313708/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=200.39 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 875 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 200.39
Current children cumulated vsize (KiB) 8815168
heavy processes:
%CPU=21 pid=25799 uid=0 cmd=
[startup+342.3 s]
/proc/loadavg: 4.98 3.96 3.30 3/182 25802
/proc/meminfo: memFree=1746848/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=201.86 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1022 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 201.86
Current children cumulated vsize (KiB) 8815168
heavy processes:
%CPU=17 pid=25799 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25785 6 506 18446744073709551615
[startup+402.3 s]
/proc/loadavg: 5.31 4.22 3.42 2/182 25802
/proc/meminfo: memFree=748556/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
heavy processes:
%CPU=13 pid=25799 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25785 6 506 18446744073709551615
[startup+462.3 s]
/proc/loadavg: 5.50 4.48 3.56 2/182 25802
/proc/meminfo: memFree=749300/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
heavy processes:
%CPU=10 pid=25799 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25785 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+464.8 s]
/proc/loadavg: 5.38 4.47 3.56 2/182 25802
/proc/meminfo: memFree=749256/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
[startup+466.4 s]
/proc/loadavg: 5.38 4.47 3.56 2/182 25802
/proc/meminfo: memFree=752232/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
[startup+468 s]
/proc/loadavg: 5.38 4.47 3.56 2/182 25802
/proc/meminfo: memFree=752324/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
[startup+468.8 s]
/proc/loadavg: 5.27 4.46 3.57 2/182 25802
/proc/meminfo: memFree=752820/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
[startup+469.2 s]
/proc/loadavg: 5.27 4.46 3.57 2/182 25802
/proc/meminfo: memFree=752820/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
[startup+469.3 s]
/proc/loadavg: 5.27 4.46 3.57 2/182 25802
/proc/meminfo: memFree=752820/32873844 swapFree=7636/7636
[pid=25784] ppid=25782 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25784/stat : 25784 (npSolver-wbo.sh) S 25782 25784 22170 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386224410 9367552 274 33554432000 4194304 5064252 140737104292656 140737104291568 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25784/statm: 2287 274 233 213 0 72 0
[pid=25785] ppid=25784 vsize=8806020 CPUtime=202.24 cores=1,3,5,7
/proc/25785/stat : 25785 (npSolver-wbo) S 25784 25784 22170 0 -1 4204032 286791 75464 0 1 12059 1060 7049 56 20 0 1 0 386224411 9017364480 2177857 33554432000 4194304 6006132 140736425841152 140736425833096 5252949 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25785/statm: 2201505 2177857 229 443 0 2201058 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 8815168
Child status: 0
Real time (s): 469.376
CPU time (s): 202.291
CPU user time (s): 191.087
CPU system time (s): 11.2043
CPU usage (%): 43.0979
Max. virtual memory (cumulated for all children) (KiB): 13984100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.087
system time used= 11.2043
maximum resident set size= 9739540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362629
page faults= 1
swaps= 0
block input operations= 72
block output operations= 143400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1820904
involuntary context switches= 348
runsolver used 1.36679 second user time and 2.82957 second system time
The end