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-3735270-1338755083/watcher-3735270-1338755083 -o /tmp/evaluation-result-3735270-1338755083/solver-3735270-1338755083 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3735270-1338755083.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: 2.04 2.05 2.02 3/192 31983
/proc/meminfo: memFree=26127488/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31983/stat : 31983 (java6) D 31981 31983 31294 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341633839 9515008 183 33554432000 1073741824 1073778376 140734040813808 140734040804840 227512499893 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31983/statm: 2323 183 140 9 0 71 0
[startup+0.079947 s]
/proc/loadavg: 2.04 2.05 2.02 3/192 31983
/proc/meminfo: memFree=26127488/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 3864 0 1 0 4 1 0 0 20 0 18 0 341633839 2712133632 5583 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 5583 1773 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100241 s]
/proc/loadavg: 2.04 2.05 2.02 3/192 31983
/proc/meminfo: memFree=26127488/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 4684 0 1 0 8 1 0 0 20 0 18 0 341633839 2712133632 6402 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 6402 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.30024 s]
/proc/loadavg: 2.04 2.05 2.02 3/192 31983
/proc/meminfo: memFree=26127488/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=0.48 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 6097 0 1 0 47 1 0 0 20 0 18 0 341633839 2712133632 9742 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 9742 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2648568
[startup+0.700252 s]
/proc/loadavg: 2.04 2.05 2.02 3/192 31983
/proc/meminfo: memFree=26127488/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=1.12 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 9445 0 1 0 107 5 0 0 20 0 18 0 341633839 2712133632 50003 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 50003 2230 9 0 652835 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2648568
[startup+1.50061 s]
/proc/loadavg: 2.04 2.05 2.02 3/210 32001
/proc/meminfo: memFree=25760400/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=1.93 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 9563 0 1 0 185 8 0 0 20 0 18 0 341633839 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 93545 2246 9 0 652835 0
[pid=31983/tid=31985] ppid=31981 vsize=2648568 CPUtime=1.46 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) R 31981 31983 31294 0 -1 4202560 2907 0 1 0 139 7 0 0 20 0 18 0 341633840 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182861713536 227515884813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182708779112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 2979 0 0 0 22 0 0 0 20 0 18 0 341633845 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 2461 0 0 0 20 0 0 0 20 0 18 0 341633845 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182703516344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 93545 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 2648568
[startup+3.10068 s]
/proc/loadavg: 2.04 2.05 2.02 3/210 32001
/proc/meminfo: memFree=25753588/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2648568 CPUtime=3.62 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 9589 0 1 0 352 10 0 0 20 0 18 0 341633839 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 662142 96113 2248 9 0 652835 0
[pid=31983/tid=31985] ppid=31981 vsize=2648568 CPUtime=3.03 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) R 31981 31983 31294 0 -1 4202560 2909 0 1 0 296 7 0 0 20 0 18 0 341633840 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182861713440 227515884813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341633842 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182708779112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341633843 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 2981 0 0 0 23 0 0 0 20 0 18 0 341633845 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2648568 CPUtime=0.21 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 2461 0 0 0 21 0 0 0 20 0 18 0 341633845 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182703516344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341633845 2712133632 96113 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 2648568
[startup+6.30069 s]
/proc/loadavg: 2.04 2.05 2.01 3/211 32002
/proc/meminfo: memFree=25688556/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2715132 CPUtime=7.45 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 9957 0 1 0 731 14 0 0 20 0 19 0 341633839 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 678783 111659 2268 9 0 669476 0
[pid=31983/tid=31985] ppid=31981 vsize=2715132 CPUtime=6.17 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) R 31981 31983 31294 0 -1 4202560 2947 0 1 0 609 8 0 0 20 0 19 0 341633840 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182861713840 140182716894349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 341633842 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) S 31981 31983 31294 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341633843 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182708779112 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341633843 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341633843 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341633845 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 3165 0 0 0 48 0 0 0 20 0 19 0 341633845 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 2547 0 0 0 46 0 0 0 20 0 19 0 341633845 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182703516344 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341633845 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341633845 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=32002] ppid=31981 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32002/stat : 32002 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341634371 2780295168 111659 33554432000 1073741824 1073778376 140735280780704 140181692736296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 2715132
[startup+12.7006 s]
/proc/loadavg: 2.03 2.05 2.01 3/211 32002
/proc/meminfo: memFree=25643144/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2715132 CPUtime=14.07 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 10603 0 1 0 1391 16 0 0 20 0 19 0 341633839 2780295168 122434 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 3166 0 0 0 57 0 0 0 20 0 20 0 341633845 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 3143 0 0 0 60 0 0 0 20 0 20 0 341633845 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140182703509224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 67 0 0 0 20 20 0 0 20 0 20 0 341633845 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=32002] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32002/stat : 32002 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341634371 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140181692736296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=32301] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32301/stat : 32301 (java) S 31981 31983 31294 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 341746824 2848456704 343697 33554432000 1073741824 1073778376 140735280780704 140181691682536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1145.71
Current children cumulated vsize (KiB) 2781696
[startup+1141.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 32301
/proc/meminfo: memFree=24723168/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2781696 CPUtime=1146.5 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 14176 0 1 0 114548 102 0 0 20 0 20 0 341633839 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 695424 343709 2278 9 0 686117 0
[pid=31983/tid=31985] ppid=31981 vsize=2781696 CPUtime=1095.62 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) S 31981 31983 31294 0 -1 4202560 2986 0 1 0 109537 25 0 0 20 0 20 0 341633840 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182861722808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2781696 CPUtime=0.58 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 343 0 0 0 50 8 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 529 0 0 0 45 10 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 625 0 0 0 54 14 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 277 0 0 0 36 4 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 350 0 0 0 48 7 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2781696 CPUtime=0.53 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 488 0 0 0 45 8 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2781696 CPUtime=0.45 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 290 0 0 0 39 6 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 560 0 0 0 61 13 0 0 20 0 20 0 341633842 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2781696 CPUtime=41.91 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) R 31981 31983 31294 0 -1 4202560 155 0 0 0 4188 3 0 0 20 0 20 0 341633843 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182708777656 140182865858864 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 3166 0 0 0 57 0 0 0 20 0 20 0 341633845 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 3143 0 0 0 60 0 0 0 20 0 20 0 341633845 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182703509224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 67 0 0 0 20 20 0 0 20 0 20 0 341633845 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=32002] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32002/stat : 32002 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341634371 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140181692736296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=32301] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32301/stat : 32301 (java) S 31981 31983 31294 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 341746824 2848456704 343709 33554432000 1073741824 1073778376 140735280780704 140181691682536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1146.5
Current children cumulated vsize (KiB) 2781696
[startup+1142.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 32301
/proc/meminfo: memFree=24723168/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2781696 CPUtime=1147.3 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 14177 0 1 0 114628 102 0 0 20 0 20 0 341633839 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 695424 343710 2278 9 0 686117 0
[pid=31983/tid=31985] ppid=31981 vsize=2781696 CPUtime=1095.62 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) S 31981 31983 31294 0 -1 4202560 2986 0 1 0 109537 25 0 0 20 0 20 0 341633840 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182861722808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2781696 CPUtime=0.58 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 343 0 0 0 50 8 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 529 0 0 0 45 10 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 625 0 0 0 54 14 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 277 0 0 0 36 4 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 350 0 0 0 48 7 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2781696 CPUtime=0.53 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 488 0 0 0 45 8 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2781696 CPUtime=0.45 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 290 0 0 0 39 6 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 560 0 0 0 61 13 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2781696 CPUtime=42.7 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) R 31981 31983 31294 0 -1 4202560 156 0 0 0 4267 3 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182708776584 140182869489088 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 3166 0 0 0 57 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 3143 0 0 0 60 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182703509224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 67 0 0 0 20 20 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=32002] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32002/stat : 32002 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341634371 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140181692736296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=32301] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32301/stat : 32301 (java) S 31981 31983 31294 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 341746824 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140181691682536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1147.3
Current children cumulated vsize (KiB) 2781696
[startup+1142.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 32301
/proc/meminfo: memFree=24723168/32873624 swapFree=7112/7112
[pid=31983] ppid=31981 vsize=2781696 CPUtime=1147.5 cores=1,3,5,7
/proc/31983/stat : 31983 (java) S 31981 31983 31294 0 -1 4202496 14177 0 1 0 114648 102 0 0 20 0 20 0 341633839 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140735280771840 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31983/statm: 695424 343710 2278 9 0 686117 0
[pid=31983/tid=31985] ppid=31981 vsize=2781696 CPUtime=1095.62 cores=1,3,5,7
/proc/31983/task/31985/stat : 31985 (java) S 31981 31983 31294 0 -1 4202560 2986 0 1 0 109537 25 0 0 20 0 20 0 341633840 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182861722808 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31986] ppid=31981 vsize=2781696 CPUtime=0.58 cores=1,3,5,7
/proc/31983/task/31986/stat : 31986 (java) S 31981 31983 31294 0 -1 4202560 343 0 0 0 50 8 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182846171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31987] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31987/stat : 31987 (java) S 31981 31983 31294 0 -1 4202560 529 0 0 0 45 10 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182845118760 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31988] ppid=31981 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/31983/task/31988/stat : 31988 (java) S 31981 31983 31294 0 -1 4202560 625 0 0 0 54 14 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182844066216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=31989] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/31989/stat : 31989 (java) S 31981 31983 31294 0 -1 4202560 277 0 0 0 36 4 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182843013672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31990] ppid=31981 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/31983/task/31990/stat : 31990 (java) S 31981 31983 31294 0 -1 4202560 350 0 0 0 48 7 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182841961128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31991] ppid=31981 vsize=2781696 CPUtime=0.53 cores=1,3,5,7
/proc/31983/task/31991/stat : 31991 (java) S 31981 31983 31294 0 -1 4202560 488 0 0 0 45 8 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182840908584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31992] ppid=31981 vsize=2781696 CPUtime=0.45 cores=1,3,5,7
/proc/31983/task/31992/stat : 31992 (java) S 31981 31983 31294 0 -1 4202560 290 0 0 0 39 6 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182839856040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31983/tid=31993] ppid=31981 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/31983/task/31993/stat : 31993 (java) S 31981 31983 31294 0 -1 4202560 560 0 0 0 61 13 0 0 20 0 20 0 341633842 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182838803496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31994] ppid=31981 vsize=2781696 CPUtime=42.9 cores=1,3,5,7
/proc/31983/task/31994/stat : 31994 (java) R 31981 31983 31294 0 -1 4202560 156 0 0 0 4287 3 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182708776584 140182868230216 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31995] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31995/stat : 31995 (java) S 31981 31983 31294 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182707725432 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31996] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31996/stat : 31996 (java) S 31981 31983 31294 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 341633843 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182706672776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=31997] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/31997/stat : 31997 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182705621520 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31998] ppid=31981 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/31983/task/31998/stat : 31998 (java) S 31981 31983 31294 0 -1 4202560 3166 0 0 0 57 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182704568888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=31999] ppid=31981 vsize=2781696 CPUtime=0.6 cores=1,3,5,7
/proc/31983/task/31999/stat : 31999 (java) S 31981 31983 31294 0 -1 4202560 3143 0 0 0 60 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182703509224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32000] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32000/stat : 32000 (java) S 31981 31983 31294 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182702463992 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31983/tid=32001] ppid=31981 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/31983/task/32001/stat : 32001 (java) S 31981 31983 31294 0 -1 4202560 67 0 0 0 20 20 0 0 20 0 20 0 341633845 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140182701411656 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31983/tid=32002] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32002/stat : 32002 (java) S 31981 31983 31294 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341634371 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140181692736296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31983/tid=32301] ppid=31981 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/31983/task/32301/stat : 32301 (java) S 31981 31983 31294 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 341746824 2848456704 343710 33554432000 1073741824 1073778376 140735280780704 140181691682536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1147.5
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31983 and gives
# childrusage.ru_utime.tv_sec=1143
# childrusage.ru_utime.tv_usec=517158
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=314800
# CPU time returned by wait4() is 1144.83
# while last known CPU time is 1147.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1142.72
CPU time (s): 1147.5
CPU user time (s): 1146.48
CPU system time (s): 1.02
CPU usage (%): 100.418
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1143.52
system time used= 1.3148
maximum resident set size= 1374908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14202
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25036
involuntary context switches= 8216
runsolver used 3.88841 second user time and 6.69798 second system time
The end