runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3438867-1306904568/watcher-3438867-1306904568 -o /tmp/evaluation-result-3438867-1306904568/solver-3438867-1306904568 -C 5000 -W 5100 -M 15500 ./jMiniSat -sc-mode HOME/instance-3438867-1306904568.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.00 2.03 2.00 3/568 7200
/proc/meminfo: memFree=4959472/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[startup+0.0367979 s]
/proc/loadavg: 2.00 2.03 2.00 3/568 7200
/proc/meminfo: memFree=4959472/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.100787 s]
/proc/loadavg: 2.00 2.03 2.00 3/568 7200
/proc/meminfo: memFree=4959472/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.330802 s]
/proc/loadavg: 2.00 2.03 2.00 3/568 7200
/proc/meminfo: memFree=4959472/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700677 s]
/proc/loadavg: 2.00 2.03 2.00 3/568 7200
/proc/meminfo: memFree=4959472/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50156 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 7220
/proc/meminfo: memFree=4903644/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14657680 CPUtime=2.03 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 23150 0 1 0 199 4 0 0 25 0 18 0 802057243 15009464320 19932 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3664420 19933 2204 9 0 3654899 0
[pid=7202/tid=7203] ppid=7200 vsize=14657680 CPUtime=1.48 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7200 5511 0 -1 4202560 15694 0 1 0 146 2 0 0 19 0 18 0 802057243 15009464320 19933 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 46912505538970 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19934 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19934 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19936 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19936 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19936 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19936 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19936 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 19937 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 802057245 15009464320 19937 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 802057245 15009464320 19937 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 802057245 15009464320 19938 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15009464320 19938 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14657680 CPUtime=0.32 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2043 0 0 0 32 0 0 0 17 0 18 0 802057248 15009464320 19939 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14657680 CPUtime=0.19 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4269 0 0 0 19 0 0 0 15 0 18 0 802057248 15009464320 19941 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15009464320 19941 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802057248 15009464320 19941 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 14666380
[startup+3.10128 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 7220
/proc/meminfo: memFree=4865700/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14657680 CPUtime=3.71 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 35237 0 1 0 366 5 0 0 25 0 18 0 802057243 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3664420 31798 2211 9 0 3654899 0
[pid=7202/tid=7203] ppid=7200 vsize=14657680 CPUtime=3.08 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7200 5511 0 -1 4202560 27546 0 1 0 305 3 0 0 23 0 18 0 802057243 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 46912505538970 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057244 15009464320 31798 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 802057245 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 18 0 802057245 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 802057245 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14657680 CPUtime=0.38 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2052 0 0 0 38 0 0 0 15 0 18 0 802057248 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14657680 CPUtime=0.23 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4494 0 0 0 23 0 0 0 15 0 18 0 802057248 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14657680 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802057248 15009464320 31799 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 14666380
[startup+6.30069 s]
/proc/loadavg: 2.00 2.03 2.00 3/587 7220
/proc/meminfo: memFree=4781884/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14655328 CPUtime=6.92 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 55874 0 1 0 684 8 0 0 25 0 18 0 802057243 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3663832 52042 2225 9 0 3654311 0
[pid=7202/tid=7203] ppid=7200 vsize=14655328 CPUtime=6.25 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7200 5511 0 -1 4202560 46019 0 1 0 619 6 0 0 19 0 18 0 802057243 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 46912505763630 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14655328 CPUtime=0.01 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1015 0 0 0 1 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1142 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 802057244 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 802057245 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14655328 CPUtime=0.38 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2052 0 0 0 38 0 0 0 15 0 18 0 802057248 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14655328 CPUtime=0.23 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4494 0 0 0 23 0 0 0 15 0 18 0 802057248 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 802057248 15007055872 52042 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.92
################
# More data... #
################
[pid=7202/tid=7204] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1173 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14655328 CPUtime=0.04 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1938 0 0 0 4 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14655328 CPUtime=0.01 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1523 0 0 0 1 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14655328 CPUtime=0.03 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1743 0 0 0 3 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1748 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1356 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1140 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14655328 CPUtime=0.39 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2056 0 0 0 39 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14655328 CPUtime=0.23 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4494 0 0 0 23 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 14664028
[startup+57.5014 s]
/proc/loadavg: 2.05 2.04 2.00 3/587 7224
/proc/meminfo: memFree=4405764/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14655328 CPUtime=58.25 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 96412 0 1 0 5811 14 0 0 25 0 18 0 802057243 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3663832 92502 2230 9 0 3654311 0
[pid=7202/tid=7203] ppid=7200 vsize=14655328 CPUtime=57.38 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7200 5511 0 -1 4202560 78028 0 1 0 5727 11 0 0 25 0 18 0 802057243 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 46912505599347 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1173 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14655328 CPUtime=0.04 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1938 0 0 0 4 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14655328 CPUtime=0.01 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1523 0 0 0 1 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14655328 CPUtime=0.03 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1743 0 0 0 3 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1748 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1356 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1140 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14655328 CPUtime=0.39 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2056 0 0 0 39 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14655328 CPUtime=0.23 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4494 0 0 0 23 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 802057248 15007055872 92502 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.25
Current children cumulated vsize (KiB) 14664028
[startup+57.7013 s]
/proc/loadavg: 2.05 2.04 2.00 3/587 7224
/proc/meminfo: memFree=4405764/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14655328 CPUtime=58.46 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 96414 0 1 0 5832 14 0 0 25 0 18 0 802057243 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3663832 92504 2230 9 0 3654311 0
[pid=7202/tid=7203] ppid=7200 vsize=14655328 CPUtime=57.58 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) R 7200 7200 5511 0 -1 4202560 78030 0 1 0 5747 11 0 0 25 0 18 0 802057243 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652686155 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1173 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14655328 CPUtime=0.04 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1938 0 0 0 4 0 0 0 16 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14655328 CPUtime=0.01 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1523 0 0 0 1 0 0 0 15 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14655328 CPUtime=0.03 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1743 0 0 0 3 0 0 0 16 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1748 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1356 0 0 0 2 0 0 0 16 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1140 0 0 0 2 0 0 0 15 0 18 0 802057244 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 802057245 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 802057245 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652683185 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14655328 CPUtime=0.4 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) R 7200 7200 5511 0 -1 4202560 2056 0 0 0 40 0 0 0 15 0 18 0 802057248 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 47230167661600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14655328 CPUtime=0.23 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) R 7200 7200 5511 0 -1 4202560 4494 0 0 0 23 0 0 0 15 0 18 0 802057248 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 802057248 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7220] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7220/stat : 7220 (java) S 7200 7200 5511 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 802057248 15007055872 92504 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.46
Current children cumulated vsize (KiB) 14664028
[startup+57.8014 s]
/proc/loadavg: 2.05 2.04 2.00 3/587 7224
/proc/meminfo: memFree=4405764/32951124 swapFree=53733252/67111528
[pid=7200] ppid=7198 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/7200/stat : 7200 (jMiniSat) S 7198 7200 5511 0 -1 4202496 349 233 0 0 0 0 0 0 25 0 1 0 802057242 8908800 249 33554432000 4194304 4922060 140735560965968 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/7200/statm: 2175 249 209 178 0 68 0
[pid=7202] ppid=7200 vsize=14655328 CPUtime=58.66 cores=0,2,4,6
/proc/7202/stat : 7202 (java) S 7200 7200 5511 0 -1 4202496 96453 0 1 0 5851 15 0 0 25 0 17 0 802057243 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7202/statm: 3663832 92542 2246 9 0 3654311 0
[pid=7202/tid=7203] ppid=7200 vsize=14655328 CPUtime=57.66 cores=0,2,4,6
/proc/7202/task/7203/stat : 7203 (java) S 7200 7200 5511 0 -1 4202560 78038 0 1 0 5755 11 0 0 18 0 17 0 802057243 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7204] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7204/stat : 7204 (java) S 7200 7200 5511 0 -1 4202560 1173 0 0 0 2 0 0 0 15 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7205] ppid=7200 vsize=14655328 CPUtime=0.04 cores=0,2,4,6
/proc/7202/task/7205/stat : 7205 (java) S 7200 7200 5511 0 -1 4202560 1938 0 0 0 4 0 0 0 16 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7206] ppid=7200 vsize=14655328 CPUtime=0.01 cores=0,2,4,6
/proc/7202/task/7206/stat : 7206 (java) S 7200 7200 5511 0 -1 4202560 1523 0 0 0 1 0 0 0 15 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7207] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7207/stat : 7207 (java) S 7200 7200 5511 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7208] ppid=7200 vsize=14655328 CPUtime=0.03 cores=0,2,4,6
/proc/7202/task/7208/stat : 7208 (java) S 7200 7200 5511 0 -1 4202560 1743 0 0 0 3 0 0 0 16 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7209] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7209/stat : 7209 (java) S 7200 7200 5511 0 -1 4202560 1748 0 0 0 2 0 0 0 16 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7210] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7210/stat : 7210 (java) S 7200 7200 5511 0 -1 4202560 1356 0 0 0 2 0 0 0 16 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7211] ppid=7200 vsize=14655328 CPUtime=0.02 cores=0,2,4,6
/proc/7202/task/7211/stat : 7211 (java) S 7200 7200 5511 0 -1 4202560 1140 0 0 0 2 0 0 0 15 0 17 0 802057244 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 4 0 0 0
[pid=7202/tid=7213] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7213/stat : 7213 (java) S 7200 7200 5511 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 17 0 802057245 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652676096 0 0 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7214] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7214/stat : 7214 (java) S 7200 7200 5511 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 802057245 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7215] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7215/stat : 7215 (java) S 7200 7200 5511 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 17 0 802057245 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7216] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7216/stat : 7216 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 17 0 802057248 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
[pid=7202/tid=7217] ppid=7200 vsize=14655328 CPUtime=0.46 cores=0,2,4,6
/proc/7202/task/7217/stat : 7217 (java) S 7200 7200 5511 0 -1 4202560 2070 0 0 0 46 0 0 0 15 0 17 0 802057248 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 0 0 0 0
[pid=7202/tid=7218] ppid=7200 vsize=14655328 CPUtime=0.27 cores=0,2,4,6
/proc/7202/task/7218/stat : 7218 (java) S 7200 7200 5511 0 -1 4202560 4509 0 0 0 27 0 0 0 16 0 17 0 802057248 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 6 0 0 0
[pid=7202/tid=7219] ppid=7200 vsize=14655328 CPUtime=0 cores=0,2,4,6
/proc/7202/task/7219/stat : 7219 (java) S 7200 7200 5511 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 802057248 15007055872 92542 33554432000 1073741824 1073778376 140737118862080 18446744073709551615 253652675481 0 4 0 16800975 18446604442454526144 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 58.66
Current children cumulated vsize (KiB) 14664028
Child status: 10
Real time (s): 57.8239
CPU time (s): 58.6841
CPU user time (s): 58.5131
CPU system time (s): 0.170974
CPU usage (%): 101.488
Max. virtual memory (cumulated for all children) (KiB): 14666380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.5131
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97042
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1735
involuntary context switches= 283
runsolver used 0.382941 second user time and 0.729889 second system time
The end