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-3456071-1307662402/watcher-3456071-1307662402 -o /tmp/evaluation-result-3456071-1307662402/solver-3456071-1307662402 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456071-1307662402.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 26228
/proc/meminfo: memFree=28329100/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=31608 CPUtime=0 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 1274 0 0 0 0 0 0 0 25 0 2 0 956470724 32366592 991 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 7901 992 763 9 0 386 0
[pid=26228/tid=26229] ppid=26226 vsize=31656 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 168 0 0 0 0 0 0 0 25 0 2 0 956470724 32415744 998 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252453142151 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.027819 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 26228
/proc/meminfo: memFree=28329100/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10520548 CPUtime=0.02 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 10745 0 1 0 1 1 0 0 25 0 10 0 956470724 10773041152 10443 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2630137 10444 1515 9 0 2620885 0
[pid=26228/tid=26229] ppid=26226 vsize=10520548 CPUtime=0.01 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 9623 0 1 0 1 0 0 0 18 0 10 0 956470724 10773041152 10444 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 47218183799555 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10520548
[startup+0.100805 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 26228
/proc/meminfo: memFree=28329100/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10605932 CPUtime=0.1 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 13094 0 1 0 9 1 0 0 25 0 18 0 956470724 10860474368 12790 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2651483 12790 2092 9 0 2642217 0
[pid=26228/tid=26229] ppid=26226 vsize=10605932 CPUtime=0.09 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 11190 0 1 0 8 1 0 0 18 0 18 0 956470724 10860474368 12790 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 47218183827363 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) 10605932
[startup+0.300769 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 26228
/proc/meminfo: memFree=28329100/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10610032 CPUtime=0.49 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 16965 0 1 0 48 1 0 0 25 0 19 0 956470724 10864672768 16134 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2652508 16135 2187 9 0 2643242 0
[pid=26228/tid=26229] ppid=26226 vsize=10610032 CPUtime=0.29 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 12982 0 1 0 28 1 0 0 19 0 19 0 956470724 10864672768 16135 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505564895 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10610032
[startup+0.700716 s]
/proc/loadavg: 2.00 2.00 2.00 2/192 26228
/proc/meminfo: memFree=28329100/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=1.66 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 46030 0 1 0 160 6 0 0 25 0 19 0 956470724 10881622016 41266 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 41268 2215 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=0.68 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 30101 0 1 0 65 3 0 0 19 0 19 0 956470724 10881622016 41269 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505533714 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10626584
[startup+1.50159 s]
/proc/loadavg: 2.00 2.00 2.00 4/211 26247
/proc/meminfo: memFree=28065968/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=2.81 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 121740 0 1 0 265 16 0 0 25 0 19 0 956470724 10881622016 116975 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 116979 2218 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=1.49 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 105757 0 1 0 135 14 0 0 18 0 19 0 956470724 10881622016 116981 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505555650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116984 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116986 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116989 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116991 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116993 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116996 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 116999 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 117001 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 117004 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956470727 10881622016 117006 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 956470727 10881622016 117009 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 117012 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.68 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6904 0 0 0 68 0 0 0 15 0 19 0 956470729 10881622016 117014 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.61 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7924 0 0 0 60 1 0 0 15 0 19 0 956470729 10881622016 117017 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 117020 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 117023 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 117025 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10626584
[startup+3.10129 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26247
/proc/meminfo: memFree=27633828/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=4.41 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 278773 0 1 0 408 33 0 0 25 0 19 0 956470724 10881622016 274006 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 274010 2218 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=3.09 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 262790 0 1 0 278 31 0 0 21 0 19 0 956470724 10881622016 274012 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505564891 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274014 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274017 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274019 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274022 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274024 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274026 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274028 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 274030 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 274032 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956470727 10881622016 274034 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 956470727 10881622016 274037 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 274040 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.68 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6904 0 0 0 68 0 0 0 15 0 19 0 956470729 10881622016 274042 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.61 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7924 0 0 0 60 1 0 0 15 0 19 0 956470729 10881622016 274044 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 274046 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 274047 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 274050 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 10626584
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26247
/proc/meminfo: memFree=26411548/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=7.63 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 564731 0 1 0 693 70 0 0 25 0 19 0 956470724 10881622016 559887 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 559891 2219 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=6.29 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 548747 0 1 0 561 68 0 0 25 0 19 0 956470724 10881622016 559893 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505555650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559896 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559898 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559901 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559903 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559905 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559907 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559910 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470726 10881622016 559912 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956470727 10881622016 559913 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 956470727 10881622016 559915 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 956470727 10881622016 559918 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 559920 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.7 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6904 0 0 0 70 0 0 0 16 0 19 0 956470729 10881622016 559923 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.62 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7924 0 0 0 61 1 0 0 16 0 19 0 956470729 10881622016 559925 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.91 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6946 0 0 0 91 0 0 0 15 0 19 0 956470729 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.65 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7932 0 0 0 64 1 0 0 15 0 19 0 956470729 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 937357 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1669.28
Current children cumulated vsize (KiB) 10626584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26364
/proc/meminfo: memFree=24587008/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=1729.46 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 943576 0 1 0 172825 121 0 0 25 0 19 0 956470724 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 937382 2256 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=1716.82 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 845040 0 1 0 171578 104 0 0 25 0 19 0 956470724 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505672760 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=0.96 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 8323 0 0 0 95 1 0 0 16 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0.88 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 7771 0 0 0 88 0 0 0 16 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=1.04 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 10137 0 0 0 103 1 0 0 15 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0.78 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 8634 0 0 0 78 0 0 0 16 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=0.98 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 8581 0 0 0 97 1 0 0 16 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=1.09 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 8455 0 0 0 108 1 0 0 15 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0.92 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 8299 0 0 0 91 1 0 0 15 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=0.98 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 8376 0 0 0 97 1 0 0 16 0 19 0 956470726 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=3.33 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 13831 0 0 0 330 3 0 0 15 0 19 0 956470727 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.91 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6946 0 0 0 91 0 0 0 15 0 19 0 956470729 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.65 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7932 0 0 0 64 1 0 0 15 0 19 0 956470729 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 937382 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1729.46
Current children cumulated vsize (KiB) 10626584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26366
/proc/meminfo: memFree=24581352/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=1789.73 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 943652 0 1 0 178851 122 0 0 25 0 19 0 956470724 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 937447 2256 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=1776.73 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 845045 0 1 0 177569 104 0 0 25 0 19 0 956470724 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505672934 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=1 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 8328 0 0 0 99 1 0 0 15 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0.92 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 7789 0 0 0 92 0 0 0 16 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=1.07 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 10146 0 0 0 106 1 0 0 15 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0.83 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 8638 0 0 0 82 1 0 0 16 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=1.03 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 8583 0 0 0 102 1 0 0 16 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=1.12 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 8457 0 0 0 111 1 0 0 15 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0.97 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 8313 0 0 0 96 1 0 0 16 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=1.04 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 8387 0 0 0 103 1 0 0 16 0 19 0 956470726 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=3.33 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 13835 0 0 0 330 3 0 0 15 0 19 0 956470727 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.91 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6946 0 0 0 91 0 0 0 15 0 19 0 956470729 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.65 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7932 0 0 0 64 1 0 0 15 0 19 0 956470729 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 937447 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.73
Current children cumulated vsize (KiB) 10626584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26366
/proc/meminfo: memFree=24580336/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=10626584 CPUtime=1800.08 cores=0,2,4,6
/proc/26228/stat : 26228 (java) S 26226 26228 23633 0 -1 4202496 943665 0 1 0 179886 122 0 0 25 0 19 0 956470724 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 2656646 937455 2256 9 0 2647380 0
[pid=26228/tid=26229] ppid=26226 vsize=10626584 CPUtime=1787.02 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4202560 845046 0 1 0 178598 104 0 0 25 0 19 0 956470724 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 46912505564916 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26228/tid=26231] ppid=26226 vsize=10626584 CPUtime=1 cores=0,2,4,6
/proc/26228/task/26231/stat : 26231 (java) S 26226 26228 23633 0 -1 4202560 8328 0 0 0 99 1 0 0 15 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26232] ppid=26226 vsize=10626584 CPUtime=0.92 cores=0,2,4,6
/proc/26228/task/26232/stat : 26232 (java) S 26226 26228 23633 0 -1 4202560 7789 0 0 0 92 0 0 0 15 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26233] ppid=26226 vsize=10626584 CPUtime=1.09 cores=0,2,4,6
/proc/26228/task/26233/stat : 26233 (java) S 26226 26228 23633 0 -1 4202560 10147 0 0 0 108 1 0 0 16 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26234] ppid=26226 vsize=10626584 CPUtime=0.83 cores=0,2,4,6
/proc/26228/task/26234/stat : 26234 (java) S 26226 26228 23633 0 -1 4202560 8638 0 0 0 82 1 0 0 15 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26235] ppid=26226 vsize=10626584 CPUtime=1.04 cores=0,2,4,6
/proc/26228/task/26235/stat : 26235 (java) S 26226 26228 23633 0 -1 4202560 8589 0 0 0 103 1 0 0 16 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26236] ppid=26226 vsize=10626584 CPUtime=1.14 cores=0,2,4,6
/proc/26228/task/26236/stat : 26236 (java) S 26226 26228 23633 0 -1 4202560 8457 0 0 0 113 1 0 0 16 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26237] ppid=26226 vsize=10626584 CPUtime=0.97 cores=0,2,4,6
/proc/26228/task/26237/stat : 26237 (java) S 26226 26228 23633 0 -1 4202560 8313 0 0 0 96 1 0 0 15 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26238] ppid=26226 vsize=10626584 CPUtime=1.05 cores=0,2,4,6
/proc/26228/task/26238/stat : 26238 (java) S 26226 26228 23633 0 -1 4202560 8388 0 0 0 104 1 0 0 16 0 19 0 956470726 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26239] ppid=26226 vsize=10626584 CPUtime=3.33 cores=0,2,4,6
/proc/26228/task/26239/stat : 26239 (java) S 26226 26228 23633 0 -1 4202560 13837 0 0 0 330 3 0 0 15 0 19 0 956470727 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 0 0 16800975 18446604453859182656 0 0 -1 0 0 0 0
[pid=26228/tid=26240] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26240/stat : 26240 (java) S 26226 26228 23633 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26241] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26241/stat : 26241 (java) S 26226 26228 23633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 956470727 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26242] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26242/stat : 26242 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 956470729 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469889457 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26243] ppid=26226 vsize=10626584 CPUtime=0.91 cores=0,2,4,6
/proc/26228/task/26243/stat : 26243 (java) S 26226 26228 23633 0 -1 4202560 6946 0 0 0 91 0 0 0 15 0 19 0 956470729 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
[pid=26228/tid=26244] ppid=26226 vsize=10626584 CPUtime=0.65 cores=0,2,4,6
/proc/26228/task/26244/stat : 26244 (java) S 26226 26228 23633 0 -1 4202560 7932 0 0 0 64 1 0 0 15 0 19 0 956470729 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26245] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26245/stat : 26245 (java) S 26226 26228 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956470729 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469881753 0 4 0 16800975 18446604453859182656 0 0 -1 6 0 0 0
[pid=26228/tid=26246] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26246/stat : 26246 (java) S 26226 26228 23633 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956470729 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 4 0 0 0
[pid=26228/tid=26247] ppid=26226 vsize=10626584 CPUtime=0 cores=0,2,4,6
/proc/26228/task/26247/stat : 26247 (java) S 26226 26228 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956470740 10881622016 937455 33554432000 1073741824 1073778376 140736727224896 18446744073709551615 252469882368 0 4 0 16800975 18446604453859182656 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10626584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 26366
/proc/meminfo: memFree=24580336/32951124 swapFree=67062556/67111528
[pid=26228] ppid=26226 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/26228/stat : 26228 (java) Z 26226 26228 23633 0 -1 4203548 943706 0 1 0 179894 129 0 0 17 0 2 0 956470724 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26228/statm: 0 0 0 0 0 0 0
[pid=26228/tid=26229] ppid=26226 vsize=0 CPUtime=1787.12 cores=0,2,4,6
/proc/26228/task/26229/stat : 26229 (java) R 26226 26228 23633 0 -1 4203588 845046 0 1 0 178601 111 0 0 25 0 2 0 956470724 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.8
CPU time (s): 1800.32
CPU user time (s): 1798.94
CPU system time (s): 1.37879
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 10626584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.37879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943706
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= 41020
involuntary context switches= 18702
runsolver used 3.35849 second user time and 6.44202 second system time
The end