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-4081238-1465227050/watcher-4081238-1465227050 -o /tmp/evaluation-result-4081238-1465227050/solver-4081238-1465227050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-974 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081238-1465227050.opb
pid=2730
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.04 4.04 4.00 4/196 2733
/proc/meminfo: memFree=28242804/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2733/stat : 2733 (java) D 2730 2733 955 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 104639886 9515008 185 33554432000 1073741824 1073778376 140734230955008 140734230946232 235374538167 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/2733/statm: 2323 185 142 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.04 4.04 4.00 4/196 2733
/proc/meminfo: memFree=28242804/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 104639886 9787879424 6046 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2389619 6046 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200206 s]
/proc/loadavg: 4.04 4.04 4.00 4/196 2733
/proc/meminfo: memFree=28242804/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 4655 0 1 0 21 1 0 0 20 0 18 0 104639886 9787879424 6747 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2389619 6747 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.3002 s]
/proc/loadavg: 4.04 4.04 4.00 4/196 2733
/proc/meminfo: memFree=28242804/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 5593 0 1 0 44 2 0 0 20 0 18 0 104639886 9787879424 8449 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2389619 8449 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700293 s]
/proc/loadavg: 4.04 4.04 4.00 4/196 2733
/proc/meminfo: memFree=28242804/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9759196 CPUtime=1.52 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 23339 0 1 0 147 5 0 0 20 0 19 0 104639886 9993416704 29559 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2439799 29559 2253 9 0 2430476 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9759196
[startup+1.50079 s]
/proc/loadavg: 4.12 4.06 4.01 3/215 2755
/proc/meminfo: memFree=28132620/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 28272 0 1 0 240 7 0 0 20 0 19 0 104639886 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2456183 33612 2263 9 0 2446860 0
[pid=2733/tid=2735] ppid=2730 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/2733/task/2735/stat : 2735 (java) S 2730 2733 955 0 -1 4202560 2436 0 1 0 56 2 0 0 20 0 19 0 104639887 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770232521592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2736] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2736/stat : 2736 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770194012584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2737] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2737/stat : 2737 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770192960040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2738] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104639889 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104639890 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104639890 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) R 2730 2733 955 0 -1 4202560 13925 0 0 0 93 2 0 0 20 0 19 0 104639892 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770052151584 139770236608446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10566 0 0 0 71 3 0 0 20 0 19 0 104639892 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2754] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2754/stat : 2754 (java) S 2730 2733 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104639947 10060525568 33612 33554432000 1073741824 1073778376 140733356677008 139769038226216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9824732
[startup+3.10078 s]
/proc/loadavg: 4.12 4.06 4.01 5/215 2764
/proc/meminfo: memFree=28104064/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 28349 0 1 0 328 13 0 0 20 0 19 0 104639886 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2456183 42472 2272 9 0 2446860 0
[pid=2733/tid=2735] ppid=2730 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/2733/task/2735/stat : 2735 (java) S 2730 2733 955 0 -1 4202560 2437 0 1 0 56 2 0 0 20 0 19 0 104639887 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770232521592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2736] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2736/stat : 2736 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770194012584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2737] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2737/stat : 2737 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770192960040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2738] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104639888 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104639889 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104639890 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104639890 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) S 2730 2733 955 0 -1 4202560 13952 0 0 0 121 2 0 0 20 0 19 0 104639892 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770052164408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=1.01 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10574 0 0 0 98 3 0 0 20 0 19 0 104639892 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104639892 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2754] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2754/stat : 2754 (java) S 2730 2733 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104639947 10060525568 42472 33554432000 1073741824 1073778376 140733356677008 139769038226216 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 9824732
[startup+6.30084 s]
/proc/loadavg: 4.11 4.06 4.01 5/218 2776
/proc/meminfo: memFree=27832688/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9824732 CPUtime=10.38 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 32003 0 1 0 1001 37 0 0 20 0 22 0 104639886 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2456183 115033 2293 9 0 2446860 0
[pid=2733/tid=2735] ppid=2730 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/2733/task/2735/stat : 2735 (java) S 2730 2733 955 0 -1 4202560 2438 0 1 0 57 2 0 0 20 0 22 0 104639887 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770232521592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2736] ppid=2730 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/2733/task/2736/stat : 2736 (java) S 2730 2733 955 0 -1 4202560 196 0 0 0 6 2 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770194012584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2737] ppid=2730 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/2733/task/2737/stat : 2737 (java) S 2730 2733 955 0 -1 4202560 256 0 0 0 12 4 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770192960040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2738] ppid=2730 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 98 0 0 0 4 1 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 284 0 0 0 6 2 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 141 0 0 0 3 2 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 167 0 0 0 4 1 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 83 0 0 0 8 2 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 149 0 0 0 9 4 0 0 20 0 22 0 104639888 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 22 0 104639889 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) S 2730 2733 955 0 -1 4202560 15881 0 0 0 154 2 0 0 20 0 22 0 104639892 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770052164408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10581 0 0 0 123 3 0 0 20 0 22 0 104639892 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2773] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2773/stat : 2773 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104640248 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139769037174440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2774] ppid=2730 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/2733/task/2774/stat : 2774 (java) R 2730 2733 955 0 -1 4202560 6 0 0 0 202 0 0 0 20 0 22 0 104640298 10060525568 115033 33554432000 1073741824 1073778376 140733356677008 139769040331496 139770064771837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2775] ppid=2730 vsize=9824732 CPUtime=2.01 cores=1,3,5,7
################
# More data... #
################
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 775 0 0 0 557 23 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 1015 0 0 0 528 25 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=5.27 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 725 0 0 0 507 20 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=5.68 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 867 0 0 0 545 23 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=5.52 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 682 0 0 0 532 20 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=5.5 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 724 0 0 0 530 20 0 0 20 0 22 0 104639888 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=5.78 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 2845 0 0 0 568 10 0 0 20 0 22 0 104639889 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) S 2730 2733 955 0 -1 4202560 16147 0 0 0 197 2 0 0 20 0 22 0 104639892 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770052164408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10597 0 0 0 149 3 0 0 20 0 22 0 104639892 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 104639892 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2773] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2773/stat : 2773 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104640248 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139769037174440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2774] ppid=2730 vsize=9824732 CPUtime=858.65 cores=1,3,5,7
/proc/2733/task/2774/stat : 2774 (java) R 2730 2733 955 0 -1 4202560 92 0 0 0 85849 16 0 0 20 0 22 0 104640298 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139769040330416 139770064800476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2775] ppid=2730 vsize=9824732 CPUtime=858.66 cores=1,3,5,7
/proc/2733/task/2775/stat : 2775 (java) R 2730 2733 955 0 -1 4202560 1522 0 0 0 85820 46 0 0 20 0 22 0 104640298 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139769039276960 139770065081654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2776] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2776/stat : 2776 (java) S 2730 2733 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104640299 10060525568 1028166 33554432000 1073741824 1073778376 140733356677008 139769038226472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1778.36
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+893.101 s]
/proc/loadavg: 4.56 4.33 4.16 5/217 2881
/proc/meminfo: memFree=23484608/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 41885 0 1 0 179762 257 0 0 20 0 22 0 104639886 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2456183 1035337 2301 9 0 2446860 0
[pid=2733/tid=2735] ppid=2730 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/2733/task/2735/stat : 2735 (java) S 2730 2733 955 0 -1 4202560 2461 0 1 0 60 3 0 0 20 0 22 0 104639887 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770232521592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2736] ppid=2730 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/2733/task/2736/stat : 2736 (java) S 2730 2733 955 0 -1 4202560 855 0 0 0 494 21 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770194012584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2737] ppid=2730 vsize=9824732 CPUtime=6 cores=1,3,5,7
/proc/2733/task/2737/stat : 2737 (java) S 2730 2733 955 0 -1 4202560 1098 0 0 0 575 25 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770192960040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2738] ppid=2730 vsize=9824732 CPUtime=5.93 cores=1,3,5,7
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 779 0 0 0 570 23 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 1018 0 0 0 534 25 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 727 0 0 0 520 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=5.71 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 867 0 0 0 548 23 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 683 0 0 0 539 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 724 0 0 0 533 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=5.78 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 2848 0 0 0 568 10 0 0 20 0 22 0 104639889 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) S 2730 2733 955 0 -1 4202560 16147 0 0 0 197 2 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770052164408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10597 0 0 0 149 3 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2773] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2773/stat : 2773 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104640248 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769037174440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2774] ppid=2730 vsize=9824732 CPUtime=869.27 cores=1,3,5,7
/proc/2733/task/2774/stat : 2774 (java) R 2730 2733 955 0 -1 4202560 92 0 0 0 86911 16 0 0 20 0 22 0 104640298 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769040329616 139770064800476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2775] ppid=2730 vsize=9824732 CPUtime=869.29 cores=1,3,5,7
/proc/2733/task/2775/stat : 2775 (java) R 2730 2733 955 0 -1 4202560 1523 0 0 0 86883 46 0 0 20 0 22 0 104640298 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769039277760 139770065114686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2776] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2776/stat : 2776 (java) S 2730 2733 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104640299 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769038226472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 2733 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+893.101 s]
/proc/loadavg: 4.56 4.33 4.16 5/217 2881
/proc/meminfo: memFree=23484608/32872528 swapFree=13256/481332
[pid=2733] ppid=2730 vsize=9824732 CPUtime=1800.19 cores=1,3,5,7
/proc/2733/stat : 2733 (java) S 2730 2733 955 0 -1 4202496 41885 0 1 0 179762 257 0 0 20 0 22 0 104639886 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 140733356668144 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2733/statm: 2456183 1035337 2301 9 0 2446860 0
[pid=2733/tid=2735] ppid=2730 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/2733/task/2735/stat : 2735 (java) S 2730 2733 955 0 -1 4202560 2461 0 1 0 60 3 0 0 20 0 22 0 104639887 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770232521592 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2736] ppid=2730 vsize=9824732 CPUtime=5.15 cores=1,3,5,7
/proc/2733/task/2736/stat : 2736 (java) S 2730 2733 955 0 -1 4202560 855 0 0 0 494 21 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770194012584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2737] ppid=2730 vsize=9824732 CPUtime=6 cores=1,3,5,7
/proc/2733/task/2737/stat : 2737 (java) S 2730 2733 955 0 -1 4202560 1098 0 0 0 575 25 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770192960040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2738] ppid=2730 vsize=9824732 CPUtime=5.93 cores=1,3,5,7
/proc/2733/task/2738/stat : 2738 (java) S 2730 2733 955 0 -1 4202560 779 0 0 0 570 23 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770191906984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2739] ppid=2730 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/2733/task/2739/stat : 2739 (java) S 2730 2733 955 0 -1 4202560 1018 0 0 0 534 25 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770190854440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2740] ppid=2730 vsize=9824732 CPUtime=5.4 cores=1,3,5,7
/proc/2733/task/2740/stat : 2740 (java) S 2730 2733 955 0 -1 4202560 727 0 0 0 520 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770189802408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2741] ppid=2730 vsize=9824732 CPUtime=5.71 cores=1,3,5,7
/proc/2733/task/2741/stat : 2741 (java) S 2730 2733 955 0 -1 4202560 867 0 0 0 548 23 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770188749864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2742] ppid=2730 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/2733/task/2742/stat : 2742 (java) S 2730 2733 955 0 -1 4202560 683 0 0 0 539 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770187696808 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2733/tid=2743] ppid=2730 vsize=9824732 CPUtime=5.53 cores=1,3,5,7
/proc/2733/task/2743/stat : 2743 (java) S 2730 2733 955 0 -1 4202560 724 0 0 0 533 20 0 0 20 0 22 0 104639888 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770186644264 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2744] ppid=2730 vsize=9824732 CPUtime=5.78 cores=1,3,5,7
/proc/2733/task/2744/stat : 2744 (java) S 2730 2733 955 0 -1 4202560 2848 0 0 0 568 10 0 0 20 0 22 0 104639889 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770056374632 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2745] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2745/stat : 2745 (java) S 2730 2733 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770055320952 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2746] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2746/stat : 2746 (java) S 2730 2733 955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104639890 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770054267784 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2747] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2747/stat : 2747 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770053216528 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2748] ppid=2730 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/2733/task/2748/stat : 2748 (java) S 2730 2733 955 0 -1 4202560 16147 0 0 0 197 2 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770052164408 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2749] ppid=2730 vsize=9824732 CPUtime=1.52 cores=1,3,5,7
/proc/2733/task/2749/stat : 2749 (java) S 2730 2733 955 0 -1 4202560 10597 0 0 0 149 3 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770051111864 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2750] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2750/stat : 2750 (java) S 2730 2733 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770050059000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2733/tid=2751] ppid=2730 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/2733/task/2751/stat : 2751 (java) S 2730 2733 955 0 -1 4202560 51 0 0 0 12 19 0 0 20 0 22 0 104639892 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139770049006664 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2773] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2773/stat : 2773 (java) S 2730 2733 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104640248 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769037174440 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2774] ppid=2730 vsize=9824732 CPUtime=869.27 cores=1,3,5,7
/proc/2733/task/2774/stat : 2774 (java) R 2730 2733 955 0 -1 4202560 92 0 0 0 86911 16 0 0 20 0 22 0 104640298 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769040329616 139770064800476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2733/tid=2775] ppid=2730 vsize=9824732 CPUtime=869.29 cores=1,3,5,7
/proc/2733/task/2775/stat : 2775 (java) R 2730 2733 955 0 -1 4202560 1523 0 0 0 86883 46 0 0 20 0 22 0 104640298 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769039277760 139770065114686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2733/tid=2776] ppid=2730 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/2733/task/2776/stat : 2776 (java) S 2730 2733 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104640299 10060525568 1035337 33554432000 1073741824 1073778376 140733356677008 139769038226472 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2733 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=78410
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=52535
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 893.168
CPU time (s): 1800.19
CPU user time (s): 1797.62
CPU system time (s): 2.57
CPU usage (%): 201.551
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.08
system time used= 3.05253
maximum resident set size= 4141460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41923
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24497
involuntary context switches= 38866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78712 second user time and 7.2269 second system time
The end