runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742461-1338768134/watcher-3742461-1338768134 -o /tmp/evaluation-result-3742461-1338768134/solver-3742461-1338768134 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742461-1338768134.opb
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: 3.88 3.96 3.92 4/197 24807
/proc/meminfo: memFree=24465640/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24807/stat : 24807 (java) D 24805 24807 24098 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342937728 9515008 183 33554432000 1073741824 1073778376 140737163531648 140737163522680 209883840181 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24807/statm: 2323 183 140 9 0 71 0
[startup+0.020362 s]
/proc/loadavg: 3.88 3.96 3.92 4/197 24807
/proc/meminfo: memFree=24465640/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=152584 CPUtime=0 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 1449 0 1 0 0 0 0 0 20 0 2 0 342937728 156246016 1130 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 38146 1130 865 9 0 29255 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152584
[startup+0.100291 s]
/proc/loadavg: 3.88 3.96 3.92 4/197 24807
/proc/meminfo: memFree=24465640/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 4196 0 1 0 6 1 0 0 20 0 18 0 342937728 11864465408 13070 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2896598 13073 1940 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300296 s]
/proc/loadavg: 3.88 3.96 3.92 4/197 24807
/proc/meminfo: memFree=24465640/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 7692 0 1 0 51 3 0 0 20 0 18 0 342937728 11864465408 18828 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2896598 18828 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392
[startup+0.700202 s]
/proc/loadavg: 3.88 3.96 3.92 4/197 24807
/proc/meminfo: memFree=24465640/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 10139 0 1 0 141 6 0 0 20 0 22 0 342937728 12137111552 48055 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 48055 2255 9 0 2953849 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11852648
[startup+1.50089 s]
/proc/loadavg: 3.88 3.96 3.92 7/219 24829
/proc/meminfo: memFree=24264916/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=4.19 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 20044 0 1 0 408 11 0 0 20 0 22 0 342937728 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 88495 2263 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2923 0 1 0 56 4 0 0 20 0 22 0 342937729 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 9976 0 0 0 104 2 0 0 20 0 22 0 342937736 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24823] ppid=24805 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/24807/task/24823/stat : 24823 (java) S 24805 24807 24098 0 -1 4202560 5774 0 0 0 75 1 0 0 20 0 22 0 342937736 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277035920056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24824] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24824/stat : 24824 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277034867704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24825] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24825/stat : 24825 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277033815368 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24826] ppid=24805 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/24807/task/24826/stat : 24826 (java) R 24805 24807 24098 0 -1 4202560 31 0 0 0 84 0 0 0 20 0 22 0 342937792 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277032759816 140277407845741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24827] ppid=24805 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/24807/task/24827/stat : 24827 (java) R 24805 24807 24098 0 -1 4202560 140 0 0 0 81 3 0 0 20 0 22 0 342937792 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277031706584 140277407789451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24828] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24828/stat : 24828 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277030655016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24829] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24829/stat : 24829 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 88495 33554432000 1073741824 1073778376 140736018986352 140277029602472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 11852648
[startup+3.10088 s]
/proc/loadavg: 3.88 3.96 3.92 5/219 24829
/proc/meminfo: memFree=23944240/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=7.59 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 20954 0 1 0 739 20 0 0 20 0 22 0 342937728 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 202225 2263 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2923 0 1 0 56 4 0 0 20 0 22 0 342937729 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 9987 0 0 0 117 2 0 0 20 0 22 0 342937736 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24823] ppid=24805 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/24807/task/24823/stat : 24823 (java) S 24805 24807 24098 0 -1 4202560 6448 0 0 0 83 1 0 0 20 0 22 0 342937736 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277035920056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24824] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24824/stat : 24824 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277034867704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24825] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24825/stat : 24825 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277033815368 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24826] ppid=24805 vsize=11852648 CPUtime=2.44 cores=1,3,5,7
/proc/24807/task/24826/stat : 24826 (java) R 24805 24807 24098 0 -1 4202560 34 0 0 0 244 0 0 0 20 0 22 0 342937792 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277032757288 140277407566464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24827] ppid=24805 vsize=11852648 CPUtime=2.44 cores=1,3,5,7
/proc/24807/task/24827/stat : 24827 (java) R 24805 24807 24098 0 -1 4202560 361 0 0 0 232 12 0 0 20 0 22 0 342937792 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277031704680 140277407789382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24828] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24828/stat : 24828 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277030655016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24829] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24829/stat : 24829 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 202225 33554432000 1073741824 1073778376 140736018986352 140277029602472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 11852648
[startup+6.30085 s]
/proc/loadavg: 3.73 3.92 3.91 5/215 24887
/proc/meminfo: memFree=27136788/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=14.6 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 25157 0 1 0 1430 30 0 0 20 0 22 0 342937728 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 310802 2290 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2923 0 1 0 56 4 0 0 20 0 22 0 342937729 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342937732 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 342937733 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 9993 0 0 0 124 2 0 0 20 0 22 0 342937736 12137111552 310802 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/24807/statm: 2963162 965201 2291 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2958 0 1 0 58 6 0 0 20 0 22 0 342937729 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 182 0 0 0 113 7 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 170 0 0 0 101 6 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 139 0 0 0 106 6 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 150 0 0 0 108 5 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 145 0 0 0 94 4 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 147 0 0 0 105 6 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 137 0 0 0 111 5 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=1.14 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 139 0 0 0 108 6 0 0 20 0 22 0 342937732 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=18.14 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 165 0 0 0 1809 5 0 0 20 0 22 0 342937733 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 10062 0 0 0 184 2 0 0 20 0 22 0 342937736 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24823] ppid=24805 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/24807/task/24823/stat : 24823 (java) S 24805 24807 24098 0 -1 4202560 10365 0 0 0 143 2 0 0 20 0 22 0 342937736 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277035920056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24824] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24824/stat : 24824 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277034867704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24825] ppid=24805 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/24807/task/24825/stat : 24825 (java) S 24805 24807 24098 0 -1 4202560 49 0 0 0 16 21 0 0 20 0 22 0 342937736 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277033815368 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24826] ppid=24805 vsize=11852648 CPUtime=798.78 cores=1,3,5,7
/proc/24807/task/24826/stat : 24826 (java) R 24805 24807 24098 0 -1 4202560 73 0 0 0 79865 13 0 0 20 0 22 0 342937792 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277032759376 140277407578604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24827] ppid=24805 vsize=11852648 CPUtime=798.67 cores=1,3,5,7
/proc/24807/task/24827/stat : 24827 (java) R 24805 24807 24098 0 -1 4202560 1620 0 0 0 79802 65 0 0 20 0 22 0 342937792 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277031704624 140277407799426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24828] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24828/stat : 24828 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277030655016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24829] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24829/stat : 24829 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965201 33554432000 1073741824 1073778376 140736018986352 140277029602472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1633.02
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 4.06 4.00 3.93 5/219 24897
/proc/meminfo: memFree=20662572/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=1751.13 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 27742 0 1 0 174975 138 0 0 20 0 22 0 342937728 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 965240 2291 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2962 0 1 0 58 6 0 0 20 0 22 0 342937729 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 182 0 0 0 124 7 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=1.15 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 173 0 0 0 109 6 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 154 0 0 0 116 6 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 162 0 0 0 115 5 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 149 0 0 0 105 4 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 149 0 0 0 115 6 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=1.3 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 142 0 0 0 125 5 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 139 0 0 0 115 6 0 0 20 0 22 0 342937732 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=20.35 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 169 0 0 0 2030 5 0 0 20 0 22 0 342937733 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 10062 0 0 0 184 2 0 0 20 0 22 0 342937736 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24823] ppid=24805 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/24807/task/24823/stat : 24823 (java) S 24805 24807 24098 0 -1 4202560 10365 0 0 0 143 2 0 0 20 0 22 0 342937736 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277035920056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24824] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24824/stat : 24824 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277034867704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24825] ppid=24805 vsize=11852648 CPUtime=0.39 cores=1,3,5,7
/proc/24807/task/24825/stat : 24825 (java) S 24805 24807 24098 0 -1 4202560 51 0 0 0 16 23 0 0 20 0 22 0 342937736 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277033815368 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24826] ppid=24805 vsize=11852648 CPUtime=856.19 cores=1,3,5,7
/proc/24807/task/24826/stat : 24826 (java) R 24805 24807 24098 0 -1 4202560 74 0 0 0 85605 14 0 0 20 0 22 0 342937792 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277032759376 140277407565744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24827] ppid=24805 vsize=11852648 CPUtime=856.07 cores=1,3,5,7
/proc/24807/task/24827/stat : 24827 (java) R 24805 24807 24098 0 -1 4202560 1622 0 0 0 85541 66 0 0 20 0 22 0 342937792 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277031705008 140277407719641 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24828] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24828/stat : 24828 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277030655016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24829] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24829/stat : 24829 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965240 33554432000 1073741824 1073778376 140736018986352 140277029602472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1751.13
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.201 s]
/proc/loadavg: 3.97 3.98 3.92 5/219 24897
/proc/meminfo: memFree=20662448/32873844 swapFree=7632/7632
[pid=24807] ppid=24805 vsize=11852648 CPUtime=1800.09 cores=1,3,5,7
/proc/24807/stat : 24807 (java) S 24805 24807 24098 0 -1 4202496 27760 0 1 0 179870 139 0 0 20 0 22 0 342937728 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140736018977488 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24807/statm: 2963162 965250 2291 9 0 2953849 0
[pid=24807/tid=24809] ppid=24805 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/24807/task/24809/stat : 24809 (java) S 24805 24807 24098 0 -1 4202560 2964 0 1 0 58 6 0 0 20 0 22 0 342937729 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277560730776 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24810] ppid=24805 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/24807/task/24810/stat : 24810 (java) S 24805 24807 24098 0 -1 4202560 182 0 0 0 127 7 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277529139368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24811] ppid=24805 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/24807/task/24811/stat : 24811 (java) S 24805 24807 24098 0 -1 4202560 176 0 0 0 113 6 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277528086824 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24812] ppid=24805 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/24807/task/24812/stat : 24812 (java) S 24805 24807 24098 0 -1 4202560 154 0 0 0 119 6 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277527034280 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24813] ppid=24805 vsize=11852648 CPUtime=1.23 cores=1,3,5,7
/proc/24807/task/24813/stat : 24813 (java) S 24805 24807 24098 0 -1 4202560 165 0 0 0 118 5 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277525981736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24814] ppid=24805 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/24807/task/24814/stat : 24814 (java) S 24805 24807 24098 0 -1 4202560 149 0 0 0 108 4 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277393099432 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24815] ppid=24805 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/24807/task/24815/stat : 24815 (java) S 24805 24807 24098 0 -1 4202560 150 0 0 0 120 6 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277392046888 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24816] ppid=24805 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/24807/task/24816/stat : 24816 (java) S 24805 24807 24098 0 -1 4202560 145 0 0 0 129 5 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277054434216 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24817] ppid=24805 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/24807/task/24817/stat : 24817 (java) S 24805 24807 24098 0 -1 4202560 139 0 0 0 118 6 0 0 20 0 22 0 342937732 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277053381672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24818] ppid=24805 vsize=11852648 CPUtime=21.33 cores=1,3,5,7
/proc/24807/task/24818/stat : 24818 (java) S 24805 24807 24098 0 -1 4202560 171 0 0 0 2128 5 0 0 20 0 22 0 342937733 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277041182824 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24819] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24819/stat : 24819 (java) S 24805 24807 24098 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277040129144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24820] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24820/stat : 24820 (java) S 24805 24807 24098 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342937733 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277039076488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24821] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24821/stat : 24821 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277038025232 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24822] ppid=24805 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/24807/task/24822/stat : 24822 (java) S 24805 24807 24098 0 -1 4202560 10062 0 0 0 184 2 0 0 20 0 22 0 342937736 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277036972600 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24823] ppid=24805 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/24807/task/24823/stat : 24823 (java) S 24805 24807 24098 0 -1 4202560 10365 0 0 0 143 2 0 0 20 0 22 0 342937736 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277035920056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24824] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24824/stat : 24824 (java) S 24805 24807 24098 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342937736 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277034867704 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24807/tid=24825] ppid=24805 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/24807/task/24825/stat : 24825 (java) S 24805 24807 24098 0 -1 4202560 53 0 0 0 17 23 0 0 20 0 22 0 342937736 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277033815368 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24826] ppid=24805 vsize=11852648 CPUtime=879.98 cores=1,3,5,7
/proc/24807/task/24826/stat : 24826 (java) R 24805 24807 24098 0 -1 4202560 75 0 0 0 87984 14 0 0 20 0 22 0 342937792 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277032759376 140277407845736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24807/tid=24827] ppid=24805 vsize=11852648 CPUtime=879.85 cores=1,3,5,7
/proc/24807/task/24827/stat : 24827 (java) R 24805 24807 24098 0 -1 4202560 1623 0 0 0 87919 66 0 0 20 0 22 0 342937792 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277031704912 140277407832771 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24807/tid=24828] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24828/stat : 24828 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277030655016 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24807/tid=24829] ppid=24805 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24807/task/24829/stat : 24829 (java) S 24805 24807 24098 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342937794 12137111552 965250 33554432000 1073741824 1073778376 140736018986352 140277029602472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24807 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=117252
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=813724
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 907.266
CPU time (s): 1800.09
CPU user time (s): 1798.7
CPU system time (s): 1.39
CPU usage (%): 198.408
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.12
system time used= 1.81372
maximum resident set size= 3863172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27795
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24291
involuntary context switches= 32842
runsolver used 3.57246 second user time and 8.62269 second system time
The end