runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4091951-1466077709/watcher-4091951-1466077709 -o /tmp/evaluation-result-4091951-1466077709/solver-4091951-1466077709 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466075282-14446 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091951-1466077709.wbo
pid=18833
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.35 2.61 3.34 4/197 18836
/proc/meminfo: memFree=30395360/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 9817396 98570240 977 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 24065 977 743 9 0 16771 0
[pid=18836/tid=18837] ppid=18833 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) R 18833 18836 10365 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 9817396 98570240 978 33554432000 1073741824 1073778376 140736867951584 140617547742760 229355898240 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 1.35 2.61 3.34 4/197 18836
/proc/meminfo: memFree=30395360/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 4425 0 1 0 10 0 0 0 20 0 18 0 9817396 9787879424 6054 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2389619 6055 2133 9 0 2380296 0
[pid=18836/tid=18837] ppid=18833 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) R 18833 18836 10365 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 9817396 9787879424 6057 33554432000 1073741824 1073778376 140736867951584 140617547746056 229359281421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200321 s]
/proc/loadavg: 1.35 2.61 3.34 4/197 18836
/proc/meminfo: memFree=30395360/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 4733 0 1 0 24 1 0 0 20 0 18 0 9817396 9787879424 6821 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2389619 6821 2198 9 0 2380296 0
[pid=18836/tid=18837] ppid=18833 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) R 18833 18836 10365 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 9817396 9787879424 6821 33554432000 1073741824 1073778376 140736867951584 140617547746056 140617380342992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.306734 s]
/proc/loadavg: 1.35 2.61 3.34 4/197 18836
/proc/meminfo: memFree=30395360/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 5712 0 1 0 48 1 0 0 20 0 18 0 9817396 9787879424 8493 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2389619 8493 2231 9 0 2380296 0
[pid=18836/tid=18837] ppid=18833 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) R 18833 18836 10365 0 -1 4202560 2401 0 1 0 28 0 0 0 20 0 18 0 9817396 9787879424 8493 33554432000 1073741824 1073778376 140736867951584 140617547746712 140617380387762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.700316 s]
/proc/loadavg: 1.35 2.61 3.34 4/197 18836
/proc/meminfo: memFree=30395360/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 11086 0 1 0 121 4 0 0 20 0 19 0 9817396 10060525568 13033 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 13033 2258 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2417 0 1 0 33 0 0 0 20 0 19 0 9817396 10060525568 13033 33554432000 1073741824 1073778376 140736867951584 140617547748216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732
[startup+1.50083 s]
/proc/loadavg: 1.32 2.58 3.33 4/214 18861
/proc/meminfo: memFree=30324088/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 20967 0 1 0 210 10 0 0 20 0 19 0 9817396 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 21106 2264 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2418 0 1 0 34 1 0 0 20 0 19 0 9817396 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617547748216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9817398 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/18836/task/18851/stat : 18851 (java) S 18833 18836 10365 0 -1 4202560 10127 0 0 0 77 2 0 0 20 0 19 0 9817401 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617367628728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18852] ppid=18833 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/18836/task/18852/stat : 18852 (java) S 18833 18836 10365 0 -1 4202560 7080 0 0 0 64 1 0 0 20 0 19 0 9817401 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617366575928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18853] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18853/stat : 18853 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140617365523320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18854] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18854/stat : 18854 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140616356850632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18858] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18858/stat : 18858 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9817432 10060525568 21106 33554432000 1073741824 1073778376 140736867951584 140616352637736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 1.32 2.58 3.33 2/214 18867
/proc/meminfo: memFree=30312220/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 21001 0 1 0 230 13 0 0 20 0 19 0 9817396 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 26230 2264 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2420 0 1 0 35 2 0 0 20 0 19 0 9817396 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617547748216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9817398 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/18836/task/18851/stat : 18851 (java) S 18833 18836 10365 0 -1 4202560 10131 0 0 0 86 2 0 0 20 0 19 0 9817401 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617367628728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18852] ppid=18833 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/18836/task/18852/stat : 18852 (java) S 18833 18836 10365 0 -1 4202560 7080 0 0 0 68 2 0 0 20 0 19 0 9817401 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617366575928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18853] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18853/stat : 18853 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140617365523320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18854] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18854/stat : 18854 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140616356850632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18858] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18858/stat : 18858 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9817432 10060525568 26230 33554432000 1073741824 1073778376 140736867951584 140616352637736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9824732
heavy processes:
%CPU=27 pid=1814 uid=0 cmd=
[startup+6.30084 s]
/proc/loadavg: 1.32 2.58 3.33 2/214 18888
/proc/meminfo: memFree=30257996/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=3 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 21096 0 1 0 281 19 0 0 20 0 19 0 9817396 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 38612 2271 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2424 0 1 0 37 2 0 0 20 0 19 0 9817396 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617547748216 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9817397 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 9817398 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9817399 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9817401 10060525568 38612 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
################
# More data... #
################
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 33077 0 1 0 168453 366 0 0 20 0 21 0 9817396 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 1039169 2296 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2508 0 1 0 108 27 0 0 20 0 21 0 9817396 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617547748328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=5.05 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 827 0 0 0 479 26 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 674 0 0 0 497 29 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=5.02 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 565 0 0 0 477 25 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=4.9 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 666 0 0 0 469 21 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=5.03 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 784 0 0 0 474 29 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=5.22 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 737 0 0 0 495 27 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=5.08 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 827 0 0 0 482 26 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=5.68 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 753 0 0 0 537 31 0 0 20 0 21 0 9817397 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=7.89 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 3325 0 0 0 782 7 0 0 20 0 21 0 9817398 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/18836/task/18851/stat : 18851 (java) S 18833 18836 10365 0 -1 4202560 10213 0 0 0 157 2 0 0 20 0 21 0 9817401 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617367628728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18852] ppid=18833 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/18836/task/18852/stat : 18852 (java) S 18833 18836 10365 0 -1 4202560 7096 0 0 0 108 2 0 0 20 0 21 0 9817401 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617366575928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18853] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18853/stat : 18853 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140617365523320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18854] ppid=18833 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/18836/task/18854/stat : 18854 (java) S 18833 18836 10365 0 -1 4202560 96 0 0 0 29 28 0 0 20 0 21 0 9817401 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140616356850632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18858] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18858/stat : 18858 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9817432 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140616352637736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18998] ppid=18833 vsize=9824732 CPUtime=1617.81 cores=0,2,4,6
/proc/18836/task/18998/stat : 18998 (java) R 18833 18836 10365 0 -1 4202560 1633 0 0 0 161734 47 0 0 20 0 21 0 9819970 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140616353688832 140617381276340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18999] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18999/stat : 18999 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9819972 10060525568 1039169 33554432000 1073741824 1073778376 140736867951584 140616354743336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1688.19
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 2.18 2.22 2.41 3/217 19892
/proc/meminfo: memFree=23263896/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=1749.56 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 33254 0 1 0 174582 374 0 0 20 0 21 0 9817396 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 1061784 2296 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=1.39 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2513 0 1 0 110 29 0 0 20 0 21 0 9817396 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617547748328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=5.39 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 851 0 0 0 512 27 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=5.46 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 697 0 0 0 516 30 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=5.2 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 584 0 0 0 495 25 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=5.12 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 685 0 0 0 490 22 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=5.24 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 801 0 0 0 494 30 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=5.53 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 763 0 0 0 525 28 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=5.23 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 839 0 0 0 497 26 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=5.86 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 775 0 0 0 555 31 0 0 20 0 21 0 9817397 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=7.89 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 3331 0 0 0 782 7 0 0 20 0 21 0 9817398 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/18836/task/18851/stat : 18851 (java) S 18833 18836 10365 0 -1 4202560 10213 0 0 0 157 2 0 0 20 0 21 0 9817401 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617367628728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18852] ppid=18833 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/18836/task/18852/stat : 18852 (java) S 18833 18836 10365 0 -1 4202560 7096 0 0 0 108 2 0 0 20 0 21 0 9817401 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617366575928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18853] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18853/stat : 18853 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140617365523320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18854] ppid=18833 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/18836/task/18854/stat : 18854 (java) S 18833 18836 10365 0 -1 4202560 100 0 0 0 30 29 0 0 20 0 21 0 9817401 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140616356850632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18858] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18858/stat : 18858 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9817432 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140616352637736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18998] ppid=18833 vsize=9824732 CPUtime=1677.36 cores=0,2,4,6
/proc/18836/task/18998/stat : 18998 (java) R 18833 18836 10365 0 -1 4202560 1633 0 0 0 167688 48 0 0 20 0 21 0 9819970 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140616353689152 140617381015606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18999] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18999/stat : 18999 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9819972 10060525568 1061784 33554432000 1073741824 1073778376 140736867951584 140616354743336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1749.56
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1772.1 s]
/proc/loadavg: 2.19 2.22 2.39 3/217 19893
/proc/meminfo: memFree=22817376/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/18836/stat : 18836 (java) S 18833 18836 10365 0 -1 4202496 33307 0 1 0 179628 376 0 0 20 0 21 0 9817396 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140736867942720 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18836/statm: 2456183 1065304 2296 9 0 2446860 0
[pid=18836/tid=18837] ppid=18833 vsize=9824732 CPUtime=1.4 cores=0,2,4,6
/proc/18836/task/18837/stat : 18837 (java) S 18833 18836 10365 0 -1 4202560 2516 0 1 0 111 29 0 0 20 0 21 0 9817396 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617547748328 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18839] ppid=18833 vsize=9824732 CPUtime=5.57 cores=0,2,4,6
/proc/18836/task/18839/stat : 18839 (java) S 18833 18836 10365 0 -1 4202560 857 0 0 0 530 27 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617509239336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18840] ppid=18833 vsize=9824732 CPUtime=5.5 cores=0,2,4,6
/proc/18836/task/18840/stat : 18840 (java) S 18833 18836 10365 0 -1 4202560 701 0 0 0 520 30 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617508186536 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18841] ppid=18833 vsize=9824732 CPUtime=5.3 cores=0,2,4,6
/proc/18836/task/18841/stat : 18841 (java) S 18833 18836 10365 0 -1 4202560 591 0 0 0 504 26 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617507133736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=9824732 CPUtime=5.22 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) S 18833 18836 10365 0 -1 4202560 691 0 0 0 500 22 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617506080936 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18843] ppid=18833 vsize=9824732 CPUtime=5.36 cores=0,2,4,6
/proc/18836/task/18843/stat : 18843 (java) S 18833 18836 10365 0 -1 4202560 805 0 0 0 506 30 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617505029160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18844] ppid=18833 vsize=9824732 CPUtime=5.63 cores=0,2,4,6
/proc/18836/task/18844/stat : 18844 (java) S 18833 18836 10365 0 -1 4202560 770 0 0 0 535 28 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617503976360 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18845] ppid=18833 vsize=9824732 CPUtime=5.34 cores=0,2,4,6
/proc/18836/task/18845/stat : 18845 (java) S 18833 18836 10365 0 -1 4202560 844 0 0 0 508 26 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617502923560 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18846] ppid=18833 vsize=9824732 CPUtime=5.98 cores=0,2,4,6
/proc/18836/task/18846/stat : 18846 (java) S 18833 18836 10365 0 -1 4202560 782 0 0 0 567 31 0 0 20 0 21 0 9817397 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617501870760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18847] ppid=18833 vsize=9824732 CPUtime=7.9 cores=0,2,4,6
/proc/18836/task/18847/stat : 18847 (java) S 18833 18836 10365 0 -1 4202560 3333 0 0 0 782 8 0 0 20 0 21 0 9817398 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617371838952 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18848] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18848/stat : 18848 (java) S 18833 18836 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617370785016 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18849] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18849/stat : 18849 (java) S 18833 18836 10365 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 21 0 9817399 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617369732104 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18836/tid=18850] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18850/stat : 18850 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617368680592 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18851] ppid=18833 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/18836/task/18851/stat : 18851 (java) S 18833 18836 10365 0 -1 4202560 10213 0 0 0 157 2 0 0 20 0 21 0 9817401 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617367628728 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18852] ppid=18833 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/18836/task/18852/stat : 18852 (java) S 18833 18836 10365 0 -1 4202560 7096 0 0 0 108 2 0 0 20 0 21 0 9817401 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617366575928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18853] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18853/stat : 18853 (java) S 18833 18836 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 9817401 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140617365523320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18836/tid=18854] ppid=18833 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/18836/task/18854/stat : 18854 (java) S 18833 18836 10365 0 -1 4202560 102 0 0 0 31 30 0 0 20 0 21 0 9817401 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140616356850632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18858] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18858/stat : 18858 (java) S 18833 18836 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 9817432 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140616352637736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18836/tid=18998] ppid=18833 vsize=9824732 CPUtime=1726.94 cores=0,2,4,6
/proc/18836/task/18998/stat : 18998 (java) R 18833 18836 10365 0 -1 4202560 1633 0 0 0 172645 49 0 0 20 0 21 0 9819970 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140616353689152 140617380827818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18836/tid=18999] ppid=18833 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/18836/task/18999/stat : 18999 (java) S 18833 18836 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 9819972 10060525568 1065304 33554432000 1073741824 1073778376 140736867951584 140616354743336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18836 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1772.21 s]
/proc/loadavg: 2.19 2.22 2.39 3/217 19893
/proc/meminfo: memFree=22817376/32872528 swapFree=1370072/1517240
[pid=18836] ppid=18833 vsize=0 CPUtime=1800.96 cores=0,2,4,6
/proc/18836/stat : 18836 (java) Z 18833 18836 10365 0 -1 4203532 33356 0 1 0 179669 427 0 0 20 0 2 0 9817396 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18836/statm: 0 0 0 0 0 0 0
[pid=18836/tid=18842] ppid=18833 vsize=0 CPUtime=5.24 cores=0,2,4,6
/proc/18836/task/18842/stat : 18842 (java) R 18833 18836 10365 0 -1 4203588 694 0 0 0 502 22 0 0 20 0 2 0 9817397 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1772.22
CPU time (s): 1800.98
CPU user time (s): 1796.69
CPU system time (s): 4.29035
CPU usage (%): 101.623
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 4.29035
maximum resident set size= 4261612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33356
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77965
involuntary context switches= 44987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7634 second user time and 14.1109 second system time
The end