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-3459523-1307147469/watcher-3459523-1307147469 -o /tmp/evaluation-result-3459523-1307147469/solver-3459523-1307147469 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459523-1307147469.opb
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: 1.44 1.41 1.71 2/345 24283
/proc/meminfo: memFree=24058772/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 3892 0 1 0 0 0 0 0 25 0 2 0 904977500 13850947584 3594 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3381579 3608 917 9 0 3372735 0
[pid=24283/tid=24284] ppid=24281 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 2851 0 1 0 0 0 0 0 25 0 2 0 904977500 13850947584 3667 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0370479 s]
/proc/loadavg: 1.44 1.41 1.71 2/345 24283
/proc/meminfo: memFree=24058772/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13547424 CPUtime=0.03 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 13494 0 1 0 2 1 0 0 25 0 11 0 904977500 13872562176 13193 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3386856 13193 1608 9 0 3377604 0
[pid=24283/tid=24284] ppid=24281 vsize=13547424 CPUtime=0.03 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 12370 0 1 0 2 1 0 0 25 0 11 0 904977500 13872562176 13193 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 47326571464216 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13547424
[startup+0.101037 s]
/proc/loadavg: 1.44 1.41 1.71 2/345 24283
/proc/meminfo: memFree=24058772/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13622276 CPUtime=0.11 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 15609 0 1 0 10 1 0 0 25 0 18 0 904977500 13949210624 15271 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3405569 15271 2092 9 0 3396303 0
[pid=24283/tid=24284] ppid=24281 vsize=13622276 CPUtime=0.09 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 13651 0 1 0 8 1 0 0 18 0 18 0 904977500 13949210624 15271 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622276
[startup+0.305025 s]
/proc/loadavg: 1.44 1.41 1.71 2/345 24283
/proc/meminfo: memFree=24058772/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13628632 CPUtime=0.56 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 20857 0 1 0 54 2 0 0 25 0 18 0 904977500 13955719168 19829 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3407158 19829 2201 9 0 3397892 0
[pid=24283/tid=24284] ppid=24281 vsize=13628632 CPUtime=0.29 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 16639 0 1 0 28 1 0 0 18 0 18 0 904977500 13955719168 19830 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 47326572899155 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13628632
[startup+0.700928 s]
/proc/loadavg: 1.44 1.41 1.71 2/345 24283
/proc/meminfo: memFree=24058772/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13628532 CPUtime=1.4 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 26239 0 1 0 137 3 0 0 25 0 19 0 904977500 13955616768 23122 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3407133 23122 2233 9 0 3397867 0
[pid=24283/tid=24284] ppid=24281 vsize=13628532 CPUtime=0.69 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19467 0 1 0 67 2 0 0 19 0 19 0 904977500 13955616768 23122 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505659150 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13628532
[startup+1.50078 s]
/proc/loadavg: 1.44 1.41 1.71 3/364 24303
/proc/meminfo: memFree=23972264/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13642452 CPUtime=2.46 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 32436 0 1 0 243 3 0 0 25 0 19 0 904977500 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3410613 27644 2261 9 0 3401347 0
[pid=24283/tid=24284] ppid=24281 vsize=13642452 CPUtime=1.47 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19941 0 1 0 145 2 0 0 20 0 19 0 904977500 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505758673 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 203 0 0 0 0 0 0 0 18 0 19 0 904977502 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13642452 CPUtime=0.01 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 526 0 0 0 1 0 0 0 17 0 19 0 904977503 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13642452 CPUtime=0.62 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) R 24281 24283 22016 0 -1 4202560 7699 0 0 0 62 0 0 0 16 0 19 0 904977506 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 47326572110059 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13642452 CPUtime=0.33 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 2590 0 0 0 33 0 0 0 15 0 19 0 904977506 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13642452 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13969870848 27644 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13642452
[startup+3.10149 s]
/proc/loadavg: 1.57 1.44 1.72 3/364 24303
/proc/meminfo: memFree=23950396/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13647612 CPUtime=4.34 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 34843 0 1 0 430 4 0 0 25 0 19 0 904977500 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3411903 29953 2261 9 0 3402637 0
[pid=24283/tid=24284] ppid=24281 vsize=13647612 CPUtime=3.04 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19942 0 1 0 302 2 0 0 25 0 19 0 904977500 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505656832 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 315 0 0 0 0 0 0 0 18 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13647612 CPUtime=0.04 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 1006 0 0 0 4 0 0 0 15 0 19 0 904977503 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13647612 CPUtime=0.86 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 22016 0 -1 4202560 9010 0 0 0 86 0 0 0 15 0 19 0 904977506 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13647612 CPUtime=0.35 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 2687 0 0 0 35 0 0 0 15 0 19 0 904977506 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13975154688 29953 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 13647612
[startup+6.3009 s]
/proc/loadavg: 1.57 1.44 1.72 3/364 24303
/proc/meminfo: memFree=23944280/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13647612 CPUtime=7.57 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 35524 0 1 0 753 4 0 0 25 0 19 0 904977500 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3411903 30240 2261 9 0 3402637 0
[pid=24283/tid=24284] ppid=24281 vsize=13647612 CPUtime=6.2 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19945 0 1 0 618 2 0 0 25 0 19 0 904977500 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505793818 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13647612 CPUtime=0.07 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 1139 0 0 0 7 0 0 0 16 0 19 0 904977503 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13647612 CPUtime=0.86 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 22016 0 -1 4202560 9018 0 0 0 86 0 0 0 15 0 19 0 904977506 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13647612 CPUtime=0.38 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 3021 0 0 0 38 0 0 0 15 0 19 0 904977506 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13975154688 30240 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 13647612
Solver just ended. Dumping a history of the last processes samples
[startup+7.10076 s]
/proc/loadavg: 1.57 1.44 1.72 3/364 24303
/proc/meminfo: memFree=23944280/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13647612 CPUtime=8.37 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 35764 0 1 0 833 4 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3411903 30479 2261 9 0 3402637 0
[pid=24283/tid=24284] ppid=24281 vsize=13647612 CPUtime=6.98 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19946 0 1 0 696 2 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505766832 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 317 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13647612 CPUtime=0.09 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 1373 0 0 0 9 0 0 0 16 0 19 0 904977503 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13647612 CPUtime=0.86 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 22016 0 -1 4202560 9018 0 0 0 86 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13647612 CPUtime=0.38 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 3021 0 0 0 38 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 13647612
[startup+7.50068 s]
/proc/loadavg: 1.57 1.44 1.72 3/364 24303
/proc/meminfo: memFree=23944280/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13647612 CPUtime=8.78 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 35764 0 1 0 874 4 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3411903 30479 2261 9 0 3402637 0
[pid=24283/tid=24284] ppid=24281 vsize=13647612 CPUtime=7.38 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19946 0 1 0 736 2 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505740096 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 317 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13647612 CPUtime=0.09 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 1373 0 0 0 9 0 0 0 16 0 19 0 904977503 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13647612 CPUtime=0.86 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 22016 0 -1 4202560 9018 0 0 0 86 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13647612 CPUtime=0.38 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 3021 0 0 0 38 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 13647612
[startup+7.90061 s]
/proc/loadavg: 1.60 1.45 1.72 3/364 24303
/proc/meminfo: memFree=23943416/32951124 swapFree=67056304/67111528
[pid=24283] ppid=24281 vsize=13647612 CPUtime=9.18 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 22016 0 -1 4202496 35764 0 1 0 914 4 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 3411903 30479 2261 9 0 3402637 0
[pid=24283/tid=24284] ppid=24281 vsize=13647612 CPUtime=7.78 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 22016 0 -1 4202560 19946 0 1 0 776 2 0 0 25 0 19 0 904977500 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 46912505727180 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 22016 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 22016 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 22016 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 22016 0 -1 4202560 317 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 22016 0 -1 4202560 176 0 0 0 0 0 0 0 16 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 22016 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 22016 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 904977502 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=13647612 CPUtime=0.09 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 22016 0 -1 4202560 1373 0 0 0 9 0 0 0 15 0 19 0 904977503 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 0 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 22016 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 22016 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 904977504 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032219569 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=13647612 CPUtime=0.86 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 22016 0 -1 4202560 9018 0 0 0 86 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=13647612 CPUtime=0.38 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 22016 0 -1 4202560 3021 0 0 0 38 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032211865 0 4 0 16800975 18446604466909881664 0 0 -1 3 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 22016 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 904977506 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
[pid=24283/tid=24302] ppid=24281 vsize=13647612 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24302/stat : 24302 (java) S 24281 24283 22016 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 904977538 13975154688 30479 33554432000 1073741824 1073778376 140735749458640 18446744073709551615 260032212480 0 4 0 16800975 18446604466909881664 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 13647612
Child status: 30
Real time (s): 7.94519
CPU time (s): 9.23759
CPU user time (s): 9.1856
CPU system time (s): 0.051992
CPU usage (%): 116.266
Max. virtual memory (cumulated for all children) (KiB): 13647612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1856
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35797
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= 536
involuntary context switches= 150
runsolver used 0.028995 second user time and 0.06499 second system time
The end