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-3458550-1307138036/watcher-3458550-1307138036 -o /tmp/evaluation-result-3458550-1307138036/solver-3458550-1307138036 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458550-1307138036.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: 2.00 2.00 2.00 3/418 4814
/proc/meminfo: memFree=29912128/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 2456 0 1 0 0 0 0 0 25 0 2 0 825403382 13833195520 2158 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3377245 2172 906 9 0 3368401 0
[pid=4814/tid=4815] ppid=4812 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 5130 0 1 0 0 0 0 0 25 0 2 0 825403382 13850947584 5945 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0396589 s]
/proc/loadavg: 2.00 2.00 2.00 3/418 4814
/proc/meminfo: memFree=29912128/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 13643 0 1 0 2 1 0 0 25 0 13 0 825403382 13874667520 13340 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3387370 13340 1653 9 0 3378118 0
[pid=4814/tid=4815] ppid=4812 vsize=13549480 CPUtime=0.03 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 12497 0 1 0 2 1 0 0 25 0 13 0 825403382 13874667520 13340 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 47234401067013 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.100648 s]
/proc/loadavg: 2.00 2.00 2.00 3/418 4814
/proc/meminfo: memFree=29912128/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13622336 CPUtime=0.1 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 15605 0 1 0 8 2 0 0 25 0 18 0 825403382 13949272064 15284 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3405584 15284 2092 9 0 3396318 0
[pid=4814/tid=4815] ppid=4812 vsize=13622336 CPUtime=0.08 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 13687 0 1 0 7 1 0 0 18 0 18 0 825403382 13949272064 15284 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237278564672 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622336
[startup+0.302697 s]
/proc/loadavg: 2.00 2.00 2.00 3/418 4814
/proc/meminfo: memFree=29912128/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13624452 CPUtime=0.51 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 18678 0 1 0 49 2 0 0 25 0 18 0 825403382 13951438848 18157 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3406113 18158 2201 9 0 3396847 0
[pid=4814/tid=4815] ppid=4812 vsize=13624452 CPUtime=0.29 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 15865 0 1 0 27 2 0 0 18 0 18 0 825403382 13951438848 18159 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624452
[startup+0.700534 s]
/proc/loadavg: 2.00 2.00 2.00 3/418 4814
/proc/meminfo: memFree=29912128/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13627896 CPUtime=1.26 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 53611 0 1 0 119 7 0 0 25 0 18 0 825403382 13954965504 51357 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3406974 51362 2223 9 0 3397708 0
[pid=4814/tid=4815] ppid=4812 vsize=13627896 CPUtime=0.68 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 47471 0 1 0 62 6 0 0 18 0 18 0 825403382 13954965504 51364 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505805021 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 13627896
[startup+1.50145 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 4833
/proc/meminfo: memFree=29708440/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13629272 CPUtime=2.54 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 57524 0 1 0 246 8 0 0 25 0 19 0 825403382 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407318 52876 2237 9 0 3398052 0
[pid=4814/tid=4815] ppid=4812 vsize=13629272 CPUtime=1.48 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 48799 0 1 0 142 6 0 0 18 0 19 0 825403382 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505902556 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403384 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 825403385 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825403385 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825403385 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13629272 CPUtime=0.54 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2231 0 0 0 54 0 0 0 21 0 19 0 825403388 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13629272 CPUtime=0.49 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5334 0 0 0 49 0 0 0 15 0 19 0 825403388 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825403388 13956374528 52876 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13956374528 52877 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13629272
[startup+3.10108 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 4833
/proc/meminfo: memFree=29707076/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13629272 CPUtime=4.21 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 63372 0 1 0 412 9 0 0 25 0 19 0 825403382 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407318 58498 2262 9 0 3398052 0
[pid=4814/tid=4815] ppid=4812 vsize=13629272 CPUtime=3.02 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 49121 0 1 0 295 7 0 0 20 0 19 0 825403382 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505932748 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13629272 CPUtime=0.01 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13629272 CPUtime=0.01 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1070 0 0 0 1 0 0 0 18 0 19 0 825403384 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13629272 CPUtime=0.04 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 2654 0 0 0 4 0 0 0 16 0 19 0 825403385 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13629272 CPUtime=0.56 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2235 0 0 0 56 0 0 0 15 0 19 0 825403388 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13629272 CPUtime=0.52 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5555 0 0 0 52 0 0 0 15 0 19 0 825403388 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825403388 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13629272 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13956374528 58498 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 13629272
[startup+6.3016 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 4834
/proc/meminfo: memFree=29682400/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13628488 CPUtime=7.46 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 64101 0 1 0 737 9 0 0 25 0 19 0 825403382 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407122 58906 2262 9 0 3397856 0
[pid=4814/tid=4815] ppid=4812 vsize=13628488 CPUtime=6.19 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 49124 0 1 0 612 7 0 0 25 0 19 0 825403382 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505940453 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 126 0 0 0 0 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 215 0 0 0 0 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13628488 CPUtime=0.01 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1131 0 0 0 1 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13628488 CPUtime=0.01 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1070 0 0 0 1 0 0 0 18 0 19 0 825403384 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13628488 CPUtime=0.07 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 2785 0 0 0 7 0 0 0 15 0 19 0 825403385 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13628488 CPUtime=0.58 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2235 0 0 0 58 0 0 0 15 0 19 0 825403388 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13628488 CPUtime=0.55 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5664 0 0 0 55 0 0 0 15 0 19 0 825403388 13955571712 58906 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=4814/tid=4822] ppid=4812 vsize=13628488 CPUtime=0.14 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 3283 0 0 0 14 0 0 0 15 0 19 0 825403384 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13628488 CPUtime=0.15 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1836 0 0 0 15 0 0 0 15 0 19 0 825403384 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13628488 CPUtime=0.1 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1598 0 0 0 10 0 0 0 15 0 19 0 825403384 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13628488 CPUtime=3.8 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 7925 0 0 0 379 1 0 0 15 0 19 0 825403385 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13628488 CPUtime=0.64 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2242 0 0 0 64 0 0 0 15 0 19 0 825403388 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13628488 CPUtime=0.56 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5667 0 0 0 56 0 0 0 15 0 19 0 825403388 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825403388 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13955571712 74002 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.14
Current children cumulated vsize (KiB) 13628488
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 5169
/proc/meminfo: memFree=28338792/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13628488 CPUtime=1724.16 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 79467 0 1 0 172400 16 0 0 25 0 19 0 825403382 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407122 74007 2263 9 0 3397856 0
[pid=4814/tid=4815] ppid=4812 vsize=13628488 CPUtime=1717.98 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 49193 0 1 0 171788 10 0 0 25 0 19 0 825403382 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505831251 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13628488 CPUtime=0.09 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 628 0 0 0 9 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13628488 CPUtime=0.16 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1923 0 0 0 16 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13628488 CPUtime=0.13 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 2115 0 0 0 13 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13628488 CPUtime=0.11 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 506 0 0 0 11 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13628488 CPUtime=0.11 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 1301 0 0 0 11 0 0 0 16 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13628488 CPUtime=0.15 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 3283 0 0 0 15 0 0 0 16 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13628488 CPUtime=0.16 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1836 0 0 0 16 0 0 0 16 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13628488 CPUtime=0.1 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1598 0 0 0 10 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13628488 CPUtime=3.86 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 7927 0 0 0 385 1 0 0 15 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13628488 CPUtime=0.64 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2242 0 0 0 64 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13628488 CPUtime=0.56 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5667 0 0 0 56 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 13628488
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 5171
/proc/meminfo: memFree=28337876/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13628488 CPUtime=1784.17 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 79474 0 1 0 178401 16 0 0 25 0 19 0 825403382 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407122 74007 2263 9 0 3397856 0
[pid=4814/tid=4815] ppid=4812 vsize=13628488 CPUtime=1777.91 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 49194 0 1 0 177781 10 0 0 25 0 19 0 825403382 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505957696 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13628488 CPUtime=0.09 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 628 0 0 0 9 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13628488 CPUtime=0.17 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1923 0 0 0 17 0 0 0 16 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13628488 CPUtime=0.14 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 2115 0 0 0 14 0 0 0 16 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13628488 CPUtime=0.11 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 506 0 0 0 11 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13628488 CPUtime=0.11 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 1301 0 0 0 11 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13628488 CPUtime=0.15 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 3283 0 0 0 15 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13628488 CPUtime=0.16 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1836 0 0 0 16 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13628488 CPUtime=0.1 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1598 0 0 0 10 0 0 0 15 0 19 0 825403384 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13628488 CPUtime=3.92 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 7929 0 0 0 391 1 0 0 15 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13628488 CPUtime=0.64 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2242 0 0 0 64 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13628488 CPUtime=0.56 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5667 0 0 0 56 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825403388 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13955571712 74007 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.17
Current children cumulated vsize (KiB) 13628488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 5171
/proc/meminfo: memFree=28337732/32950904 swapFree=56615552/67111528
[pid=4814] ppid=4812 vsize=13628488 CPUtime=1800.1 cores=0,2,4,6
/proc/4814/stat : 4814 (java) S 4812 4814 31595 0 -1 4202496 79567 0 1 0 179994 16 0 0 25 0 19 0 825403382 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4814/statm: 3407122 74095 2263 9 0 3397856 0
[pid=4814/tid=4815] ppid=4812 vsize=13628488 CPUtime=1793.76 cores=0,2,4,6
/proc/4814/task/4815/stat : 4815 (java) R 4812 4814 31595 0 -1 4202560 49195 0 1 0 179366 10 0 0 25 0 19 0 825403382 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 46912505829190 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4814/tid=4817] ppid=4812 vsize=13628488 CPUtime=0.09 cores=0,2,4,6
/proc/4814/task/4817/stat : 4817 (java) S 4812 4814 31595 0 -1 4202560 628 0 0 0 9 0 0 0 15 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4818] ppid=4812 vsize=13628488 CPUtime=0.17 cores=0,2,4,6
/proc/4814/task/4818/stat : 4818 (java) S 4812 4814 31595 0 -1 4202560 1923 0 0 0 17 0 0 0 16 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4819] ppid=4812 vsize=13628488 CPUtime=0.14 cores=0,2,4,6
/proc/4814/task/4819/stat : 4819 (java) S 4812 4814 31595 0 -1 4202560 2115 0 0 0 14 0 0 0 16 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4820] ppid=4812 vsize=13628488 CPUtime=0.12 cores=0,2,4,6
/proc/4814/task/4820/stat : 4820 (java) S 4812 4814 31595 0 -1 4202560 525 0 0 0 12 0 0 0 16 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4821] ppid=4812 vsize=13628488 CPUtime=0.12 cores=0,2,4,6
/proc/4814/task/4821/stat : 4821 (java) S 4812 4814 31595 0 -1 4202560 1301 0 0 0 12 0 0 0 16 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 4 0 0 0
[pid=4814/tid=4822] ppid=4812 vsize=13628488 CPUtime=0.15 cores=0,2,4,6
/proc/4814/task/4822/stat : 4822 (java) S 4812 4814 31595 0 -1 4202560 3283 0 0 0 15 0 0 0 16 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4823] ppid=4812 vsize=13628488 CPUtime=0.16 cores=0,2,4,6
/proc/4814/task/4823/stat : 4823 (java) S 4812 4814 31595 0 -1 4202560 1836 0 0 0 16 0 0 0 15 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4824] ppid=4812 vsize=13628488 CPUtime=0.1 cores=0,2,4,6
/proc/4814/task/4824/stat : 4824 (java) S 4812 4814 31595 0 -1 4202560 1598 0 0 0 10 0 0 0 15 0 19 0 825403384 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4825] ppid=4812 vsize=13628488 CPUtime=3.98 cores=0,2,4,6
/proc/4814/task/4825/stat : 4825 (java) S 4812 4814 31595 0 -1 4202560 8000 0 0 0 397 1 0 0 15 0 19 0 825403385 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 0 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4826] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4826/stat : 4826 (java) S 4812 4814 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4827] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4827/stat : 4827 (java) S 4812 4814 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825403385 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4828] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4828/stat : 4828 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290703281 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4829] ppid=4812 vsize=13628488 CPUtime=0.64 cores=0,2,4,6
/proc/4814/task/4829/stat : 4829 (java) S 4812 4814 31595 0 -1 4202560 2242 0 0 0 64 0 0 0 15 0 19 0 825403388 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4830] ppid=4812 vsize=13628488 CPUtime=0.56 cores=0,2,4,6
/proc/4814/task/4830/stat : 4830 (java) S 4812 4814 31595 0 -1 4202560 5667 0 0 0 56 0 0 0 15 0 19 0 825403388 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
[pid=4814/tid=4831] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4831/stat : 4831 (java) S 4812 4814 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825403388 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290695577 0 4 0 16800975 18446604449058686848 0 0 -1 2 0 0 0
[pid=4814/tid=4832] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4832/stat : 4832 (java) S 4812 4814 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 825403388 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 0 0 0 0
[pid=4814/tid=4833] ppid=4812 vsize=13628488 CPUtime=0 cores=0,2,4,6
/proc/4814/task/4833/stat : 4833 (java) S 4812 4814 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825403455 13955571712 74095 33554432000 1073741824 1073778376 140734889709536 18446744073709551615 237290696192 0 4 0 16800975 18446604449058686848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13628488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.27
CPU time (s): 1800.21
CPU user time (s): 1800.04
CPU system time (s): 0.177972
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 13629272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79602
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= 38499
involuntary context switches= 16060
runsolver used 7.2439 second user time and 15.7106 second system time
The end