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-3459401-1307138961/watcher-3459401-1307138961 -o /tmp/evaluation-result-3459401-1307138961/solver-3459401-1307138961 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459401-1307138961.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: 2.00 2.03 2.03 2/590 28892
/proc/meminfo: memFree=31734220/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 9959 0 1 0 0 1 0 0 25 0 2 0 825494943 13850947584 9662 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3381579 9674 917 9 0 3372735 0
[pid=28892/tid=28893] ppid=28890 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 9175 0 1 0 0 1 0 0 25 0 2 0 825494943 13850947584 9991 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268272383035 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.043773 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28892
/proc/meminfo: memFree=31734220/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 13702 0 1 0 2 1 0 0 25 0 13 0 825494943 13874667520 13400 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3387370 13400 1660 9 0 3378118 0
[pid=28892/tid=28893] ppid=28890 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 12556 0 1 0 2 1 0 0 25 0 13 0 825494943 13874667520 13400 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284515787 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) 13549480
[startup+0.100764 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28892
/proc/meminfo: memFree=31734220/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13621820 CPUtime=0.11 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 15528 0 1 0 9 2 0 0 25 0 18 0 825494943 13948743680 15226 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3405455 15227 2092 9 0 3396189 0
[pid=28892/tid=28893] ppid=28890 vsize=13621820 CPUtime=0.08 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 13624 0 1 0 7 1 0 0 25 0 18 0 825494943 13948743680 15227 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268272350241 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) 13621820
[startup+0.30073 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28892
/proc/meminfo: memFree=31734220/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13624376 CPUtime=0.5 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 18819 0 1 0 48 2 0 0 25 0 18 0 825494943 13951361024 18357 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406094 18358 2201 9 0 3396828 0
[pid=28892/tid=28893] ppid=28890 vsize=13624376 CPUtime=0.29 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 15960 0 1 0 27 2 0 0 25 0 18 0 825494943 13951361024 18359 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505567084 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624376
[startup+0.700657 s]
/proc/loadavg: 2.00 2.03 2.03 2/590 28892
/proc/meminfo: memFree=31734220/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13626760 CPUtime=1.17 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 56414 0 1 0 110 7 0 0 25 0 18 0 825494943 13953802240 54735 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406690 54739 2213 9 0 3397424 0
[pid=28892/tid=28893] ppid=28890 vsize=13626760 CPUtime=0.68 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 50747 0 1 0 62 6 0 0 25 0 18 0 825494943 13953802240 54741 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505615826 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13626760
[startup+1.50152 s]
/proc/loadavg: 2.00 2.03 2.03 3/608 28910
/proc/meminfo: memFree=31395940/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=2.34 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 99897 0 1 0 221 13 0 0 25 0 19 0 825494943 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98022 2232 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=1.49 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 93940 0 1 0 137 12 0 0 25 0 19 0 825494943 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505872619 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.41 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2224 0 0 0 41 0 0 0 19 0 19 0 825494949 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 42 0 0 0 18 0 19 0 825494949 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98022 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13627960
[startup+3.10123 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28911
/proc/meminfo: memFree=31347448/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=3.99 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 99970 0 1 0 386 13 0 0 25 0 19 0 825494943 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98094 2233 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=3.09 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 94012 0 1 0 297 12 0 0 25 0 19 0 825494943 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505882762 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2225 0 0 0 42 0 0 0 15 0 19 0 825494949 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.46 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 46 0 0 0 15 0 19 0 825494949 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28911] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28911/stat : 28911 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825495059 13955031040 98094 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13627960
Solver just ended. Dumping a history of the last processes samples
[startup+3.90109 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28912
/proc/meminfo: memFree=31347376/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=4.79 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 100018 0 1 0 466 13 0 0 25 0 19 0 825494943 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98141 2233 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=3.89 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 94060 0 1 0 377 12 0 0 25 0 19 0 825494943 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505864589 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2225 0 0 0 42 0 0 0 15 0 19 0 825494949 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.46 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 46 0 0 0 15 0 19 0 825494949 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28911] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28911/stat : 28911 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825495059 13955031040 98141 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 13627960
[startup+4.30102 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28912
/proc/meminfo: memFree=31347500/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=5.21 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 100046 0 1 0 508 13 0 0 25 0 19 0 825494943 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98168 2233 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=4.31 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 94088 0 1 0 419 12 0 0 25 0 19 0 825494943 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505804576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2225 0 0 0 42 0 0 0 15 0 19 0 825494949 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.46 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 46 0 0 0 15 0 19 0 825494949 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28911] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28911/stat : 28911 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825495059 13955031040 98168 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 13627960
[startup+4.70095 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28912
/proc/meminfo: memFree=31347500/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=5.59 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 100070 0 1 0 546 13 0 0 25 0 19 0 825494943 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98192 2233 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=4.69 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 94112 0 1 0 457 12 0 0 25 0 19 0 825494943 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505864558 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2225 0 0 0 42 0 0 0 15 0 19 0 825494949 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.46 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 46 0 0 0 15 0 19 0 825494949 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28911] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28911/stat : 28911 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825495059 13955031040 98192 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 13627960
[startup+4.80093 s]
/proc/loadavg: 2.00 2.03 2.03 3/609 28912
/proc/meminfo: memFree=31347500/32950928 swapFree=43925852/67111528
[pid=28892] ppid=28890 vsize=13627960 CPUtime=5.69 cores=1,3,5,7
/proc/28892/stat : 28892 (java) S 28890 28892 24211 0 -1 4202496 100075 0 1 0 556 13 0 0 25 0 19 0 825494943 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28892/statm: 3406990 98197 2233 9 0 3397724 0
[pid=28892/tid=28893] ppid=28890 vsize=13627960 CPUtime=4.79 cores=1,3,5,7
/proc/28892/task/28893/stat : 28893 (java) R 28890 28892 24211 0 -1 4202560 94117 0 1 0 467 12 0 0 25 0 19 0 825494943 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 46912505784803 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28892/tid=28895] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28895/stat : 28895 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28896] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28896/stat : 28896 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28897] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28897/stat : 28897 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28898] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28898/stat : 28898 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28899] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28899/stat : 28899 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28900] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28900/stat : 28900 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28901] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28901/stat : 28901 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28902] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28902/stat : 28902 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494946 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28903] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28903/stat : 28903 (java) S 28890 28892 24211 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825494947 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 0 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28904] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28904/stat : 28904 (java) S 28890 28892 24211 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28905] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28905/stat : 28905 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825494947 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28906] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28906/stat : 28906 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284512689 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28907] ppid=28890 vsize=13627960 CPUtime=0.42 cores=1,3,5,7
/proc/28892/task/28907/stat : 28907 (java) S 28890 28892 24211 0 -1 4202560 2225 0 0 0 42 0 0 0 15 0 19 0 825494949 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28908] ppid=28890 vsize=13627960 CPUtime=0.46 cores=1,3,5,7
/proc/28892/task/28908/stat : 28908 (java) S 28890 28892 24211 0 -1 4202560 2573 0 0 0 46 0 0 0 15 0 19 0 825494949 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 1 0 0 0
[pid=28892/tid=28909] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28909/stat : 28909 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825494949 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284504985 0 4 0 16800975 18446604467483263424 0 0 -1 3 0 0 0
[pid=28892/tid=28910] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28910/stat : 28910 (java) S 28890 28892 24211 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825494949 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 7 0 0 0
[pid=28892/tid=28911] ppid=28890 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/28892/task/28911/stat : 28911 (java) S 28890 28892 24211 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825495059 13955031040 98197 33554432000 1073741824 1073778376 140736021428480 18446744073709551615 268284505600 0 4 0 16800975 18446604467483263424 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13627960
Child status: 20
Real time (s): 4.82736
CPU time (s): 5.73213
CPU user time (s): 5.58115
CPU system time (s): 0.150977
CPU usage (%): 118.743
Max. virtual memory (cumulated for all children) (KiB): 13628268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.58115
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100100
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= 380
involuntary context switches= 58
runsolver used 0.025996 second user time and 0.081987 second system time
The end