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-3697045-1338077362/watcher-3697045-1338077362 -o /tmp/evaluation-result-3697045-1338077362/solver-3697045-1338077362 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3697045-1338077362.opb 138023006 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.05 2.05 2.01 3/177 2685
/proc/meminfo: memFree=27314952/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[startup+0.0952891 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 2685
/proc/meminfo: memFree=27314952/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 2685
/proc/meminfo: memFree=27314952/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300253 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 2685
/proc/meminfo: memFree=27314952/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 2685
/proc/meminfo: memFree=27314952/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 2687
/proc/meminfo: memFree=27268944/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=67564 CPUtime=1.49 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 3685 0 0 0 148 1 0 0 20 0 1 0 273860290 69185536 8753 33554432000 4194304 5873084 140733612700272 140733612696936 4420289 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 16891 8753 146 410 0 16473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76712
[startup+3.10031 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 2687
/proc/meminfo: memFree=27221344/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=133100 CPUtime=3.08 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 4245 0 0 0 306 2 0 0 20 0 1 0 273860290 136294400 17457 33554432000 4194304 5873084 140733612700272 140733612696552 4327221 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 33275 17457 146 410 0 32857 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142248
[startup+6.30023 s]
/proc/loadavg: 2.12 2.07 2.01 2/179 2687
/proc/meminfo: memFree=24269936/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=264172 CPUtime=6.29 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 4854 0 0 0 623 6 0 0 20 0 1 0 273860290 270512128 34865 33554432000 4194304 5873084 140733612700272 140733612696936 4746303 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 66043 34865 146 410 0 65625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 273320
[startup+12.7003 s]
/proc/loadavg: 2.19 2.08 2.02 3/181 2689
/proc/meminfo: memFree=24901600/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=526316 CPUtime=12.68 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 5561 0 0 0 1257 11 0 0 20 0 1 0 273860290 538947584 69681 33554432000 4194304 5873084 140733612700272 140733612696936 4779619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 131579 69681 146 410 0 131161 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 535464
[startup+25.5003 s]
/proc/loadavg: 2.32 2.11 2.02 3/181 2689
/proc/meminfo: memFree=23483244/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=1050604 CPUtime=25.48 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 6462 0 0 0 2525 23 0 0 20 0 1 0 273860290 1075818496 138289 33554432000 4194304 5873084 140733612700272 140733612696552 4746274 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 262651 138289 146 410 0 262233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1059752
[startup+51.1003 s]
/proc/loadavg: 2.38 2.15 2.04 3/182 2692
/proc/meminfo: memFree=22296380/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=2099180 CPUtime=51.08 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 7752 0 0 0 5061 47 0 0 20 0 1 0 273860290 2149560320 274993 33554432000 4194304 5873084 140733612700272 140733612696552 4394360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 524795 274993 146 410 0 524377 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2108328
[startup+102.3 s]
/proc/loadavg: 2.22 2.14 2.04 3/181 2692
/proc/meminfo: memFree=20967484/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=4196332 CPUtime=102.27 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 9816 0 0 0 10133 94 0 0 20 0 1 0 273860290 4297043968 545841 33554432000 4194304 5873084 140733612700272 140733612696552 4664183 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 1049083 545841 146 410 0 1048665 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4205480
[startup+162.3 s]
/proc/loadavg: 2.08 2.11 2.03 3/181 2692
/proc/meminfo: memFree=19639540/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=4196332 CPUtime=162.26 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 10439 0 0 0 16113 113 0 0 20 0 1 0 273860290 4297043968 864817 33554432000 4194304 5873084 140733612700272 140733612696552 4391052 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 1049083 864817 146 410 0 1048665 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4205480
[startup+222.3 s]
/proc/loadavg: 2.03 2.09 2.03 3/181 2692
/proc/meminfo: memFree=18308368/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8390636 CPUtime=222.25 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 13608 0 0 0 22034 191 0 0 20 0 1 0 273860290 8592011264 1177137 33554432000 4194304 5873084 140733612700272 140733612696552 4746356 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2097659 1177137 146 410 0 2097241 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 8399784
[startup+282.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/181 2693
/proc/meminfo: memFree=16879468/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8390636 CPUtime=282.25 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 14231 0 0 0 28015 210 0 0 20 0 1 0 273860290 8592011264 1496113 33554432000 4194304 5873084 140733612700272 140733612696552 4708086 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2097659 1496113 146 410 0 2097241 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 8399784
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/181 2693
/proc/meminfo: memFree=15595088/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8390636 CPUtime=342.24 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 14849 0 0 0 33995 229 0 0 20 0 1 0 273860290 8592011264 1812529 33554432000 4194304 5873084 140733612700272 140733612696552 4746372 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2097659 1812529 146 410 0 2097241 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 8399784
[startup+402.306 s]
/proc/loadavg: 2.00 2.04 2.01 3/181 2693
/proc/meminfo: memFree=14403916/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=582.2 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) R 2685 2685 31659 0 -1 4202496 15616 0 0 0 57974 246 0 0 20 0 1 0 273860290 8659120128 2097412 33554432000 4194304 5873084 140733612700272 140733612696232 4745515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2114043 2097412 189 410 0 2113625 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 8465320
[startup+642.3 s]
/proc/loadavg: 3.25 2.32 2.10 2/184 2699
/proc/meminfo: memFree=11415968/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=614.04 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 451 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 614.04
Current children cumulated vsize (KiB) 8465320
[startup+702.3 s]
/proc/loadavg: 3.86 2.67 2.23 2/182 2701
/proc/meminfo: memFree=7044616/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=614.45 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 492 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 614.45
Current children cumulated vsize (KiB) 8465320
[startup+762.3 s]
/proc/loadavg: 4.17 2.96 2.35 2/182 2701
/proc/meminfo: memFree=3889404/32873648 swapFree=7360/7360
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=615.28 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 575 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 615.28
Current children cumulated vsize (KiB) 8465320
[startup+822.3 s]
/proc/loadavg: 4.46 3.25 2.49 3/182 2701
/proc/meminfo: memFree=190828/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.49 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 696 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.49
Current children cumulated vsize (KiB) 8465320
heavy processes:
%CPU=11 pid=2695 uid=0 cmd=
[startup+882.3 s]
/proc/loadavg: 4.87 3.60 2.66 2/182 2702
/proc/meminfo: memFree=258608/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
heavy processes:
%CPU=10 pid=2695 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 2686 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+899.4 s]
/proc/loadavg: 4.90 3.66 2.69 3/182 2702
/proc/meminfo: memFree=236348/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+912.2 s]
/proc/loadavg: 4.92 3.73 2.73 2/182 2702
/proc/meminfo: memFree=237900/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+918.6 s]
/proc/loadavg: 4.93 3.75 2.74 2/182 2702
/proc/meminfo: memFree=229788/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+921.8 s]
/proc/loadavg: 4.93 3.77 2.75 2/182 2702
/proc/meminfo: memFree=225056/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+925 s]
/proc/loadavg: 4.93 3.77 2.75 2/182 2702
/proc/meminfo: memFree=250360/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+925.8 s]
/proc/loadavg: 4.94 3.79 2.76 2/182 2702
/proc/meminfo: memFree=249120/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+926.2 s]
/proc/loadavg: 4.94 3.79 2.76 2/182 2702
/proc/meminfo: memFree=249120/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
[startup+926.407 s]
/proc/loadavg: 4.94 3.79 2.76 2/182 2702
/proc/meminfo: memFree=248624/32873648 swapFree=7368/7368
[pid=2685] ppid=2683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2685/stat : 2685 (runPb2sat.sh) S 2683 2685 31659 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273860290 9367552 274 33554432000 4194304 5064252 140736481899296 140736481898208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2685/statm: 2287 274 233 213 0 72 0
[pid=2686] ppid=2685 vsize=8456172 CPUtime=616.97 cores=1,3,5,7
/proc/2686/stat : 2686 (pb2sat) S 2685 2685 31659 0 -1 4204032 15964 0 0 0 60953 744 0 0 20 0 1 0 273860290 8659120128 2097627 33554432000 4194304 5873084 140733612700272 140733612697144 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2686/statm: 2114043 2097627 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (KiB) 8465320
Child status: 0
Real time (s): 926.472
CPU time (s): 616.997
CPU user time (s): 609.532
CPU system time (s): 7.46487
CPU usage (%): 66.5965
Max. virtual memory (cumulated for all children) (KiB): 12594088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 609.532
system time used= 7.46486
maximum resident set size= 8390852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1760203
involuntary context switches= 666
runsolver used 1.44978 second user time and 3.69844 second system time
The end