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-3457356-1307633408/watcher-3457356-1307633408 -o /tmp/evaluation-result-3457356-1307633408/solver-3457356-1307633408 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457356-1307633408.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.95 0.73 0.26 2/195 25572
/proc/meminfo: memFree=29413720/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/25572/stat : 25572 (java) R 25570 25572 25448 0 -1 4202496 958 0 0 0 0 0 0 0 17 0 1 0 953571484 23580672 703 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231890528145 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/25572/statm: 5757 703 519 9 0 124 0
[startup+0.079083 s]
/proc/loadavg: 1.95 0.73 0.26 2/195 25572
/proc/meminfo: memFree=29413720/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 11949 0 1 0 5 1 0 0 17 0 18 0 953571484 10724442112 11647 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2618272 11647 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.105158 s]
/proc/loadavg: 1.95 0.73 0.26 2/195 25572
/proc/meminfo: memFree=29413720/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10605384 CPUtime=0.1 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 13142 0 1 0 9 1 0 0 17 0 18 0 953571484 10859913216 12815 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2651346 12817 2093 9 0 2642080 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605384
[startup+0.301085 s]
/proc/loadavg: 1.95 0.73 0.26 2/195 25572
/proc/meminfo: memFree=29413720/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10607464 CPUtime=0.43 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 14894 0 1 0 42 1 0 0 17 0 19 0 953571484 10862043136 14438 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2651866 14444 2207 9 0 2642600 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10607464
[startup+0.701011 s]
/proc/loadavg: 1.95 0.73 0.26 2/195 25572
/proc/meminfo: memFree=29413720/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=1.48 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 28745 0 1 0 144 4 0 0 17 0 19 0 953571484 10873311232 26439 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 26439 2223 9 0 2645351 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10618468
[startup+1.50088 s]
/proc/loadavg: 2.12 0.79 0.28 3/214 25591
/proc/meminfo: memFree=29265660/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=2.39 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 64383 0 1 0 230 9 0 0 17 0 19 0 953571484 10873311232 62076 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 62079 2227 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=1.47 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 55726 0 1 0 140 7 0 0 18 0 19 0 953571485 10873311232 62080 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505613014 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953571486 10873311232 62081 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62083 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62084 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62085 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62086 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62087 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 62089 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953571486 10873311232 62090 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 953571487 10873311232 62091 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953571488 10873311232 62093 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953571488 10873311232 62094 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 62096 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.5 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4680 0 0 0 50 0 0 0 15 0 19 0 953571490 10873311232 62097 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.38 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 2823 0 0 0 38 0 0 0 15 0 19 0 953571490 10873311232 62098 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 62099 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 62100 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 62101 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 10618468
[startup+3.10158 s]
/proc/loadavg: 2.12 0.79 0.28 3/214 25591
/proc/meminfo: memFree=29062672/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=4 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 138418 0 1 0 381 19 0 0 17 0 19 0 953571484 10873311232 136109 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 136112 2227 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=3.07 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 129761 0 1 0 290 17 0 0 21 0 19 0 953571485 10873311232 136113 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505676128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953571486 10873311232 136115 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136117 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136118 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136120 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136122 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136124 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 136126 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953571486 10873311232 136128 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 953571487 10873311232 136129 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953571488 10873311232 136130 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953571488 10873311232 136132 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 136133 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.51 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4680 0 0 0 51 0 0 0 15 0 19 0 953571490 10873311232 136135 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.38 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 2823 0 0 0 38 0 0 0 15 0 19 0 953571490 10873311232 136136 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 136138 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 136139 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 136140 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 10618468
[startup+6.30097 s]
/proc/loadavg: 2.12 0.79 0.28 3/214 25591
/proc/meminfo: memFree=28430764/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=7.27 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 293285 0 1 0 687 40 0 0 17 0 19 0 953571484 10873311232 290951 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 290954 2228 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=6.28 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 284617 0 1 0 589 39 0 0 25 0 19 0 953571485 10873311232 290955 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505675598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953571486 10873311232 290956 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290958 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290959 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290960 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290961 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290962 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953571486 10873311232 290963 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953571486 10873311232 290964 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 953571487 10873311232 290966 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953571488 10873311232 290967 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953571488 10873311232 290969 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 290971 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.58 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4690 0 0 0 58 0 0 0 15 0 19 0 953571490 10873311232 290972 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.38 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 2823 0 0 0 38 0 0 0 15 0 19 0 953571490 10873311232 290973 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 290974 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 290975 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 290976 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 10618468
[startup+12.7008 s]
################
# More data... #
################
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.69 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4711 0 0 0 69 0 0 0 15 0 19 0 953571490 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.56 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 3326 0 0 0 56 0 0 0 15 0 19 0 953571490 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 911949 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.3
Current children cumulated vsize (KiB) 10618468
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/214 25706
/proc/meminfo: memFree=28181368/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=1725.37 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 916858 0 1 0 172415 122 0 0 17 0 19 0 953571484 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 912610 2243 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=1721.56 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 833469 0 1 0 172051 105 0 0 25 0 19 0 953571485 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505568243 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0.27 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 7392 0 0 0 26 1 0 0 15 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 10409 0 0 0 31 1 0 0 16 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 10118 0 0 0 29 2 0 0 16 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 9549 0 0 0 31 1 0 0 16 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 9014 0 0 0 30 1 0 0 15 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 9421 0 0 0 30 1 0 0 15 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 8195 0 0 0 27 2 0 0 16 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 9897 0 0 0 28 1 0 0 15 0 19 0 953571486 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0.01 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 109 0 0 0 1 0 0 0 15 0 19 0 953571487 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.69 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4711 0 0 0 69 0 0 0 15 0 19 0 953571490 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.56 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 3326 0 0 0 56 0 0 0 15 0 19 0 953571490 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 912610 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 10618468
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25708
/proc/meminfo: memFree=27617752/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=1785.44 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 917560 0 1 0 178422 122 0 0 17 0 19 0 953571484 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 913282 2243 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=1781.53 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 833472 0 1 0 178048 105 0 0 25 0 19 0 953571485 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505590895 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 7604 0 0 0 28 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0.33 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 10480 0 0 0 32 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 10196 0 0 0 30 2 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0.34 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 9665 0 0 0 33 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 9014 0 0 0 31 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 9421 0 0 0 30 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 8268 0 0 0 27 2 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 10038 0 0 0 30 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0.01 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 113 0 0 0 1 0 0 0 15 0 19 0 953571487 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.69 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4711 0 0 0 69 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.56 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 3326 0 0 0 56 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 10618468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25708
/proc/meminfo: memFree=27502052/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=10618468 CPUtime=1800.04 cores=0,2,4,6
/proc/25572/stat : 25572 (java) S 25570 25572 25448 0 -1 4202496 917560 0 1 0 179882 122 0 0 17 0 19 0 953571484 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25572/statm: 2654617 913282 2243 9 0 2645351 0
[pid=25572/tid=25574] ppid=25570 vsize=10618468 CPUtime=1796.14 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4202560 833472 0 1 0 179509 105 0 0 25 0 19 0 953571485 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 46912505585050 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25572/tid=25575] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25575/stat : 25575 (java) S 25570 25572 25448 0 -1 4202560 7604 0 0 0 28 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25576] ppid=25570 vsize=10618468 CPUtime=0.33 cores=0,2,4,6
/proc/25572/task/25576/stat : 25576 (java) S 25570 25572 25448 0 -1 4202560 10480 0 0 0 32 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25577] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25577/stat : 25577 (java) S 25570 25572 25448 0 -1 4202560 10196 0 0 0 30 2 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25578] ppid=25570 vsize=10618468 CPUtime=0.34 cores=0,2,4,6
/proc/25572/task/25578/stat : 25578 (java) S 25570 25572 25448 0 -1 4202560 9665 0 0 0 33 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25579] ppid=25570 vsize=10618468 CPUtime=0.32 cores=0,2,4,6
/proc/25572/task/25579/stat : 25579 (java) S 25570 25572 25448 0 -1 4202560 9014 0 0 0 31 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25580] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25580/stat : 25580 (java) S 25570 25572 25448 0 -1 4202560 9421 0 0 0 30 1 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25581] ppid=25570 vsize=10618468 CPUtime=0.29 cores=0,2,4,6
/proc/25572/task/25581/stat : 25581 (java) S 25570 25572 25448 0 -1 4202560 8268 0 0 0 27 2 0 0 15 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25582] ppid=25570 vsize=10618468 CPUtime=0.31 cores=0,2,4,6
/proc/25572/task/25582/stat : 25582 (java) S 25570 25572 25448 0 -1 4202560 10038 0 0 0 30 1 0 0 16 0 19 0 953571486 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25583] ppid=25570 vsize=10618468 CPUtime=0.01 cores=0,2,4,6
/proc/25572/task/25583/stat : 25583 (java) S 25570 25572 25448 0 -1 4202560 113 0 0 0 1 0 0 0 15 0 19 0 953571487 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 0 0 16800975 18446604445333952704 0 0 -1 0 0 0 0
[pid=25572/tid=25584] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25584/stat : 25584 (java) S 25570 25572 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25585] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25585/stat : 25585 (java) S 25570 25572 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953571488 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25586] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25586/stat : 25586 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907314097 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25587] ppid=25570 vsize=10618468 CPUtime=0.69 cores=0,2,4,6
/proc/25572/task/25587/stat : 25587 (java) S 25570 25572 25448 0 -1 4202560 4711 0 0 0 69 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 2 0 0 0
[pid=25572/tid=25588] ppid=25570 vsize=10618468 CPUtime=0.56 cores=0,2,4,6
/proc/25572/task/25588/stat : 25588 (java) S 25570 25572 25448 0 -1 4202560 3326 0 0 0 56 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25589] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25589/stat : 25589 (java) S 25570 25572 25448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907306393 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
[pid=25572/tid=25590] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25590/stat : 25590 (java) S 25570 25572 25448 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 953571490 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 4 0 0 0
[pid=25572/tid=25591] ppid=25570 vsize=10618468 CPUtime=0 cores=0,2,4,6
/proc/25572/task/25591/stat : 25591 (java) S 25570 25572 25448 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953571508 10873311232 913282 33554432000 1073741824 1073778376 140736735708304 18446744073709551615 231907307008 0 4 0 16800975 18446604445333952704 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10618468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.01 s]
/proc/loadavg: 2.00 1.99 1.72 3/214 25708
/proc/meminfo: memFree=27502052/32950928 swapFree=67054844/67111528
[pid=25572] ppid=25570 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/25572/stat : 25572 (java) Z 25570 25572 25448 0 -1 4203548 917590 0 1 0 179884 131 0 0 15 0 2 0 953571484 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25572/statm: 0 0 0 0 0 0 0
[pid=25572/tid=25574] ppid=25570 vsize=0 CPUtime=1796.25 cores=0,2,4,6
/proc/25572/task/25574/stat : 25574 (java) R 25570 25572 25448 0 -1 4203588 833472 0 1 0 179510 115 0 0 25 0 2 0 953571485 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.06
CPU time (s): 1800.21
CPU user time (s): 1798.85
CPU system time (s): 1.36079
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 10618468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.36079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917590
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= 39021
involuntary context switches= 30387
runsolver used 3.38948 second user time and 6.42602 second system time
The end