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-4100506-1466209827/watcher-4100506-1466209827 -o /tmp/evaluation-result-4100506-1466209827/solver-4100506-1466209827 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466206074-14490 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100506-1466209827.opb
pid=16744
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: 4.08 4.09 3.91 4/198 16747
/proc/meminfo: memFree=29037816/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/16747/stat : 16747 (java) D 16744 16747 14474 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 23029448 9515008 182 33554432000 1073741824 1073778376 140733273103632 140733273094664 242167398069 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/16747/statm: 2323 182 140 9 0 71 0
[startup+0.100126 s]
/proc/loadavg: 4.08 4.09 3.91 4/198 16747
/proc/meminfo: memFree=29037816/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 4053 0 1 0 8 0 0 0 20 0 18 0 23029448 9787879424 5180 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2389619 5182 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200331 s]
/proc/loadavg: 4.08 4.09 3.91 4/198 16747
/proc/meminfo: memFree=29037816/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 4985 0 1 0 25 1 0 0 20 0 18 0 23029448 9787879424 7506 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2389619 7506 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300302 s]
/proc/loadavg: 4.08 4.09 3.91 4/198 16747
/proc/meminfo: memFree=29037816/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 5797 0 1 0 46 1 0 0 20 0 18 0 23029448 9787879424 10357 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2389619 10359 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700264 s]
/proc/loadavg: 4.08 4.09 3.91 4/198 16747
/proc/meminfo: memFree=29037816/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9558476 CPUtime=1.34 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 15788 0 1 0 130 4 0 0 20 0 18 0 23029448 9787879424 38072 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2389619 38072 2247 9 0 2380296 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9558476
[startup+1.50074 s]
/proc/loadavg: 4.08 4.09 3.91 11/216 16765
/proc/meminfo: memFree=28790032/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 17883 0 1 0 304 15 0 0 20 0 22 0 23029448 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 66859 2277 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2479 0 1 0 105 3 0 0 20 0 22 0 23029449 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 164 0 0 0 3 2 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 89 0 0 0 3 2 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 87 0 0 0 2 0 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 113 0 0 0 6 3 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 66 0 0 0 3 2 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 30 0 0 0 4 2 0 0 20 0 22 0 23029450 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 23029451 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) R 16744 16747 14474 0 -1 4202560 7010 0 0 0 54 2 0 0 20 0 22 0 23029455 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766686246544 139767339622432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) R 16744 16747 14474 0 -1 4202560 6417 0 0 0 54 0 0 0 20 0 22 0 23029455 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766685206712 139767341159825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 66859 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 4.24 4.12 3.92 5/220 16769
/proc/meminfo: memFree=28641668/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=7.89 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 27338 0 1 0 762 27 0 0 20 0 22 0 23029448 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 147419 2283 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2479 0 1 0 105 3 0 0 20 0 22 0 23029449 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 64 0 0 0 10 2 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 186 0 0 0 8 2 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 139 0 0 0 4 3 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 160 0 0 0 8 2 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 128 0 0 0 8 3 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 51 0 0 0 8 3 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 81 0 0 0 5 2 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 34 0 0 0 6 2 0 0 20 0 22 0 23029450 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 23029451 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) S 16744 16747 14474 0 -1 4202560 11223 0 0 0 122 2 0 0 20 0 22 0 23029455 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766686259256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) S 16744 16747 14474 0 -1 4202560 10975 0 0 0 117 2 0 0 20 0 22 0 23029455 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766685206712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16766] ppid=16744 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/16747/task/16766/stat : 16766 (java) R 16744 16747 14474 0 -1 4202560 40 0 0 0 173 0 0 0 20 0 22 0 23029572 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766682038432 139767178847555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16767] ppid=16744 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/16747/task/16767/stat : 16767 (java) R 16744 16747 14474 0 -1 4202560 315 0 0 0 168 4 0 0 20 0 22 0 23029572 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766680993592 139767178862824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16768] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16768/stat : 16768 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766679942696 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16769] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16769/stat : 16769 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 147419 33554432000 1073741824 1073778376 140734936490624 139766678890152 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 4.24 4.12 3.92 5/220 16769
/proc/meminfo: memFree=28261176/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=14.45 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 28415 0 1 0 1405 40 0 0 20 0 22 0 23029448 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 258165 2283 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2480 0 1 0 105 3 0 0 20 0 22 0 23029449 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 68 0 0 0 12 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 198 0 0 0 11 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 147 0 0 0 7 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 172 0 0 0 11 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 141 0 0 0 11 4 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 70 0 0 0 14 4 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 98 0 0 0 10 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 78 0 0 0 10 3 0 0 20 0 22 0 23029450 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 22 0 23029451 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) S 16744 16747 14474 0 -1 4202560 11223 0 0 0 122 2 0 0 20 0 22 0 23029455 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766686259256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) S 16744 16747 14474 0 -1 4202560 10975 0 0 0 119 2 0 0 20 0 22 0 23029455 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766685206712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 258165 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16766] ppid=16744 vsize=9824732 CPUtime=4.83 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.20 4.18 4.05 5/218 16871
/proc/meminfo: memFree=26835632/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=1657.68 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 42184 0 1 0 165590 178 0 0 20 0 22 0 23029448 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 952384 2292 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2497 0 1 0 108 4 0 0 20 0 22 0 23029449 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 563 0 0 0 394 12 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=3.91 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 741 0 0 0 375 16 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=4 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 633 0 0 0 385 15 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=4.61 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 704 0 0 0 444 17 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 700 0 0 0 385 14 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 550 0 0 0 379 14 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 909 0 0 0 342 15 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 553 0 0 0 393 13 0 0 20 0 22 0 23029450 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 2759 0 0 0 439 9 0 0 20 0 22 0 23029451 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) S 16744 16747 14474 0 -1 4202560 13182 0 0 0 172 2 0 0 20 0 22 0 23029455 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766686259256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) S 16744 16747 14474 0 -1 4202560 15246 0 0 0 155 2 0 0 20 0 22 0 23029455 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766685206712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 47 0 0 0 16 17 0 0 20 0 22 0 23029455 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16766] ppid=16744 vsize=9824732 CPUtime=808.25 cores=0,2,4,6
/proc/16747/task/16766/stat : 16766 (java) R 16744 16747 14474 0 -1 4202560 97 0 0 0 80810 15 0 0 20 0 22 0 23029572 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766682047200 139767179072076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16767] ppid=16744 vsize=9824732 CPUtime=808.26 cores=0,2,4,6
/proc/16747/task/16767/stat : 16767 (java) R 16744 16747 14474 0 -1 4202560 1738 0 0 0 80777 49 0 0 20 0 22 0 23029572 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766680993552 139767178863147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16768] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16768/stat : 16768 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766679942696 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16769] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16769/stat : 16769 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 952384 33554432000 1073741824 1073778376 140734936490624 139766678890152 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1657.68
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.34 4.22 4.07 5/219 16873
/proc/meminfo: memFree=26606184/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=1778.51 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 42257 0 1 0 177669 182 0 0 20 0 22 0 23029448 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 965184 2292 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2497 0 1 0 109 4 0 0 20 0 22 0 23029449 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=4.29 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 571 0 0 0 416 13 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 745 0 0 0 390 17 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=4.21 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 636 0 0 0 406 15 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=4.82 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 710 0 0 0 465 17 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=4.29 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 713 0 0 0 414 15 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=4.07 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 555 0 0 0 392 15 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 911 0 0 0 358 15 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=4.39 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 568 0 0 0 425 14 0 0 20 0 22 0 23029450 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 2767 0 0 0 439 9 0 0 20 0 22 0 23029451 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) S 16744 16747 14474 0 -1 4202560 13182 0 0 0 172 2 0 0 20 0 22 0 23029455 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766686259256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) S 16744 16747 14474 0 -1 4202560 15246 0 0 0 155 2 0 0 20 0 22 0 23029455 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766685206712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 51 0 0 0 18 17 0 0 20 0 22 0 23029455 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16766] ppid=16744 vsize=9824732 CPUtime=867.81 cores=0,2,4,6
/proc/16747/task/16766/stat : 16766 (java) R 16744 16747 14474 0 -1 4202560 100 0 0 0 86765 16 0 0 20 0 22 0 23029572 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766682046112 139767179316957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16767] ppid=16744 vsize=9824732 CPUtime=867.81 cores=0,2,4,6
/proc/16747/task/16767/stat : 16767 (java) R 16744 16747 14474 0 -1 4202560 1740 0 0 0 86731 50 0 0 20 0 22 0 23029572 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766680992672 139767178862646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16768] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16768/stat : 16768 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766679942696 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16769] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16769/stat : 16769 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 965184 33554432000 1073741824 1073778376 140734936490624 139766678890152 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1778.51
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.001 s]
/proc/loadavg: 4.28 4.21 4.07 5/219 16873
/proc/meminfo: memFree=26576028/32872528 swapFree=338416/354768
[pid=16747] ppid=16744 vsize=9824732 CPUtime=1800.09 cores=0,2,4,6
/proc/16747/stat : 16747 (java) S 16744 16747 14474 0 -1 4202496 42267 0 1 0 179826 183 0 0 20 0 22 0 23029448 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 140734936481760 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16747/statm: 2456183 967230 2292 9 0 2446860 0
[pid=16747/tid=16749] ppid=16744 vsize=9824732 CPUtime=1.13 cores=0,2,4,6
/proc/16747/task/16749/stat : 16749 (java) S 16744 16747 14474 0 -1 4202560 2497 0 1 0 109 4 0 0 20 0 22 0 23029449 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767337067384 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16750] ppid=16744 vsize=9824732 CPUtime=4.38 cores=0,2,4,6
/proc/16747/task/16750/stat : 16750 (java) S 16744 16747 14474 0 -1 4202560 575 0 0 0 425 13 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767298558632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16751] ppid=16744 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/16747/task/16751/stat : 16751 (java) S 16744 16747 14474 0 -1 4202560 747 0 0 0 395 17 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767297506088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16752] ppid=16744 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/16747/task/16752/stat : 16752 (java) S 16744 16747 14474 0 -1 4202560 637 0 0 0 408 15 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767178062760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16753] ppid=16744 vsize=9824732 CPUtime=4.85 cores=0,2,4,6
/proc/16747/task/16753/stat : 16753 (java) S 16744 16747 14474 0 -1 4202560 710 0 0 0 468 17 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767177010216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16754] ppid=16744 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/16747/task/16754/stat : 16754 (java) S 16744 16747 14474 0 -1 4202560 713 0 0 0 417 15 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767175956648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16755] ppid=16744 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/16747/task/16755/stat : 16755 (java) S 16744 16747 14474 0 -1 4202560 557 0 0 0 402 15 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767174904104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16756] ppid=16744 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/16747/task/16756/stat : 16756 (java) S 16744 16747 14474 0 -1 4202560 911 0 0 0 360 15 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767173851560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16757] ppid=16744 vsize=9824732 CPUtime=4.43 cores=0,2,4,6
/proc/16747/task/16757/stat : 16757 (java) S 16744 16747 14474 0 -1 4202560 568 0 0 0 429 14 0 0 20 0 22 0 23029450 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139767172799016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16758] ppid=16744 vsize=9824732 CPUtime=4.48 cores=0,2,4,6
/proc/16747/task/16758/stat : 16758 (java) S 16744 16747 14474 0 -1 4202560 2767 0 0 0 439 9 0 0 20 0 22 0 23029451 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766690470504 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16759] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16759/stat : 16759 (java) S 16744 16747 14474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766689416824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16760] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16760/stat : 16760 (java) S 16744 16747 14474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23029452 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766688364168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16761] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16761/stat : 16761 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766687312912 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16762] ppid=16744 vsize=9824732 CPUtime=1.74 cores=0,2,4,6
/proc/16747/task/16762/stat : 16762 (java) S 16744 16747 14474 0 -1 4202560 13182 0 0 0 172 2 0 0 20 0 22 0 23029455 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766686259256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16747/tid=16763] ppid=16744 vsize=9824732 CPUtime=1.57 cores=0,2,4,6
/proc/16747/task/16763/stat : 16763 (java) S 16744 16747 14474 0 -1 4202560 15246 0 0 0 155 2 0 0 20 0 22 0 23029455 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766685206712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16764] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16764/stat : 16764 (java) S 16744 16747 14474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23029455 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766684154360 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16765] ppid=16744 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/16747/task/16765/stat : 16765 (java) S 16744 16747 14474 0 -1 4202560 51 0 0 0 18 18 0 0 20 0 22 0 23029455 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766683102024 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16766] ppid=16744 vsize=9824732 CPUtime=878.41 cores=0,2,4,6
/proc/16747/task/16766/stat : 16766 (java) R 16744 16747 14474 0 -1 4202560 101 0 0 0 87825 16 0 0 20 0 22 0 23029572 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766682046016 139767179316747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=16747/tid=16767] ppid=16744 vsize=9824732 CPUtime=878.41 cores=0,2,4,6
/proc/16747/task/16767/stat : 16767 (java) R 16744 16747 14474 0 -1 4202560 1740 0 0 0 87791 50 0 0 20 0 22 0 23029572 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766680992352 139767178862646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16747/tid=16768] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16768/stat : 16768 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766679942696 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16747/tid=16769] ppid=16744 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16747/task/16769/stat : 16769 (java) S 16744 16747 14474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23029582 10060525568 967230 33554432000 1073741824 1073778376 140734936490624 139766678890152 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 16747 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 893.082
CPU time (s): 1800.8
CPU user time (s): 1798.41
CPU system time (s): 2.39064
CPU usage (%): 201.639
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 2.39064
maximum resident set size= 3869036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42308
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23376
involuntary context switches= 27400
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53216 second user time and 7.57585 second system time
The end