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-4103594-1466243848/watcher-4103594-1466243848 -o /tmp/evaluation-result-4103594-1466243848/solver-4103594-1466243848 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103594-1466243848.opb
pid=19741
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.39 4.35 4.24 4/197 19744
/proc/meminfo: memFree=26288712/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19744/stat : 19744 (java) D 19741 19744 18358 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 26431640 9515008 175 33554432000 1073741824 1073778376 140733663378384 140733663361112 214369649552 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/19744/statm: 2323 175 133 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 4.39 4.35 4.24 4/197 19744
/proc/meminfo: memFree=26288712/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 4372 0 1 0 7 1 0 0 20 0 18 0 26431640 9787879424 4987 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 4988 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200219 s]
/proc/loadavg: 4.39 4.35 4.24 4/197 19744
/proc/meminfo: memFree=26288712/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 5233 0 1 0 26 2 0 0 20 0 18 0 26431640 9787879424 7738 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 7738 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300241 s]
/proc/loadavg: 4.39 4.35 4.24 4/197 19744
/proc/meminfo: memFree=26288712/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 5938 0 1 0 45 2 0 0 20 0 18 0 26431640 9787879424 12207 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 12207 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700194 s]
/proc/loadavg: 4.39 4.35 4.24 4/197 19744
/proc/meminfo: memFree=26288712/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=1.28 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 9807 0 1 0 119 9 0 0 20 0 18 0 26431640 9787879424 50884 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 50884 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9558476
[startup+1.50072 s]
/proc/loadavg: 4.39 4.35 4.24 6/215 19762
/proc/meminfo: memFree=25978532/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=3.55 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 32307 0 1 0 340 15 0 0 20 0 18 0 26431640 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 78725 2270 9 0 2380296 0
[pid=19744/tid=19746] ppid=19741 vsize=9558476 CPUtime=1.32 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 18358 0 -1 4202560 2527 0 1 0 129 3 0 0 20 0 18 0 26431642 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201965182928 140201836881152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 169 0 0 0 4 0 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 147 0 0 0 8 1 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 157 0 0 0 3 0 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 18 0 26431643 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 18 0 26431644 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9558476 CPUtime=0.8 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 12971 0 0 0 78 2 0 0 20 0 18 0 26431647 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9558476 CPUtime=0.96 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) R 19741 19744 18358 0 -1 4202560 14789 0 0 0 93 3 0 0 20 0 18 0 26431647 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201784125320 140201972004389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 78725 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9558476
[startup+3.1008 s]
/proc/loadavg: 4.35 4.34 4.23 4/215 19762
/proc/meminfo: memFree=25872592/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=5.87 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 35750 0 1 0 559 28 0 0 20 0 18 0 26431640 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 128285 2270 9 0 2380296 0
[pid=19744/tid=19746] ppid=19741 vsize=9558476 CPUtime=2.79 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 18358 0 -1 4202560 2581 0 1 0 274 5 0 0 20 0 18 0 26431642 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201965182928 140201837439020 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 180 0 0 0 5 2 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 199 0 0 0 13 4 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 143 0 0 0 9 3 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 193 0 0 0 18 4 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 55 0 0 0 8 3 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 174 0 0 0 4 1 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 127 0 0 0 4 1 0 0 20 0 18 0 26431643 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 18 0 26431644 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9558476 CPUtime=1 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 14693 0 0 0 98 2 0 0 20 0 18 0 26431647 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9558476 CPUtime=1.09 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 18358 0 -1 4202560 15922 0 0 0 106 3 0 0 20 0 18 0 26431647 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201784138040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 128285 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 9558476
[startup+6.30086 s]
/proc/loadavg: 4.35 4.34 4.23 4/215 19762
/proc/meminfo: memFree=25249504/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9558476 CPUtime=10.2 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 37549 0 1 0 960 60 0 0 20 0 18 0 26431640 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2389619 263703 2284 9 0 2380296 0
[pid=19744/tid=19746] ppid=19741 vsize=9558476 CPUtime=4.58 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) R 19741 19744 18358 0 -1 4202560 2872 0 1 0 449 9 0 0 20 0 18 0 26431642 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201965182944 214373033229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 221 0 0 0 20 4 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 282 0 0 0 34 9 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 177 0 0 0 19 5 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 251 0 0 0 31 6 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 106 0 0 0 20 4 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 127 0 0 0 26 6 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 506 0 0 0 26 6 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 187 0 0 0 14 4 0 0 20 0 18 0 26431643 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9558476 CPUtime=1.01 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 945 0 0 0 99 2 0 0 20 0 18 0 26431644 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 26431645 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9558476 CPUtime=1.01 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 14699 0 0 0 99 2 0 0 20 0 18 0 26431647 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9558476 CPUtime=1.09 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 18358 0 -1 4202560 15922 0 0 0 106 3 0 0 20 0 18 0 26431647 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201784138040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26431647 9787879424 263703 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.2
Current children cumulated vsize (KiB) 9558476
[startup+12.7009 s]
/proc/loadavg: 4.30 4.33 4.23 6/219 19766
/proc/meminfo: memFree=25190952/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9824732 CPUtime=23.26 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 37808 0 1 0 2260 66 0 0 20 0 22 0 26431640 10060525568 269880 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2456183 269880 2292 9 0 2446860 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.32 4.23 4.19 5/219 19946
/proc/meminfo: memFree=23227008/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9824732 CPUtime=1645.03 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 45773 0 1 0 164213 290 0 0 20 0 22 0 26431640 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2456183 925766 2297 9 0 2446860 0
[pid=19744/tid=19746] ppid=19741 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) S 19741 19744 18358 0 -1 4202560 2886 0 1 0 533 10 0 0 20 0 22 0 26431642 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201965192056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 717 0 0 0 177 27 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 722 0 0 0 213 29 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 660 0 0 0 194 30 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 913 0 0 0 237 38 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 794 0 0 0 223 30 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 863 0 0 0 226 34 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 827 0 0 0 175 24 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 1094 0 0 0 203 38 0 0 20 0 22 0 26431643 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9824732 CPUtime=6.55 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 3490 0 0 0 646 9 0 0 20 0 22 0 26431644 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 14764 0 0 0 163 3 0 0 20 0 22 0 26431647 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 18358 0 -1 4202560 15999 0 0 0 170 3 0 0 20 0 22 0 26431647 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201784138040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 47 0 0 0 11 12 0 0 20 0 22 0 26431647 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9824732 CPUtime=805.26 cores=1,3,5,7
/proc/19744/task/19763/stat : 19763 (java) R 19741 19744 18358 0 -1 4202560 160 0 0 0 80508 18 0 0 20 0 22 0 26432352 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201780970000 140201838302809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19764] ppid=19741 vsize=9824732 CPUtime=805.33 cores=1,3,5,7
/proc/19744/task/19764/stat : 19764 (java) R 19741 19744 18358 0 -1 4202560 570 0 0 0 80516 17 0 0 20 0 22 0 26432352 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201779924120 140201838339351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19765] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19765/stat : 19765 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201778873768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19766] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19766/stat : 19766 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 925766 33554432000 1073741824 1073778376 140735543812624 140201777820968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1645.03
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.22 4.19 5/219 19947
/proc/meminfo: memFree=23169168/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9824732 CPUtime=1765.94 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 45897 0 1 0 176297 297 0 0 20 0 22 0 26431640 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2456183 940119 2297 9 0 2446860 0
[pid=19744/tid=19746] ppid=19741 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) S 19741 19744 18358 0 -1 4202560 2886 0 1 0 533 10 0 0 20 0 22 0 26431642 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201965192056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 738 0 0 0 196 28 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 736 0 0 0 235 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 681 0 0 0 230 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 920 0 0 0 260 38 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 802 0 0 0 239 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 888 0 0 0 246 34 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 829 0 0 0 194 24 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 1113 0 0 0 224 38 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9824732 CPUtime=6.55 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 3492 0 0 0 646 9 0 0 20 0 22 0 26431644 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 14764 0 0 0 163 3 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 18358 0 -1 4202560 15999 0 0 0 170 3 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201784138040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 51 0 0 0 11 14 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9824732 CPUtime=864.81 cores=1,3,5,7
/proc/19744/task/19763/stat : 19763 (java) R 19741 19744 18358 0 -1 4202560 161 0 0 0 86462 19 0 0 20 0 22 0 26432352 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201780977728 140201838164215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19764] ppid=19741 vsize=9824732 CPUtime=864.88 cores=1,3,5,7
/proc/19744/task/19764/stat : 19764 (java) R 19741 19744 18358 0 -1 4202560 570 0 0 0 86470 18 0 0 20 0 22 0 26432352 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201779923824 140201838339344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19765] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19765/stat : 19765 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201778873768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19766] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19766/stat : 19766 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201777820968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1765.94
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.401 s]
/proc/loadavg: 4.23 4.22 4.19 5/219 19947
/proc/meminfo: memFree=23169168/32872528 swapFree=1286400/1433568
[pid=19744] ppid=19741 vsize=9824732 CPUtime=1800.13 cores=1,3,5,7
/proc/19744/stat : 19744 (java) S 19741 19744 18358 0 -1 4202496 45899 0 1 0 179715 298 0 0 20 0 22 0 26431640 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140735543803760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19744/statm: 2456183 940119 2297 9 0 2446860 0
[pid=19744/tid=19746] ppid=19741 vsize=9824732 CPUtime=5.43 cores=1,3,5,7
/proc/19744/task/19746/stat : 19746 (java) S 19741 19744 18358 0 -1 4202560 2886 0 1 0 533 10 0 0 20 0 22 0 26431642 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201965192056 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19747] ppid=19741 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/19744/task/19747/stat : 19747 (java) S 19741 19744 18358 0 -1 4202560 738 0 0 0 196 28 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201809181736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19748] ppid=19741 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/19744/task/19748/stat : 19748 (java) S 19741 19744 18358 0 -1 4202560 736 0 0 0 235 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201808128936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19749] ppid=19741 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/19744/task/19749/stat : 19749 (java) S 19741 19744 18358 0 -1 4202560 681 0 0 0 230 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201807076136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19750] ppid=19741 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/19744/task/19750/stat : 19750 (java) S 19741 19744 18358 0 -1 4202560 920 0 0 0 260 38 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201806023336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19751] ppid=19741 vsize=9824732 CPUtime=2.69 cores=1,3,5,7
/proc/19744/task/19751/stat : 19751 (java) S 19741 19744 18358 0 -1 4202560 802 0 0 0 239 30 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201804970536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19752] ppid=19741 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/19744/task/19752/stat : 19752 (java) S 19741 19744 18358 0 -1 4202560 888 0 0 0 246 34 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201803917736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19753] ppid=19741 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/19744/task/19753/stat : 19753 (java) S 19741 19744 18358 0 -1 4202560 829 0 0 0 194 24 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201802864936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19754] ppid=19741 vsize=9824732 CPUtime=2.62 cores=1,3,5,7
/proc/19744/task/19754/stat : 19754 (java) S 19741 19744 18358 0 -1 4202560 1113 0 0 0 224 38 0 0 20 0 22 0 26431643 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201801812136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19755] ppid=19741 vsize=9824732 CPUtime=6.55 cores=1,3,5,7
/proc/19744/task/19755/stat : 19755 (java) S 19741 19744 18358 0 -1 4202560 3492 0 0 0 646 9 0 0 20 0 22 0 26431644 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201789402088 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19756] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19756/stat : 19756 (java) S 19741 19744 18358 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201788348152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19757] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19757/stat : 19757 (java) S 19741 19744 18358 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26431645 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201787295240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19758] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19758/stat : 19758 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201786243728 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19759] ppid=19741 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/19744/task/19759/stat : 19759 (java) S 19741 19744 18358 0 -1 4202560 14764 0 0 0 163 3 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201785190840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19744/tid=19760] ppid=19741 vsize=9824732 CPUtime=1.73 cores=1,3,5,7
/proc/19744/task/19760/stat : 19760 (java) S 19741 19744 18358 0 -1 4202560 15999 0 0 0 170 3 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201784138040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19761] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19761/stat : 19761 (java) S 19741 19744 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201783085432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19762] ppid=19741 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/19744/task/19762/stat : 19762 (java) S 19741 19744 18358 0 -1 4202560 53 0 0 0 11 15 0 0 20 0 22 0 26431647 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201782032840 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19744/tid=19763] ppid=19741 vsize=9824732 CPUtime=881.9 cores=1,3,5,7
/proc/19744/task/19763/stat : 19763 (java) R 19741 19744 18358 0 -1 4202560 161 0 0 0 88171 19 0 0 20 0 22 0 26432352 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201780977728 140201838120930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19764] ppid=19741 vsize=9824732 CPUtime=881.97 cores=1,3,5,7
/proc/19744/task/19764/stat : 19764 (java) R 19741 19744 18358 0 -1 4202560 570 0 0 0 88179 18 0 0 20 0 22 0 26432352 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201779923824 140201838218240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19744/tid=19765] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19765/stat : 19765 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201778873768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19744/tid=19766] ppid=19741 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/19744/task/19766/stat : 19766 (java) S 19741 19744 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26432360 10060525568 940119 33554432000 1073741824 1073778376 140735543812624 140201777820968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 19744 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.436
CPU time (s): 1800.6
CPU user time (s): 1797.15
CPU system time (s): 3.45447
CPU usage (%): 200.192
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.15
system time used= 3.45447
maximum resident set size= 3760592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21903
involuntary context switches= 23419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78112 second user time and 7.2259 second system time
The end