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-3731692-1338687786/watcher-3731692-1338687786 -o /tmp/evaluation-result-3731692-1338687786/solver-3731692-1338687786 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731692-1338687786.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.05 2.02 3/195 31976
/proc/meminfo: memFree=26115764/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/31976/stat : 31976 (java) R 31974 31976 29837 0 -1 4202496 96 0 0 0 0 0 0 0 20 0 1 0 334904530 3653632 49 33554432000 1073741824 1073778376 140735687317008 140735687314136 242158234919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31976/statm: 1408 55 43 9 0 30 0
[startup+0.074126 s]
/proc/loadavg: 2.00 2.05 2.02 3/195 31976
/proc/meminfo: memFree=26115764/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2956804 CPUtime=0.04 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 3551 0 1 0 3 1 0 0 20 0 18 0 334904530 3027767296 5781 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739201 5781 1767 9 0 729885 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2956804
[startup+0.100265 s]
/proc/loadavg: 2.00 2.05 2.02 3/195 31976
/proc/meminfo: memFree=26115764/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 3887 0 1 0 6 1 0 0 20 0 18 0 334904530 3028844544 6116 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739464 6117 1952 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300238 s]
/proc/loadavg: 2.00 2.05 2.02 3/195 31976
/proc/meminfo: memFree=26115764/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 5456 0 1 0 42 1 0 0 20 0 18 0 334904530 3028844544 9658 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739464 9658 2236 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.70024 s]
/proc/loadavg: 2.00 2.05 2.02 3/195 31976
/proc/meminfo: memFree=26115764/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2957856 CPUtime=1.27 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 8896 0 1 0 123 4 0 0 20 0 18 0 334904530 3028844544 46477 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739464 46477 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 2957856
[startup+1.50068 s]
/proc/loadavg: 2.00 2.05 2.02 3/213 31994
/proc/meminfo: memFree=25780120/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2957856 CPUtime=2.14 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 9076 0 1 0 204 10 0 0 20 0 18 0 334904530 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739464 115618 2269 9 0 729885 0
[pid=31976/tid=31978] ppid=31974 vsize=2957856 CPUtime=1.43 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) R 31974 31976 29837 0 -1 4202560 2705 0 1 0 136 7 0 0 20 0 18 0 334904532 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494069162096 242170782989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334904533 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334904534 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494032817128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334904535 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334904535 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=2957856 CPUtime=0.26 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2327 0 0 0 26 0 0 0 20 0 18 0 334904537 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=2957856 CPUtime=0.31 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 2812 0 0 0 31 0 0 0 20 0 18 0 334904537 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 115618 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 2957856
[startup+3.10067 s]
/proc/loadavg: 2.00 2.05 2.02 3/213 31994
/proc/meminfo: memFree=25627700/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=2957856 CPUtime=4.07 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 9223 0 1 0 390 17 0 0 20 0 18 0 334904530 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 739464 131007 2283 9 0 729885 0
[pid=31976/tid=31978] ppid=31974 vsize=2957856 CPUtime=2.92 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) R 31974 31976 29837 0 -1 4202560 2717 0 1 0 285 7 0 0 20 0 18 0 334904532 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494069169688 140493900068615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 28 0 0 0 5 2 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 334904533 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334904534 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494032817128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334904535 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334904535 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=2957856 CPUtime=0.28 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) R 31974 31976 29837 0 -1 4202560 2331 0 0 0 28 0 0 0 20 0 18 0 334904537 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494028605880 140494072735431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) R 31974 31976 29837 0 -1 4202560 2812 0 0 0 32 0 0 0 20 0 18 0 334904537 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334904537 3028844544 131007 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 2957856
[startup+6.3007 s]
/proc/loadavg: 2.00 2.05 2.02 3/214 31995
/proc/meminfo: memFree=25596792/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3024420 CPUtime=7.77 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 11038 0 1 0 760 17 0 0 20 0 19 0 334904530 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 756105 131241 2293 9 0 746526 0
[pid=31976/tid=31978] ppid=31974 vsize=3024420 CPUtime=6.12 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) R 31974 31976 29837 0 -1 4202560 2720 0 1 0 605 7 0 0 20 0 19 0 334904532 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494069170360 140493900847888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 27 0 0 0 5 2 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 28 0 0 0 5 2 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 334904533 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) S 31974 31976 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334904534 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494032817128 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2707 0 0 0 52 0 0 0 20 0 19 0 334904537 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 4239 0 0 0 59 0 0 0 20 0 19 0 334904537 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31995] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31995/stat : 31995 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904847 3097006080 131241 33554432000 1073741824 1073778376 140735667920480 140494023247528 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 2.00 2.05 2.02 3/214 31995
/proc/meminfo: memFree=25596852/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3024420 CPUtime=14.25 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 11038 0 1 0 1407 18 0 0 20 0 19 0 334904530 3097006080 131138 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
################
# More data... #
################
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 246 0 0 0 31 15 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 352 0 0 0 45 22 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 331 0 0 0 42 20 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 244 0 0 0 34 15 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 397 0 0 0 46 24 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 350 0 0 0 36 20 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 334 0 0 0 34 22 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 237 0 0 0 27 13 0 0 20 0 19 0 334904533 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=3024420 CPUtime=5.16 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) R 31974 31976 29837 0 -1 4202560 75 0 0 0 515 1 0 0 20 0 19 0 334904534 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494032817288 140494075294828 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2718 0 0 0 61 0 0 0 20 0 19 0 334904537 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 4243 0 0 0 67 0 0 0 20 0 19 0 334904537 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 55 0 0 0 18 18 0 0 20 0 19 0 334904537 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31995] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31995/stat : 31995 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904847 3097006080 418510 33554432000 1073741824 1073778376 140735667920480 140494023247528 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 963.23
Current children cumulated vsize (KiB) 3024420
[startup+959.901 s]
/proc/loadavg: 2.05 2.03 2.00 3/213 32404
/proc/meminfo: memFree=25382096/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3024420 CPUtime=964.83 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 13508 0 1 0 96306 177 0 0 20 0 19 0 334904530 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 756105 418511 2309 9 0 746526 0
[pid=31976/tid=31978] ppid=31974 vsize=3024420 CPUtime=951.93 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) S 31974 31976 29837 0 -1 4202560 2744 0 1 0 95171 22 0 0 20 0 19 0 334904532 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494069171368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 246 0 0 0 31 15 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 352 0 0 0 45 22 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 331 0 0 0 42 20 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 244 0 0 0 34 15 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 397 0 0 0 46 24 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 350 0 0 0 36 20 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 334 0 0 0 34 22 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 237 0 0 0 27 13 0 0 20 0 19 0 334904533 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=3024420 CPUtime=6.76 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) R 31974 31976 29837 0 -1 4202560 75 0 0 0 675 1 0 0 20 0 19 0 334904534 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494032817128 140494075296911 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494031763352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2718 0 0 0 61 0 0 0 20 0 19 0 334904537 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 4243 0 0 0 67 0 0 0 20 0 19 0 334904537 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 55 0 0 0 18 18 0 0 20 0 19 0 334904537 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31995] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31995/stat : 31995 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904847 3097006080 418511 33554432000 1073741824 1073778376 140735667920480 140494023247528 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 964.83
Current children cumulated vsize (KiB) 3024420
[startup+960.701 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32404
/proc/meminfo: memFree=25382096/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3024420 CPUtime=965.63 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 13514 0 1 0 96386 177 0 0 20 0 19 0 334904530 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 756105 418514 2309 9 0 746526 0
[pid=31976/tid=31978] ppid=31974 vsize=3024420 CPUtime=951.93 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) S 31974 31976 29837 0 -1 4202560 2746 0 1 0 95171 22 0 0 20 0 19 0 334904532 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494069171080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 246 0 0 0 31 15 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 352 0 0 0 45 22 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 331 0 0 0 42 20 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 244 0 0 0 34 15 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 397 0 0 0 46 24 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 350 0 0 0 36 20 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 334 0 0 0 34 22 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 237 0 0 0 27 13 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=3024420 CPUtime=7.56 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) R 31974 31976 29837 0 -1 4202560 77 0 0 0 755 1 0 0 20 0 19 0 334904534 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494032817288 140494075296911 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2718 0 0 0 61 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 4243 0 0 0 67 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 55 0 0 0 18 18 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31995] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31995/stat : 31995 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904847 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494023247528 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 965.63
Current children cumulated vsize (KiB) 3024420
[startup+961.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 32404
/proc/meminfo: memFree=25382096/32873648 swapFree=7112/7112
[pid=31976] ppid=31974 vsize=3024420 CPUtime=966.03 cores=0,2,4,6
/proc/31976/stat : 31976 (java) S 31974 31976 29837 0 -1 4202496 13514 0 1 0 96426 177 0 0 20 0 19 0 334904530 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140735667911616 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/31976/statm: 756105 418514 2309 9 0 746526 0
[pid=31976/tid=31978] ppid=31974 vsize=3024420 CPUtime=951.93 cores=0,2,4,6
/proc/31976/task/31978/stat : 31978 (java) S 31974 31976 29837 0 -1 4202560 2746 0 1 0 95171 22 0 0 20 0 19 0 334904532 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494069171080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31979] ppid=31974 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/31976/task/31979/stat : 31979 (java) S 31974 31976 29837 0 -1 4202560 246 0 0 0 31 15 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494052596776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31980] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31980/stat : 31980 (java) S 31974 31976 29837 0 -1 4202560 352 0 0 0 45 22 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494051543976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31981] ppid=31974 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/31976/task/31981/stat : 31981 (java) S 31974 31976 29837 0 -1 4202560 331 0 0 0 42 20 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494050491176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31976/tid=31982] ppid=31974 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/31976/task/31982/stat : 31982 (java) S 31974 31976 29837 0 -1 4202560 244 0 0 0 34 15 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494049438376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31983] ppid=31974 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/31976/task/31983/stat : 31983 (java) S 31974 31976 29837 0 -1 4202560 397 0 0 0 46 24 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494048385576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31984] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31984/stat : 31984 (java) S 31974 31976 29837 0 -1 4202560 350 0 0 0 36 20 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494047332776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31985] ppid=31974 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/31976/task/31985/stat : 31985 (java) S 31974 31976 29837 0 -1 4202560 334 0 0 0 34 22 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494046279976 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31986] ppid=31974 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/31976/task/31986/stat : 31986 (java) S 31974 31976 29837 0 -1 4202560 237 0 0 0 27 13 0 0 20 0 19 0 334904533 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494045227176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31987] ppid=31974 vsize=3024420 CPUtime=7.96 cores=0,2,4,6
/proc/31976/task/31987/stat : 31987 (java) R 31974 31976 29837 0 -1 4202560 77 0 0 0 795 1 0 0 20 0 19 0 334904534 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494032817288 242167071004 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31988] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31988/stat : 31988 (java) S 31974 31976 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494031763192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31989] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31989/stat : 31989 (java) S 31974 31976 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334904535 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494030710280 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31990] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31990/stat : 31990 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494029658768 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31991] ppid=31974 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/31976/task/31991/stat : 31991 (java) S 31974 31976 29837 0 -1 4202560 2718 0 0 0 61 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494028605880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31976/tid=31992] ppid=31974 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/31976/task/31992/stat : 31992 (java) S 31974 31976 29837 0 -1 4202560 4243 0 0 0 67 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494027553080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31993] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31993/stat : 31993 (java) S 31974 31976 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494026500472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31976/tid=31994] ppid=31974 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/31976/task/31994/stat : 31994 (java) S 31974 31976 29837 0 -1 4202560 55 0 0 0 18 18 0 0 20 0 19 0 334904537 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494025447880 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31976/tid=31995] ppid=31974 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/31976/task/31995/stat : 31995 (java) S 31974 31976 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334904847 3097006080 418514 33554432000 1073741824 1073778376 140735667920480 140494023247528 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 966.03
Current children cumulated vsize (KiB) 3024420
Child status: 1
Real time (s): 961.182
CPU time (s): 966.317
CPU user time (s): 964.264
CPU system time (s): 2.05269
CPU usage (%): 100.534
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 964.264
system time used= 2.05269
maximum resident set size= 1674096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13528
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20796
involuntary context switches= 3329
runsolver used 3.3005 second user time and 7.94479 second system time
The end