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-3456197-1307664613/watcher-3456197-1307664613 -o /tmp/evaluation-result-3456197-1307664613/solver-3456197-1307664613 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456197-1307664613.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: 1.94 1.99 1.99 2/195 14033
/proc/meminfo: memFree=31902356/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 878058360 31260672 957 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 7632 957 730 9 0 383 0
[pid=14033/tid=14034] ppid=14031 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 878058360 31272960 960 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239476694843 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0935591 s]
/proc/loadavg: 1.94 1.99 1.99 2/195 14033
/proc/meminfo: memFree=31902356/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10539828 CPUtime=0.1 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 12988 0 1 0 9 1 0 0 25 0 18 0 878058360 10792783872 12685 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2634957 12685 2092 9 0 2625691 0
[pid=14033/tid=14034] ppid=14031 vsize=10539828 CPUtime=0.08 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 11059 0 1 0 7 1 0 0 18 0 18 0 878058360 10792783872 12685 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 47769656743090 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) 10539828
[startup+0.100518 s]
/proc/loadavg: 1.94 1.99 1.99 2/195 14033
/proc/meminfo: memFree=31902356/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10539828 CPUtime=0.1 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 13091 0 1 0 9 1 0 0 25 0 18 0 878058360 10792783872 12778 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2634957 12778 2092 9 0 2625691 0
[pid=14033/tid=14034] ppid=14031 vsize=10539828 CPUtime=0.08 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 11162 0 1 0 7 1 0 0 18 0 18 0 878058360 10792783872 12778 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912496203198 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) 10539828
[startup+0.30044 s]
/proc/loadavg: 1.94 1.99 1.99 2/195 14033
/proc/meminfo: memFree=31902356/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10540436 CPUtime=0.43 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 15273 0 1 0 42 1 0 0 25 0 18 0 878058360 10793406464 14775 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2635109 14776 2192 9 0 2625843 0
[pid=14033/tid=14034] ppid=14031 vsize=10540436 CPUtime=0.28 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 12634 0 1 0 27 1 0 0 18 0 18 0 878058360 10793406464 14776 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912505571775 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10540436
[startup+0.700354 s]
/proc/loadavg: 1.94 1.99 1.99 2/195 14033
/proc/meminfo: memFree=31902356/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10549124 CPUtime=1.58 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 36923 0 1 0 153 5 0 0 25 0 18 0 878058360 10802302976 30969 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637281 30969 2232 9 0 2628015 0
[pid=14033/tid=14034] ppid=14031 vsize=10549124 CPUtime=0.68 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 24370 0 1 0 66 2 0 0 18 0 18 0 878058360 10802302976 30969 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912505217133 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10549124
[startup+1.50127 s]
/proc/loadavg: 2.10 2.02 2.01 3/214 14052
/proc/meminfo: memFree=31552920/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=3.21 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 59105 0 1 0 313 8 0 0 25 0 19 0 878058360 10803646464 53150 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 53152 2243 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=1.48 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 46364 0 1 0 143 5 0 0 18 0 19 0 878058360 10803646464 53152 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912505980392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53153 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53154 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53155 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53156 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53156 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53157 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53158 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 53159 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 53160 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 53161 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 53162 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 53163 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=0.84 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3159 0 0 0 84 0 0 0 15 0 19 0 878058365 10803646464 53164 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.85 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8424 0 0 0 84 1 0 0 16 0 19 0 878058365 10803646464 53165 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 53167 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 53167 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 53168 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 10550436
[startup+3.10096 s]
/proc/loadavg: 2.10 2.02 2.01 3/214 14052
/proc/meminfo: memFree=31163480/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=4.9 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 103340 0 1 0 476 14 0 0 25 0 19 0 878058360 10803646464 97384 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 97385 2243 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=3.08 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 90587 0 1 0 297 11 0 0 19 0 19 0 878058360 10803646464 97385 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912505980671 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97385 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97386 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97386 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97386 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97387 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97387 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97388 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 97388 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 97388 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 97389 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 97389 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 97389 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=0.9 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3167 0 0 0 90 0 0 0 15 0 19 0 878058365 10803646464 97390 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.88 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8427 0 0 0 87 1 0 0 15 0 19 0 878058365 10803646464 97390 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 97390 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 97390 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 97390 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 10550436
[startup+6.30137 s]
/proc/loadavg: 2.10 2.02 2.01 3/214 14052
/proc/meminfo: memFree=30179476/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=8.19 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 180719 0 1 0 796 23 0 0 25 0 19 0 878058360 10803646464 174754 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 174755 2245 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=6.28 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 167955 0 1 0 608 20 0 0 25 0 19 0 878058360 10803646464 174755 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912506268020 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174756 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174756 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174756 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174757 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174757 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174758 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174758 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058362 10803646464 174759 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878058363 10803646464 174759 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 174759 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878058363 10803646464 174760 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 174760 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=0.99 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3177 0 0 0 99 0 0 0 15 0 19 0 878058365 10803646464 174760 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.89 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8427 0 0 0 88 1 0 0 15 0 19 0 878058365 10803646464 174761 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=1.25 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3217 0 0 0 125 0 0 0 16 0 19 0 878058365 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.91 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8431 0 0 0 90 1 0 0 15 0 19 0 878058365 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 1071941 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1671.55
Current children cumulated vsize (KiB) 10550436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14098
/proc/meminfo: memFree=24396160/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=1731.67 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 1086211 0 1 0 173009 158 0 0 25 0 19 0 878058360 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 1074094 2271 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=1718.53 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 664496 0 1 0 171769 84 0 0 25 0 19 0 878058360 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912506064752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=1.36 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 58589 0 0 0 126 10 0 0 15 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=1.05 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 39893 0 0 0 98 7 0 0 16 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=1.09 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 45208 0 0 0 99 10 0 0 16 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=1.13 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 45613 0 0 0 106 7 0 0 15 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=1.14 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 53301 0 0 0 107 7 0 0 16 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0.88 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 39747 0 0 0 83 5 0 0 15 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=1.55 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 68570 0 0 0 143 12 0 0 15 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=1.36 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 54134 0 0 0 127 9 0 0 16 0 19 0 878058362 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=1.27 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 3756 0 0 0 127 0 0 0 15 0 19 0 878058363 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=1.26 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3221 0 0 0 126 0 0 0 16 0 19 0 878058365 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.93 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8432 0 0 0 92 1 0 0 16 0 19 0 878058365 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 1074094 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1731.67
Current children cumulated vsize (KiB) 10550436
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14100
/proc/meminfo: memFree=24375268/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=1791.81 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 1089614 0 1 0 179022 159 0 0 25 0 19 0 878058360 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 1077425 2271 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=1778.49 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 664498 0 1 0 177765 84 0 0 25 0 19 0 878058360 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912506042144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=1.4 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 59391 0 0 0 130 10 0 0 16 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=1.05 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 39893 0 0 0 98 7 0 0 15 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=1.13 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 46056 0 0 0 103 10 0 0 16 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=1.13 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 45613 0 0 0 106 7 0 0 15 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=1.14 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 53301 0 0 0 107 7 0 0 15 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0.88 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 39747 0 0 0 83 5 0 0 15 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=1.59 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 69402 0 0 0 147 12 0 0 16 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=1.4 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 55050 0 0 0 131 9 0 0 16 0 19 0 878058362 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=1.27 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 3757 0 0 0 127 0 0 0 15 0 19 0 878058363 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=1.26 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3221 0 0 0 126 0 0 0 15 0 19 0 878058365 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.93 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8432 0 0 0 92 1 0 0 16 0 19 0 878058365 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 1077425 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1791.81
Current children cumulated vsize (KiB) 10550436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 14103
/proc/meminfo: memFree=28284116/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=10550436 CPUtime=1800.05 cores=0,2,4,6
/proc/14033/stat : 14033 (java) S 14031 14033 12474 0 -1 4202496 1093699 0 1 0 179845 160 0 0 25 0 19 0 878058360 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 2637609 1081423 2271 9 0 2628343 0
[pid=14033/tid=14034] ppid=14031 vsize=10550436 CPUtime=1786.54 cores=0,2,4,6
/proc/14033/task/14034/stat : 14034 (java) R 14031 14033 12474 0 -1 4202560 664499 0 1 0 178570 84 0 0 25 0 19 0 878058360 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 46912506042139 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14031 vsize=10550436 CPUtime=1.4 cores=0,2,4,6
/proc/14033/task/14036/stat : 14036 (java) S 14031 14033 12474 0 -1 4202560 59391 0 0 0 130 10 0 0 15 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14031 vsize=10550436 CPUtime=1.05 cores=0,2,4,6
/proc/14033/task/14037/stat : 14037 (java) S 14031 14033 12474 0 -1 4202560 39893 0 0 0 98 7 0 0 15 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14038] ppid=14031 vsize=10550436 CPUtime=1.17 cores=0,2,4,6
/proc/14033/task/14038/stat : 14038 (java) S 14031 14033 12474 0 -1 4202560 47057 0 0 0 107 10 0 0 16 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14039] ppid=14031 vsize=10550436 CPUtime=1.17 cores=0,2,4,6
/proc/14033/task/14039/stat : 14039 (java) S 14031 14033 12474 0 -1 4202560 46629 0 0 0 110 7 0 0 16 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14040] ppid=14031 vsize=10550436 CPUtime=1.2 cores=0,2,4,6
/proc/14033/task/14040/stat : 14040 (java) S 14031 14033 12474 0 -1 4202560 54433 0 0 0 112 8 0 0 16 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14041] ppid=14031 vsize=10550436 CPUtime=0.93 cores=0,2,4,6
/proc/14033/task/14041/stat : 14041 (java) S 14031 14033 12474 0 -1 4202560 40678 0 0 0 88 5 0 0 16 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14031 vsize=10550436 CPUtime=1.59 cores=0,2,4,6
/proc/14033/task/14042/stat : 14042 (java) S 14031 14033 12474 0 -1 4202560 69402 0 0 0 147 12 0 0 15 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14043] ppid=14031 vsize=10550436 CPUtime=1.4 cores=0,2,4,6
/proc/14033/task/14043/stat : 14043 (java) S 14031 14033 12474 0 -1 4202560 55050 0 0 0 131 9 0 0 15 0 19 0 878058362 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14044] ppid=14031 vsize=10550436 CPUtime=1.27 cores=0,2,4,6
/proc/14033/task/14044/stat : 14044 (java) S 14031 14033 12474 0 -1 4202560 3759 0 0 0 127 0 0 0 15 0 19 0 878058363 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 0 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14045] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14045/stat : 14045 (java) S 14031 14033 12474 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14046] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14046/stat : 14046 (java) S 14031 14033 12474 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 878058363 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14047] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14047/stat : 14047 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488518577 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14048] ppid=14031 vsize=10550436 CPUtime=1.26 cores=0,2,4,6
/proc/14033/task/14048/stat : 14048 (java) S 14031 14033 12474 0 -1 4202560 3221 0 0 0 126 0 0 0 15 0 19 0 878058365 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 2 0 0 0
[pid=14033/tid=14049] ppid=14031 vsize=10550436 CPUtime=0.93 cores=0,2,4,6
/proc/14033/task/14049/stat : 14049 (java) S 14031 14033 12474 0 -1 4202560 8432 0 0 0 92 1 0 0 16 0 19 0 878058365 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14050] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14050/stat : 14050 (java) S 14031 14033 12474 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878058365 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488510873 0 4 0 16800975 18446604453920118080 0 0 -1 6 0 0 0
[pid=14033/tid=14051] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14051/stat : 14051 (java) S 14031 14033 12474 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 878058365 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
[pid=14033/tid=14052] ppid=14031 vsize=10550436 CPUtime=0 cores=0,2,4,6
/proc/14033/task/14052/stat : 14052 (java) S 14031 14033 12474 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 878058436 10803646464 1081423 33554432000 1073741824 1073778376 140733818915360 18446744073709551615 239488511488 0 4 0 16800975 18446604453920118080 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10550436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.51 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 14103
/proc/meminfo: memFree=28284116/32950928 swapFree=67055428/67111528
[pid=14033] ppid=14031 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/14033/stat : 14033 (java) Z 14031 14033 12474 0 -1 4203548 1093730 0 1 0 179849 168 0 0 17 0 2 0 878058360 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14033/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.58
CPU time (s): 1800.25
CPU user time (s): 1798.5
CPU system time (s): 1.75473
CPU usage (%): 100.54
Max. virtual memory (cumulated for all children) (KiB): 10550436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.5
system time used= 1.75473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093730
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= 37590
involuntary context switches= 11151
runsolver used 3.46547 second user time and 6.31904 second system time
The end