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-3499174-1308506768/watcher-3499174-1308506768 -o /tmp/evaluation-result-3499174-1308506768/solver-3499174-1308506768 -C 5000 -W 5100 -M 15500 HOME/SATzilla2009_C HOME/instance-3499174-1308506768.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.06 2.03 1.99 2/176 19227
/proc/meminfo: memFree=27564356/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0

[startup+0.0662111 s]
/proc/loadavg: 2.06 2.03 1.99 2/176 19227
/proc/meminfo: memFree=27564356/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100249 s]
/proc/loadavg: 2.06 2.03 1.99 2/176 19227
/proc/meminfo: memFree=27564356/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.300174 s]
/proc/loadavg: 2.06 2.03 1.99 2/176 19227
/proc/meminfo: memFree=27564356/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.701143 s]
/proc/loadavg: 2.06 2.03 1.99 2/176 19227
/proc/meminfo: memFree=27564356/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+1.501 s]
/proc/loadavg: 2.06 2.03 1.99 3/184 19239
/proc/meminfo: memFree=27548068/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
[pid=19228] ppid=19227 vsize=13932 CPUtime=1.49 cores=0,2,4,6
/proc/19228/stat : 19228 (march_dl2004) R 19227 19227 18396 0 -1 4202496 9978 0 0 0 149 0 0 0 23 0 1 0 962274744 14266368 2341 33554432000 134512640 134996440 4290097536 18446744073709551615 134532970 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/19228/statm: 3483 2341 75 119 0 3362 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16068

[startup+3.10066 s]
/proc/loadavg: 2.06 2.03 1.99 3/184 19239
/proc/meminfo: memFree=27546952/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 163 0 0 0 0 0 0 0 18 0 1 0 962274744 2187264 114 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 114 97 400 0 131 0
[pid=19228] ppid=19227 vsize=14316 CPUtime=3.09 cores=0,2,4,6
/proc/19228/stat : 19228 (march_dl2004) R 19227 19227 18396 0 -1 4202496 10062 0 0 0 309 0 0 0 25 0 1 0 962274744 14659584 2425 33554432000 134512640 134996440 4290097536 18446744073709551615 134533010 0 0 8392704 0 0 0 0 17 0 0 0 0
/proc/19228/statm: 3579 2425 75 119 0 3458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16452

[startup+6.30108 s]
/proc/loadavg: 2.06 2.03 1.99 3/184 19241
/proc/meminfo: memFree=27548940/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=2136 CPUtime=4.98 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 188 10113 0 0 0 0 498 0 18 0 1 0 962274744 2187264 127 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 0 0 0 0
/proc/19227/statm: 534 127 108 400 0 131 0
[pid=19240] ppid=19227 vsize=7376 CPUtime=1.29 cores=0,2,4,6
/proc/19240/stat : 19240 (mxc-sr08) R 19227 19227 18396 0 -1 4202496 2205 0 0 0 129 0 0 0 22 0 1 0 962275244 7553024 1730 33554432000 134512640 135078026 4294679216 18446744073709551615 134534215 0 0 8392704 0 0 0 0 17 2 0 0 0
/proc/19240/statm: 1844 1730 73 139 0 1703 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9512

[startup+12.7009 s]
/proc/loadavg: 2.05 2.02 1.99 3/182 19243
/proc/meminfo: memFree=27549340/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=6848 CPUtime=12.35 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 2330 15097 0 0 208 0 1026 1 18 0 1 0 962274744 7012352 1329 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 0 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 1712 1329 137 400 0 1309 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 6848

[startup+25.5006 s]
/proc/loadavg: 2.04 2.02 1.99 3/184 19248
/proc/meminfo: memFree=27522532/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=3696 CPUtime=4.82 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 626 0 11 0 466 16 0 0 25 0 1 0 962276807 3784704 596 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 924 596 154 56 0 478 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 16036

[startup+51.101 s]
/proc/loadavg: 2.02 2.02 1.99 3/184 19249
/proc/meminfo: memFree=27496792/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=3932 CPUtime=30.42 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 676 0 11 0 2968 74 0 0 25 0 1 0 962276807 4026368 646 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 983 646 154 56 0 537 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 16272

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.99 3/184 19250
/proc/meminfo: memFree=27485352/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=4052 CPUtime=81.62 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 713 0 11 0 8008 154 0 0 25 0 1 0 962276807 4149248 683 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 1013 683 154 56 0 567 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 16392

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/184 19251
/proc/meminfo: memFree=27471312/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=4168 CPUtime=141.61 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 735 0 11 0 13925 236 0 0 25 0 1 0 962276807 4268032 705 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 1042 705 154 56 0 596 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 16508

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 19253
/proc/meminfo: memFree=27464092/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=4168 CPUtime=201.62 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 749 0 11 0 19851 311 0 0 25 0 1 0 962276807 4268032 719 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 1042 719 154 56 0 596 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 16508

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 19255
/proc/meminfo: memFree=27463212/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=4168 CPUtime=261.62 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 756 0 11 0 25779 383 0 0 25 0 1 0 962276807 4268032 726 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 1042 726 154 56 0 596 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16508

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/184 19256
/proc/meminfo: memFree=27460944/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=4288 CPUtime=321.62 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 765 0 11 0 31706 456 0 0 25 0 1 0 962276807 4390912 735 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 1072 735 154 56 0 626 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 16628

[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 19258
/proc/meminfo: memFree=27454100/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=9788 CPUtime=381.62 cores=0,2,4,6

################
# More data... #
################


[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 19277
/proc/meminfo: memFree=27409168/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=20188 CPUtime=1101.64 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 4751 0 11 0 109141 1023 0 0 25 0 1 0 962276807 20672512 4721 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5047 4721 154 56 0 4601 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 32528

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 19279
/proc/meminfo: memFree=27409016/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=20188 CPUtime=1161.65 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 4751 0 11 0 115132 1033 0 0 25 0 1 0 962276807 20672512 4721 33554432000 134512640 134738160 4287756304 18446744073709551615 134586185 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5047 4721 154 56 0 4601 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 32528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19280
/proc/meminfo: memFree=27400552/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=20188 CPUtime=1221.64 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 4751 0 11 0 121125 1039 0 0 25 0 1 0 962276807 20672512 4721 33554432000 134512640 134738160 4287756304 18446744073709551615 134578502 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5047 4721 154 56 0 4601 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 32528

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19282
/proc/meminfo: memFree=27400032/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=20188 CPUtime=1281.66 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 4751 0 11 0 127120 1046 0 0 25 0 1 0 962276807 20672512 4721 33554432000 134512640 134738160 4287756304 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5047 4721 154 56 0 4601 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 32528

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 19283
/proc/meminfo: memFree=27397392/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=21464 CPUtime=1341.65 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5040 0 11 0 133114 1051 0 0 25 0 1 0 962276807 21979136 5010 33554432000 134512640 134738160 4287756304 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5366 5010 154 56 0 4920 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 33804

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 19285
/proc/meminfo: memFree=27396248/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1401.65 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 139081 1084 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 34728

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396228/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1461.65 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 145013 1152 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 34728

Solver just ended. Dumping a history of the last processes samples

[startup+1484.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396228/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1464.05 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 145251 1154 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1484.65
Current children cumulated vsize (KiB) 34728

[startup+1487.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396224/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1467.26 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 145567 1159 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1487.86
Current children cumulated vsize (KiB) 34728

[startup+1491.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396220/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1470.46 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 145884 1162 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1491.06
Current children cumulated vsize (KiB) 34728

[startup+1492.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396096/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1472.06 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 146043 1163 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1492.66
Current children cumulated vsize (KiB) 34728

[startup+1493.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396096/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1472.45 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 146081 1164 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1493.05
Current children cumulated vsize (KiB) 34728

[startup+1493.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396096/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1472.65 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 146101 1164 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1493.25
Current children cumulated vsize (KiB) 34728

[startup+1493.4 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 19287
/proc/meminfo: memFree=27396096/32951124 swapFree=67054548/67111528
[pid=19227] ppid=19225 vsize=12340 CPUtime=20.6 cores=0,2,4,6
/proc/19227/stat : 19227 (SATzilla2009_C) S 19225 19227 18396 0 -1 4202496 4146 18043 0 0 830 2 1224 4 25 0 1 0 962274744 12636160 2863 33554432000 134512640 136149437 4290859424 18446744073709551615 135542781 0 0 4096 3 18446744071562232103 0 0 17 4 0 0 0
/proc/19227/statm: 3085 2863 220 400 0 2682 0
[pid=19248] ppid=19227 vsize=22388 CPUtime=1472.75 cores=0,2,4,6
/proc/19248/stat : 19248 (vallst) R 19227 19227 18396 0 -1 4202496 5279 0 11 0 146111 1164 0 0 25 0 1 0 962276807 22925312 5249 33554432000 134512640 134738160 4287756304 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 4 0 0 4
/proc/19248/statm: 5597 5249 154 56 0 5151 0
Current children cumulated CPU time (s) 1493.35
Current children cumulated vsize (KiB) 34728

Child status: 10
Real time (s): 1493.49
CPU time (s): 1493.47
CPU user time (s): 1481.75
CPU system time (s): 11.7252
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 34784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1481.75
system time used= 11.7252
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27486
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 2403

runsolver used 2.43463 second user time and 4.82926 second system time

The end