runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454464-1307193208/watcher-3454464-1307193208 -o /tmp/evaluation-result-3454464-1307193208/solver-3454464-1307193208 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454464-1307193208.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: 3.09 3.16 3.21 3/575 14037
/proc/meminfo: memFree=24507608/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 3553 0 1 0 0 0 0 0 25 0 2 0 830917878 10694979584 3255 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2611079 3268 917 9 0 2602235 0
[pid=14037/tid=14038] ppid=14035 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) R 14035 14037 10194 0 -1 4202560 6223 0 1 0 0 1 0 0 25 0 2 0 830917879 10694979584 7039 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0913741 s]
/proc/loadavg: 3.09 3.16 3.21 3/575 14037
/proc/meminfo: memFree=24507608/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10538912 CPUtime=0.08 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 12354 0 1 0 6 2 0 0 25 0 18 0 830917878 10791845888 12051 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2634728 12065 1955 9 0 2625462 0
[pid=14037/tid=14038] ppid=14035 vsize=10538912 CPUtime=0.07 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) R 14035 14037 10194 0 -1 4202560 10926 0 1 0 5 2 0 0 25 0 18 0 830917879 10791845888 12070 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488524255 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10538912
[startup+0.102639 s]
/proc/loadavg: 3.09 3.16 3.21 3/575 14037
/proc/meminfo: memFree=24507608/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10605412 CPUtime=0.1 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 12917 0 1 0 8 2 0 0 25 0 18 0 830917878 10859941888 12614 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2651353 12615 2092 9 0 2642087 0
[pid=14037/tid=14038] ppid=14035 vsize=10605412 CPUtime=0.08 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) R 14035 14037 10194 0 -1 4202560 11028 0 1 0 6 2 0 0 25 0 18 0 830917879 10859941888 12615 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239476355781 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605412
[startup+0.301007 s]
/proc/loadavg: 3.09 3.16 3.21 3/575 14037
/proc/meminfo: memFree=24507608/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10606432 CPUtime=0.44 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 15361 0 1 0 41 3 0 0 25 0 18 0 830917878 10860986368 14845 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2651608 14845 2198 9 0 2642342 0
[pid=14037/tid=14038] ppid=14035 vsize=10606432 CPUtime=0.28 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) R 14035 14037 10194 0 -1 4202560 12546 0 1 0 25 3 0 0 25 0 18 0 830917879 10860986368 14846 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505589482 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10606432
[startup+0.702501 s]
/proc/loadavg: 3.09 3.16 3.21 3/575 14037
/proc/meminfo: memFree=24507608/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10614280 CPUtime=1.51 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 29956 0 1 0 146 5 0 0 25 0 22 0 830917878 10869022720 27283 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653570 27283 2231 9 0 2644304 0
[pid=14037/tid=14038] ppid=14035 vsize=10614280 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22106 0 1 0 49 4 0 0 25 0 22 0 830917879 10869022720 27283 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10614280
[startup+1.50077 s]
/proc/loadavg: 3.17 3.17 3.22 5/597 14059
/proc/meminfo: memFree=24342140/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=3.7 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 66117 0 1 0 360 10 0 0 25 0 22 0 830917878 10870349824 61369 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 61378 2239 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22106 0 1 0 49 4 0 0 20 0 22 0 830917879 10870349824 61383 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61389 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61394 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 61396 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14048] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14048/stat : 14048 (java) S 14035 14037 10194 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 22 0 830917882 10870349824 61399 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 0 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14049] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14049/stat : 14049 (java) S 14035 14037 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830917882 10870349824 61405 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14050] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14050/stat : 14050 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917882 10870349824 61410 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14051] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14051/stat : 14051 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 61416 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488518577 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14052] ppid=14035 vsize=10615576 CPUtime=0.61 cores=0,2,4,6
/proc/14037/task/14052/stat : 14052 (java) S 14035 14037 10194 0 -1 4202560 4256 0 0 0 61 0 0 0 15 0 22 0 830917885 10870349824 61421 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14053] ppid=14035 vsize=10615576 CPUtime=0.73 cores=0,2,4,6
/proc/14037/task/14053/stat : 14053 (java) R 14035 14037 10194 0 -1 4202560 4672 0 0 0 72 1 0 0 16 0 22 0 830917885 10870349824 61426 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46919174367710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14037/tid=14054] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14054/stat : 14054 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 61431 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14055] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14055/stat : 14055 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830917885 10870349824 61436 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14056] ppid=14035 vsize=10615576 CPUtime=0.89 cores=0,2,4,6
/proc/14037/task/14056/stat : 14056 (java) R 14035 14037 10194 0 -1 4202560 1144 0 0 0 89 0 0 0 18 0 22 0 830917934 10870349824 61442 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505877184 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14037/tid=14057] ppid=14035 vsize=10615576 CPUtime=0.9 cores=0,2,4,6
/proc/14037/task/14057/stat : 14057 (java) R 14035 14037 10194 0 -1 4202560 32848 0 0 0 87 3 0 0 18 0 22 0 830917934 10870349824 61447 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505767793 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14037/tid=14058] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14058/stat : 14058 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917935 10870349824 61453 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14059] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14059/stat : 14059 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917938 10870349824 61457 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10615576
[startup+3.10147 s]
/proc/loadavg: 3.17 3.17 3.22 5/597 14059
/proc/meminfo: memFree=23834856/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=6.97 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 282052 0 1 0 663 34 0 0 25 0 22 0 830917878 10870349824 276647 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 276648 2239 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22106 0 1 0 49 4 0 0 15 0 22 0 830917879 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276649 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917881 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14048] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14048/stat : 14048 (java) S 14035 14037 10194 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 830917882 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 0 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14049] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14049/stat : 14049 (java) S 14035 14037 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830917882 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14050] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14050/stat : 14050 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917882 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14051] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14051/stat : 14051 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488518577 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14052] ppid=14035 vsize=10615576 CPUtime=0.61 cores=0,2,4,6
/proc/14037/task/14052/stat : 14052 (java) S 14035 14037 10194 0 -1 4202560 4256 0 0 0 61 0 0 0 15 0 22 0 830917885 10870349824 276650 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14053] ppid=14035 vsize=10615576 CPUtime=0.79 cores=0,2,4,6
/proc/14037/task/14053/stat : 14053 (java) S 14035 14037 10194 0 -1 4202560 4703 0 0 0 78 1 0 0 15 0 22 0 830917885 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14054] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14054/stat : 14054 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14055] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14055/stat : 14055 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830917885 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14056] ppid=14035 vsize=10615576 CPUtime=2.49 cores=0,2,4,6
/proc/14037/task/14056/stat : 14056 (java) R 14035 14037 10194 0 -1 4202560 3491 0 0 0 248 1 0 0 21 0 22 0 830917934 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505771428 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14037/tid=14057] ppid=14035 vsize=10615576 CPUtime=2.5 cores=0,2,4,6
/proc/14037/task/14057/stat : 14057 (java) R 14035 14037 10194 0 -1 4202560 246330 0 0 0 223 27 0 0 19 0 22 0 830917934 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14037/tid=14058] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14058/stat : 14058 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917935 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14059] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14059/stat : 14059 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917938 10870349824 276651 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 10615576
[startup+6.30085 s]
/proc/loadavg: 3.17 3.17 3.22 4/597 14060
/proc/meminfo: memFree=22330860/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=13.53 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 664653 0 1 0 1277 76 0 0 25 0 22 0 830917878 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 657746 2252 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22106 0 1 0 49 4 0 0 15 0 22 0 830917879 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 353 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 223 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 630 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 1004 0 0 0 0 0 0 0 18 0 22 0 830917881 10870349824 657746 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 4.07 4.02 3.69 5/597 14340
/proc/meminfo: memFree=17988952/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=1646.15 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 1046372 0 1 0 164476 139 0 0 25 0 22 0 830917878 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 1029826 2267 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22112 0 1 0 49 4 0 0 15 0 22 0 830917879 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0.46 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 25269 0 0 0 42 4 0 0 15 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0.49 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 30686 0 0 0 44 5 0 0 16 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0.45 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 19140 0 0 0 42 3 0 0 15 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0.45 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 20198 0 0 0 42 3 0 0 15 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0.52 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 34346 0 0 0 46 6 0 0 15 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0.48 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 25752 0 0 0 44 4 0 0 16 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0.49 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 24779 0 0 0 45 4 0 0 15 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0.48 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 31340 0 0 0 44 4 0 0 16 0 22 0 830917881 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14048] ppid=14035 vsize=10615576 CPUtime=1.17 cores=0,2,4,6
/proc/14037/task/14048/stat : 14048 (java) S 14035 14037 10194 0 -1 4202560 13574 0 0 0 114 3 0 0 15 0 22 0 830917882 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 0 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14049] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14049/stat : 14049 (java) S 14035 14037 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14050] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14050/stat : 14050 (java) S 14035 14037 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14051] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14051/stat : 14051 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488518577 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14052] ppid=14035 vsize=10615576 CPUtime=0.84 cores=0,2,4,6
/proc/14037/task/14052/stat : 14052 (java) S 14035 14037 10194 0 -1 4202560 4275 0 0 0 84 0 0 0 15 0 22 0 830917885 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14053] ppid=14035 vsize=10615576 CPUtime=1.09 cores=0,2,4,6
/proc/14037/task/14053/stat : 14053 (java) S 14035 14037 10194 0 -1 4202560 6616 0 0 0 108 1 0 0 15 0 22 0 830917885 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14054] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14054/stat : 14054 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14055] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14055/stat : 14055 (java) S 14035 14037 10194 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830917885 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14056] ppid=14035 vsize=10615576 CPUtime=819.26 cores=0,2,4,6
/proc/14037/task/14056/stat : 14056 (java) R 14035 14037 10194 0 -1 4202560 9715 0 0 0 81923 3 0 0 25 0 22 0 830917934 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505835301 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14037/tid=14057] ppid=14035 vsize=10615576 CPUtime=819.29 cores=0,2,4,6
/proc/14037/task/14057/stat : 14057 (java) R 14035 14037 10194 0 -1 4202560 777365 0 0 0 81841 88 0 0 25 0 22 0 830917934 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505940015 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14037/tid=14058] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14058/stat : 14058 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917935 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14059] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14059/stat : 14059 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917938 10870349824 1029826 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1646.15
Current children cumulated vsize (KiB) 10615576
[startup+882.321 s]
/proc/loadavg: 4.13 4.05 3.72 5/597 14342
/proc/meminfo: memFree=17968336/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=1766.06 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 1050049 0 1 0 176466 140 0 0 25 0 22 0 830917878 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 1033412 2267 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22113 0 1 0 49 4 0 0 15 0 22 0 830917879 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0.49 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 25499 0 0 0 45 4 0 0 15 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 30686 0 0 0 48 5 0 0 16 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0.51 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 19878 0 0 0 47 4 0 0 16 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0.49 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 20785 0 0 0 46 3 0 0 15 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0.54 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 34722 0 0 0 48 6 0 0 15 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 26490 0 0 0 49 4 0 0 15 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0.55 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 25766 0 0 0 51 4 0 0 16 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0.52 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 31340 0 0 0 48 4 0 0 15 0 22 0 830917881 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14048] ppid=14035 vsize=10615576 CPUtime=1.42 cores=0,2,4,6
/proc/14037/task/14048/stat : 14048 (java) S 14035 14037 10194 0 -1 4202560 13576 0 0 0 139 3 0 0 15 0 22 0 830917882 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 0 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14049] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14049/stat : 14049 (java) S 14035 14037 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14050] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14050/stat : 14050 (java) S 14035 14037 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14051] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14051/stat : 14051 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488518577 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14052] ppid=14035 vsize=10615576 CPUtime=0.84 cores=0,2,4,6
/proc/14037/task/14052/stat : 14052 (java) S 14035 14037 10194 0 -1 4202560 4275 0 0 0 84 0 0 0 15 0 22 0 830917885 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14053] ppid=14035 vsize=10615576 CPUtime=1.09 cores=0,2,4,6
/proc/14037/task/14053/stat : 14053 (java) S 14035 14037 10194 0 -1 4202560 6616 0 0 0 108 1 0 0 15 0 22 0 830917885 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14054] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14054/stat : 14054 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14055] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14055/stat : 14055 (java) S 14035 14037 10194 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830917885 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14056] ppid=14035 vsize=10615576 CPUtime=878.92 cores=0,2,4,6
/proc/14037/task/14056/stat : 14056 (java) R 14035 14037 10194 0 -1 4202560 9723 0 0 0 87889 3 0 0 25 0 22 0 830917934 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505835604 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14037/tid=14057] ppid=14035 vsize=10615576 CPUtime=878.95 cores=0,2,4,6
/proc/14037/task/14057/stat : 14057 (java) R 14035 14037 10194 0 -1 4202560 777373 0 0 0 87807 88 0 0 25 0 22 0 830917934 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505767793 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14037/tid=14058] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14058/stat : 14058 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917935 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14059] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14059/stat : 14059 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917938 10870349824 1033412 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1766.06
Current children cumulated vsize (KiB) 10615576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.301 s]
/proc/loadavg: 4.10 4.04 3.72 5/597 14342
/proc/meminfo: memFree=17968208/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=10615576 CPUtime=1800.07 cores=0,2,4,6
/proc/14037/stat : 14037 (java) S 14035 14037 10194 0 -1 4202496 1050062 0 1 0 179867 140 0 0 25 0 22 0 830917878 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 2653894 1033415 2267 9 0 2644628 0
[pid=14037/tid=14038] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14038/stat : 14038 (java) S 14035 14037 10194 0 -1 4202560 22113 0 1 0 49 4 0 0 15 0 22 0 830917879 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14040] ppid=14035 vsize=10615576 CPUtime=0.51 cores=0,2,4,6
/proc/14037/task/14040/stat : 14040 (java) S 14035 14037 10194 0 -1 4202560 25502 0 0 0 47 4 0 0 15 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14041] ppid=14035 vsize=10615576 CPUtime=0.53 cores=0,2,4,6
/proc/14037/task/14041/stat : 14041 (java) S 14035 14037 10194 0 -1 4202560 30686 0 0 0 48 5 0 0 15 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14042] ppid=14035 vsize=10615576 CPUtime=0.52 cores=0,2,4,6
/proc/14037/task/14042/stat : 14042 (java) S 14035 14037 10194 0 -1 4202560 19878 0 0 0 48 4 0 0 16 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14043] ppid=14035 vsize=10615576 CPUtime=0.5 cores=0,2,4,6
/proc/14037/task/14043/stat : 14043 (java) S 14035 14037 10194 0 -1 4202560 20785 0 0 0 47 3 0 0 16 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14044] ppid=14035 vsize=10615576 CPUtime=0.55 cores=0,2,4,6
/proc/14037/task/14044/stat : 14044 (java) S 14035 14037 10194 0 -1 4202560 34722 0 0 0 49 6 0 0 16 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14045] ppid=14035 vsize=10615576 CPUtime=0.55 cores=0,2,4,6
/proc/14037/task/14045/stat : 14045 (java) S 14035 14037 10194 0 -1 4202560 26490 0 0 0 51 4 0 0 16 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14046] ppid=14035 vsize=10615576 CPUtime=0.55 cores=0,2,4,6
/proc/14037/task/14046/stat : 14046 (java) S 14035 14037 10194 0 -1 4202560 25766 0 0 0 51 4 0 0 15 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14047] ppid=14035 vsize=10615576 CPUtime=0.52 cores=0,2,4,6
/proc/14037/task/14047/stat : 14047 (java) S 14035 14037 10194 0 -1 4202560 31340 0 0 0 48 4 0 0 15 0 22 0 830917881 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14048] ppid=14035 vsize=10615576 CPUtime=1.42 cores=0,2,4,6
/proc/14037/task/14048/stat : 14048 (java) S 14035 14037 10194 0 -1 4202560 13578 0 0 0 139 3 0 0 16 0 22 0 830917882 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 0 0 16800975 18446604446112614272 0 0 -1 4 0 0 0
[pid=14037/tid=14049] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14049/stat : 14049 (java) S 14035 14037 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14050] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14050/stat : 14050 (java) S 14035 14037 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830917882 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14051] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14051/stat : 14051 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488518577 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14052] ppid=14035 vsize=10615576 CPUtime=0.84 cores=0,2,4,6
/proc/14037/task/14052/stat : 14052 (java) S 14035 14037 10194 0 -1 4202560 4275 0 0 0 84 0 0 0 15 0 22 0 830917885 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14053] ppid=14035 vsize=10615576 CPUtime=1.09 cores=0,2,4,6
/proc/14037/task/14053/stat : 14053 (java) S 14035 14037 10194 0 -1 4202560 6616 0 0 0 108 1 0 0 15 0 22 0 830917885 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14054] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14054/stat : 14054 (java) S 14035 14037 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830917885 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488510873 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
[pid=14037/tid=14055] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14055/stat : 14055 (java) S 14035 14037 10194 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830917885 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 2 0 0 0
[pid=14037/tid=14056] ppid=14035 vsize=10615576 CPUtime=895.89 cores=0,2,4,6
/proc/14037/task/14056/stat : 14056 (java) R 14035 14037 10194 0 -1 4202560 9727 0 0 0 89586 3 0 0 25 0 22 0 830917934 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505877196 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14037/tid=14057] ppid=14035 vsize=10615576 CPUtime=895.93 cores=0,2,4,6
/proc/14037/task/14057/stat : 14057 (java) R 14035 14037 10194 0 -1 4202560 777375 0 0 0 89505 88 0 0 25 0 22 0 830917934 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 46912505963563 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14037/tid=14058] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14058/stat : 14058 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917935 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 0 0 0 0
[pid=14037/tid=14059] ppid=14035 vsize=10615576 CPUtime=0 cores=0,2,4,6
/proc/14037/task/14059/stat : 14059 (java) S 14035 14037 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830917938 10870349824 1033415 33554432000 1073741824 1073778376 140737033451376 18446744073709551615 239488511488 0 4 0 16800975 18446604446112614272 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10615576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.501 s]
/proc/loadavg: 4.10 4.04 3.72 5/597 14342
/proc/meminfo: memFree=17968208/32950928 swapFree=67056580/67111528
[pid=14037] ppid=14035 vsize=0 CPUtime=1800.33 cores=0,2,4,6
/proc/14037/stat : 14037 (java) Z 14035 14037 10194 0 -1 4203548 1050092 0 1 0 179879 154 0 0 17 0 2 0 830917878 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14037/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.53
CPU time (s): 1800.36
CPU user time (s): 1798.79
CPU system time (s): 1.56876
CPU usage (%): 200.145
Max. virtual memory (cumulated for all children) (KiB): 10615576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.56876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050092
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26108
involuntary context switches= 19848
runsolver used 5.2882 second user time and 11.3113 second system time
The end