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-3454032-1307195403/watcher-3454032-1307195403 -o /tmp/evaluation-result-3454032-1307195403/solver-3454032-1307195403 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454032-1307195403.opb
running on 4 cores: 0,2,4,6
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.83 2.02 2.69 2/290 15760
/proc/meminfo: memFree=28384004/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 1240 0 0 0 0 0 0 0 24 0 2 0 831141013 31272960 960 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 7634 963 736 9 0 385 0
[pid=15760/tid=15761] ppid=15758 vsize=86844 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 271 0 1 0 0 0 0 0 25 0 2 0 831141014 88928256 1087 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 47623752367536 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0863789 s]
/proc/loadavg: 1.83 2.02 2.69 2/290 15760
/proc/meminfo: memFree=28384004/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10539396 CPUtime=0.08 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 12773 0 1 0 7 1 0 0 24 0 18 0 831141013 10792341504 12470 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2634849 12476 2061 9 0 2625583 0
[pid=15760/tid=15761] ppid=15758 vsize=10539396 CPUtime=0.07 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 10946 0 1 0 6 1 0 0 25 0 18 0 831141014 10792341504 12476 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505120894 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539396
[startup+0.104435 s]
/proc/loadavg: 1.83 2.02 2.69 2/290 15760
/proc/meminfo: memFree=28384004/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10539552 CPUtime=0.1 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 13105 0 1 0 9 1 0 0 24 0 18 0 831141013 10792501248 12802 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2634888 12804 2092 9 0 2625622 0
[pid=15760/tid=15761] ppid=15758 vsize=10539552 CPUtime=0.09 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 11183 0 1 0 8 1 0 0 18 0 18 0 831141014 10792501248 12804 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933603787 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539552
[startup+0.300424 s]
/proc/loadavg: 1.83 2.02 2.69 2/290 15760
/proc/meminfo: memFree=28384004/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10541224 CPUtime=0.47 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 16155 0 1 0 46 1 0 0 24 0 18 0 831141013 10794213376 15284 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2635306 15285 2207 9 0 2626040 0
[pid=15760/tid=15761] ppid=15758 vsize=10541224 CPUtime=0.28 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 12964 0 1 0 27 1 0 0 18 0 18 0 831141014 10794213376 15285 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505601138 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541224
[startup+0.700329 s]
/proc/loadavg: 1.83 2.02 2.69 2/290 15760
/proc/meminfo: memFree=28384004/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10553316 CPUtime=1.59 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 35554 0 1 0 155 4 0 0 24 0 18 0 831141013 10806595584 31793 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2638329 31795 2226 9 0 2629063 0
[pid=15760/tid=15761] ppid=15758 vsize=10553316 CPUtime=0.68 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 24683 0 1 0 65 3 0 0 18 0 18 0 831141014 10806595584 31803 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505853461 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10553316
[startup+1.50121 s]
/proc/loadavg: 1.83 2.02 2.69 2/309 15785
/proc/meminfo: memFree=27977948/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10553316 CPUtime=2.53 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 234506 0 1 0 226 27 0 0 24 0 18 0 831141013 10806595584 230744 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2638329 230746 2229 9 0 2629063 0
[pid=15760/tid=15761] ppid=15758 vsize=10553316 CPUtime=1.48 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) R 15758 15760 10640 0 -1 4202560 223606 0 1 0 122 26 0 0 18 0 18 0 831141014 10806595584 230747 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505645844 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230749 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230751 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230753 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230756 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230759 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230761 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230764 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141015 10806595584 230767 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 831141016 10806595584 230775 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831141017 10806595584 230792 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831141017 10806595584 230810 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831141019 10806595584 230826 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=10553316 CPUtime=0.51 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) S 15758 15760 10640 0 -1 4202560 4545 0 0 0 51 0 0 0 25 0 18 0 831141019 10806595584 230844 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=10553316 CPUtime=0.51 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) S 15758 15760 10640 0 -1 4202560 5203 0 0 0 51 0 0 0 15 0 18 0 831141019 10806595584 230860 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831141019 10806595584 230877 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=10553316 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831141019 10806595584 230892 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10553316
[startup+3.10085 s]
/proc/loadavg: 1.76 2.00 2.69 10/316 15795
/proc/meminfo: memFree=26965564/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10559348 CPUtime=6.24 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 387066 0 1 0 580 44 0 0 24 0 22 0 831141013 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2639837 382145 2240 9 0 2630571 0
[pid=15760/tid=15761] ppid=15758 vsize=10559348 CPUtime=1.74 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) S 15758 15760 10640 0 -1 4202560 312431 0 1 0 138 36 0 0 15 0 22 0 831141014 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831141016 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831141017 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831141017 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141019 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=10559348 CPUtime=0.87 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) S 15758 15760 10640 0 -1 4202560 4866 0 0 0 87 0 0 0 15 0 22 0 831141019 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=10559348 CPUtime=0.94 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) S 15758 15760 10640 0 -1 4202560 6695 0 0 0 94 0 0 0 15 0 22 0 831141019 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141019 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831141019 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15789] ppid=15758 vsize=10559348 CPUtime=1.34 cores=0,2,4,6
/proc/15760/task/15789/stat : 15789 (java) R 15758 15760 10640 0 -1 4202560 1589 0 0 0 134 0 0 0 21 0 22 0 831141189 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506052177 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15760/tid=15790] ppid=15758 vsize=10559348 CPUtime=1.33 cores=0,2,4,6
/proc/15760/task/15790/stat : 15790 (java) R 15758 15760 10640 0 -1 4202560 60315 0 0 0 126 7 0 0 21 0 22 0 831141189 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505577548 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15760/tid=15791] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15791/stat : 15791 (java) S 15758 15760 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831141193 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15792] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15792/stat : 15792 (java) S 15758 15760 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831141193 10812772352 382145 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10559348
[startup+6.3013 s]
/proc/loadavg: 1.76 2.00 2.69 5/316 15804
/proc/meminfo: memFree=25708720/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10559348 CPUtime=12.53 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 558039 0 1 0 1188 65 0 0 24 0 22 0 831141013 10812772352 553100 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2639837 553103 2243 9 0 2630571 0
[pid=15760/tid=15761] ppid=15758 vsize=10559348 CPUtime=1.79 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) S 15758 15760 10640 0 -1 4202560 312720 0 1 0 143 36 0 0 15 0 22 0 831141014 10812772352 553104 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553105 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553106 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553108 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553109 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553111 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553112 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553114 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141015 10812772352 553115 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 831141016 10812772352 553117 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831141017 10812772352 553118 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831141017 10812772352 553119 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10559348 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141019 10812772352 553121 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23868672/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10556516 CPUtime=1634.9 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 873729 0 1 0 163382 108 0 0 24 0 22 0 831141013 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2639129 867685 2268 9 0 2629863 0
[pid=15760/tid=15761] ppid=15758 vsize=10556516 CPUtime=2.26 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) S 15758 15760 10640 0 -1 4202560 313007 0 1 0 190 36 0 0 15 0 22 0 831141014 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10556516 CPUtime=0.5 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 11004 0 0 0 49 1 0 0 15 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10556516 CPUtime=0.3 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 8389 0 0 0 29 1 0 0 15 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10556516 CPUtime=0.29 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 9160 0 0 0 28 1 0 0 16 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10556516 CPUtime=0.39 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 16306 0 0 0 38 1 0 0 15 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10556516 CPUtime=0.35 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 8160 0 0 0 34 1 0 0 15 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10556516 CPUtime=0.24 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 10188 0 0 0 23 1 0 0 16 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10556516 CPUtime=0.43 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 3738 0 0 0 43 0 0 0 16 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10556516 CPUtime=0.34 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 10790 0 0 0 33 1 0 0 15 0 22 0 831141015 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10556516 CPUtime=4.33 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 56967 0 0 0 427 6 0 0 15 0 22 0 831141016 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=10556516 CPUtime=1.29 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) S 15758 15760 10640 0 -1 4202560 4994 0 0 0 129 0 0 0 15 0 22 0 831141019 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=10556516 CPUtime=1.31 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) S 15758 15760 10640 0 -1 4202560 6730 0 0 0 131 0 0 0 15 0 22 0 831141019 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) S 15758 15760 10640 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831141019 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15844] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15844/stat : 15844 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831144101 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15879] ppid=15758 vsize=10556516 CPUtime=49.24 cores=0,2,4,6
/proc/15760/task/15879/stat : 15879 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 4924 0 0 0 25 0 22 0 831218268 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506045244 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15760/tid=15880] ppid=15758 vsize=10556516 CPUtime=49.24 cores=0,2,4,6
/proc/15760/task/15880/stat : 15880 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 4924 0 0 0 25 0 22 0 831218268 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506167085 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15760/tid=15881] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15881/stat : 15881 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831218269 10809872384 867685 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1634.9
Current children cumulated vsize (KiB) 10556516
[startup+882.301 s]
/proc/loadavg: 3.61 3.59 3.29 4/316 15887
/proc/meminfo: memFree=23847344/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10556516 CPUtime=1754.44 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 877778 0 1 0 175336 108 0 0 24 0 22 0 831141013 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2639129 871727 2268 9 0 2629863 0
[pid=15760/tid=15761] ppid=15758 vsize=10556516 CPUtime=2.26 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) S 15758 15760 10640 0 -1 4202560 313008 0 1 0 190 36 0 0 15 0 22 0 831141014 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10556516 CPUtime=0.5 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 11004 0 0 0 49 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10556516 CPUtime=0.33 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 8395 0 0 0 32 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10556516 CPUtime=0.32 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 9161 0 0 0 31 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10556516 CPUtime=0.39 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 16306 0 0 0 38 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10556516 CPUtime=0.38 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 8167 0 0 0 37 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10556516 CPUtime=0.24 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 10188 0 0 0 23 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10556516 CPUtime=0.43 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 3738 0 0 0 43 0 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10556516 CPUtime=0.34 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 10790 0 0 0 33 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10556516 CPUtime=4.83 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 60997 0 0 0 476 7 0 0 15 0 22 0 831141016 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=10556516 CPUtime=1.29 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) S 15758 15760 10640 0 -1 4202560 4994 0 0 0 129 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=10556516 CPUtime=1.31 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) S 15758 15760 10640 0 -1 4202560 6730 0 0 0 131 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) S 15758 15760 10640 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15844] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15844/stat : 15844 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831144101 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15879] ppid=15758 vsize=10556516 CPUtime=108.73 cores=0,2,4,6
/proc/15760/task/15879/stat : 15879 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 10873 0 0 0 25 0 22 0 831218268 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506059316 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15760/tid=15880] ppid=15758 vsize=10556516 CPUtime=108.73 cores=0,2,4,6
/proc/15760/task/15880/stat : 15880 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 10873 0 0 0 25 0 22 0 831218268 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506081792 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15760/tid=15881] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15881/stat : 15881 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831218269 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1754.44
Current children cumulated vsize (KiB) 10556516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.101 s]
/proc/loadavg: 3.50 3.56 3.29 5/316 15888
/proc/meminfo: memFree=23845724/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=10556516 CPUtime=1800.06 cores=0,2,4,6
/proc/15760/stat : 15760 (java) S 15758 15760 10640 0 -1 4202496 877778 0 1 0 179898 108 0 0 24 0 22 0 831141013 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 2639129 871727 2268 9 0 2629863 0
[pid=15760/tid=15761] ppid=15758 vsize=10556516 CPUtime=2.26 cores=0,2,4,6
/proc/15760/task/15761/stat : 15761 (java) S 15758 15760 10640 0 -1 4202560 313008 0 1 0 190 36 0 0 15 0 22 0 831141014 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15763] ppid=15758 vsize=10556516 CPUtime=0.5 cores=0,2,4,6
/proc/15760/task/15763/stat : 15763 (java) S 15758 15760 10640 0 -1 4202560 11004 0 0 0 49 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15764] ppid=15758 vsize=10556516 CPUtime=0.33 cores=0,2,4,6
/proc/15760/task/15764/stat : 15764 (java) S 15758 15760 10640 0 -1 4202560 8395 0 0 0 32 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15765] ppid=15758 vsize=10556516 CPUtime=0.32 cores=0,2,4,6
/proc/15760/task/15765/stat : 15765 (java) S 15758 15760 10640 0 -1 4202560 9161 0 0 0 31 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15766] ppid=15758 vsize=10556516 CPUtime=0.39 cores=0,2,4,6
/proc/15760/task/15766/stat : 15766 (java) S 15758 15760 10640 0 -1 4202560 16306 0 0 0 38 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15767] ppid=15758 vsize=10556516 CPUtime=0.38 cores=0,2,4,6
/proc/15760/task/15767/stat : 15767 (java) S 15758 15760 10640 0 -1 4202560 8167 0 0 0 37 1 0 0 16 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15768] ppid=15758 vsize=10556516 CPUtime=0.24 cores=0,2,4,6
/proc/15760/task/15768/stat : 15768 (java) S 15758 15760 10640 0 -1 4202560 10188 0 0 0 23 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15769] ppid=15758 vsize=10556516 CPUtime=0.43 cores=0,2,4,6
/proc/15760/task/15769/stat : 15769 (java) S 15758 15760 10640 0 -1 4202560 3738 0 0 0 43 0 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15770] ppid=15758 vsize=10556516 CPUtime=0.34 cores=0,2,4,6
/proc/15760/task/15770/stat : 15770 (java) S 15758 15760 10640 0 -1 4202560 10790 0 0 0 33 1 0 0 15 0 22 0 831141015 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15771] ppid=15758 vsize=10556516 CPUtime=4.83 cores=0,2,4,6
/proc/15760/task/15771/stat : 15771 (java) S 15758 15760 10640 0 -1 4202560 60997 0 0 0 476 7 0 0 15 0 22 0 831141016 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 0 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15772] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15772/stat : 15772 (java) S 15758 15760 10640 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15773] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15773/stat : 15773 (java) S 15758 15760 10640 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831141017 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15774] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15774/stat : 15774 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933600689 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15775] ppid=15758 vsize=10556516 CPUtime=1.29 cores=0,2,4,6
/proc/15760/task/15775/stat : 15775 (java) S 15758 15760 10640 0 -1 4202560 4994 0 0 0 129 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 4 0 0 0
[pid=15760/tid=15776] ppid=15758 vsize=10556516 CPUtime=1.31 cores=0,2,4,6
/proc/15760/task/15776/stat : 15776 (java) S 15758 15760 10640 0 -1 4202560 6730 0 0 0 131 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15777] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15777/stat : 15777 (java) S 15758 15760 10640 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933592985 0 4 0 16800975 18446604441486451008 0 0 -1 6 0 0 0
[pid=15760/tid=15778] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15778/stat : 15778 (java) S 15758 15760 10640 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831141019 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 2 0 0 0
[pid=15760/tid=15844] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15844/stat : 15844 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831144101 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
[pid=15760/tid=15879] ppid=15758 vsize=10556516 CPUtime=131.54 cores=0,2,4,6
/proc/15760/task/15879/stat : 15879 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 13154 0 0 0 25 0 22 0 831218268 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912505885247 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15760/tid=15880] ppid=15758 vsize=10556516 CPUtime=131.54 cores=0,2,4,6
/proc/15760/task/15880/stat : 15880 (java) R 15758 15760 10640 0 -1 4202560 0 0 0 0 13154 0 0 0 25 0 22 0 831218268 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 46912506081802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15760/tid=15881] ppid=15758 vsize=10556516 CPUtime=0 cores=0,2,4,6
/proc/15760/task/15881/stat : 15881 (java) S 15758 15760 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831218269 10809872384 871727 33554432000 1073741824 1073778376 140734169180880 18446744073709551615 222933593600 0 4 0 16800975 18446604441486451008 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10556516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.217 s]
/proc/loadavg: 3.50 3.56 3.29 4/297 15891
/proc/meminfo: memFree=25523236/32951124 swapFree=55664332/67111528
[pid=15760] ppid=15758 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/15760/stat : 15760 (java) Z 15758 15760 10640 0 -1 4203548 877812 0 1 0 179906 116 0 0 17 0 2 0 831141013 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15760/statm: 0 0 0 0 0 0 0
[pid=15760/tid=15880] ppid=15758 vsize=0 CPUtime=131.62 cores=0,2,4,6
/proc/15760/task/15880/stat : 15880 (java) R 15758 15760 10640 0 -1 4203588 0 0 0 0 13155 7 0 0 25 0 2 0 831218268 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.29
CPU time (s): 1800.3
CPU user time (s): 1799.07
CPU system time (s): 1.22981
CPU usage (%): 198.864
Max. virtual memory (cumulated for all children) (KiB): 10559348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.22981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877812
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= 21629
involuntary context switches= 9396
runsolver used 2.66959 second user time and 5.58215 second system time
The end