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-3456568-1307638686/watcher-3456568-1307638686 -o /tmp/evaluation-result-3456568-1307638686/solver-3456568-1307638686 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456568-1307638686.opb
running on 4 cores: 1,3,5,7
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 1.94 3/195 28498
/proc/meminfo: memFree=27598504/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/28498/stat : 28498 (java) R 28496 28498 27745 0 -1 4202496 779 0 0 0 0 0 0 0 25 0 1 0 954099259 23580672 522 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256410429184 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28498/statm: 5757 533 400 9 0 124 0
[startup+0.0275249 s]
/proc/loadavg: 2.00 2.00 1.94 3/195 28498
/proc/meminfo: memFree=27598504/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 10098 0 1 0 0 1 0 0 25 0 10 0 954099259 10703900672 9798 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2613257 9808 1053 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100502 s]
/proc/loadavg: 2.00 2.00 1.94 3/195 28498
/proc/meminfo: memFree=27598504/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10605712 CPUtime=0.09 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 13049 0 1 0 8 1 0 0 25 0 18 0 954099259 10860249088 12709 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2651428 12709 2093 9 0 2642162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10605712
[startup+0.300519 s]
/proc/loadavg: 2.00 2.00 1.94 3/195 28498
/proc/meminfo: memFree=27598504/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10607368 CPUtime=0.47 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 16029 0 1 0 45 2 0 0 25 0 18 0 954099259 10861944832 15347 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2651842 15348 2201 9 0 2642576 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10607368
[startup+0.700446 s]
/proc/loadavg: 2.00 2.00 1.94 3/195 28498
/proc/meminfo: memFree=27598504/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10608220 CPUtime=1.04 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 49654 0 1 0 97 7 0 0 25 0 19 0 954099259 10862817280 48090 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2652055 48090 2226 9 0 2642789 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10608220
[startup+1.50131 s]
/proc/loadavg: 2.00 2.00 1.94 5/214 28517
/proc/meminfo: memFree=27380436/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10625820 CPUtime=2.73 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 80414 0 1 0 263 10 0 0 25 0 19 0 954099259 10880839680 75886 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2656455 75887 2236 9 0 2647189 0
[pid=28498/tid=28500] ppid=28496 vsize=10625820 CPUtime=1.48 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 66670 0 1 0 140 8 0 0 25 0 19 0 954099260 10880839680 75887 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505831354 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75887 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75888 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75888 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75888 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75888 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75889 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75889 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 75889 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954099262 10880839680 75889 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954099263 10880839680 75890 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954099263 10880839680 75890 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10880839680 75890 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10625820 CPUtime=0.65 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 5896 0 0 0 65 0 0 0 15 0 19 0 954099265 10880839680 75890 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10625820 CPUtime=0.57 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6688 0 0 0 57 0 0 0 15 0 19 0 954099265 10880839680 75891 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10880839680 75891 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954099265 10880839680 75891 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10880839680 75891 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10625820
[startup+3.101 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 28517
/proc/meminfo: memFree=27206340/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10625820 CPUtime=4.38 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 142358 0 1 0 421 17 0 0 25 0 19 0 954099259 10880839680 137829 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2656455 137837 2237 9 0 2647189 0
[pid=28498/tid=28500] ppid=28496 vsize=10625820 CPUtime=3.08 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 128621 0 1 0 293 15 0 0 25 0 19 0 954099260 10880839680 137842 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505766845 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137847 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137849 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137851 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137853 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137854 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137856 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137857 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10880839680 137858 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954099262 10880839680 137859 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954099263 10880839680 137860 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954099263 10880839680 137861 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10880839680 137861 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10625820 CPUtime=0.69 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 5900 0 0 0 69 0 0 0 15 0 19 0 954099265 10880839680 137862 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10625820 CPUtime=0.58 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6689 0 0 0 58 0 0 0 15 0 19 0 954099265 10880839680 137863 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10880839680 137864 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954099265 10880839680 137864 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10625820 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10880839680 137864 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10625820
[startup+6.3014 s]
/proc/loadavg: 2.08 2.02 1.95 3/214 28517
/proc/meminfo: memFree=26702928/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10621608 CPUtime=7.74 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 266532 0 1 0 744 30 0 0 25 0 19 0 954099259 10876526592 259914 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2655402 259914 2239 9 0 2646136 0
[pid=28498/tid=28500] ppid=28496 vsize=10621608 CPUtime=6.28 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 251230 0 1 0 600 28 0 0 25 0 19 0 954099260 10876526592 259915 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505767027 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259916 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259917 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259918 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259919 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259920 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259921 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259922 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099261 10876526592 259923 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954099262 10876526592 259923 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954099263 10876526592 259924 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 954099263 10876526592 259924 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 259925 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10621608 CPUtime=0.82 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 7450 0 0 0 82 0 0 0 15 0 19 0 954099265 10876526592 259925 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10621608 CPUtime=0.61 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6691 0 0 0 61 0 0 0 15 0 19 0 954099265 10876526592 259926 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 259926 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954099265 10876526592 259927 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10876526592 259927 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 10621608
[startup+12.7012 s]
################
# More data... #
################
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10621608 CPUtime=0.87 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 7462 0 0 0 87 0 0 0 15 0 19 0 954099265 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10621608 CPUtime=0.82 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6722 0 0 0 82 0 0 0 15 0 19 0 954099265 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954099265 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10876526592 1185846 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1674.23
Current children cumulated vsize (KiB) 10621608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 28631
/proc/meminfo: memFree=22736620/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10621608 CPUtime=1734.6 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 1205346 0 1 0 173314 146 0 0 25 0 19 0 954099259 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2655402 1190062 2267 9 0 2646136 0
[pid=28498/tid=28500] ppid=28496 vsize=10621608 CPUtime=1715.54 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 669182 0 1 0 171477 77 0 0 25 0 19 0 954099260 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505828641 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10621608 CPUtime=1.93 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 73934 0 0 0 183 10 0 0 16 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10621608 CPUtime=1.39 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 55912 0 0 0 132 7 0 0 16 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10621608 CPUtime=1.38 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 47984 0 0 0 133 5 0 0 15 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10621608 CPUtime=1.81 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 57398 0 0 0 174 7 0 0 16 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10621608 CPUtime=2.14 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 82071 0 0 0 204 10 0 0 16 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10621608 CPUtime=1.87 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 67493 0 0 0 179 8 0 0 16 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10621608 CPUtime=1.94 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 57021 0 0 0 187 7 0 0 15 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10621608 CPUtime=1.63 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 59113 0 0 0 157 6 0 0 15 0 19 0 954099261 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10621608 CPUtime=3.16 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 19803 0 0 0 313 3 0 0 15 0 19 0 954099262 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10621608 CPUtime=0.87 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 7462 0 0 0 87 0 0 0 15 0 19 0 954099265 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10621608 CPUtime=0.82 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6722 0 0 0 82 0 0 0 15 0 19 0 954099265 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954099265 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10876526592 1190062 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.6
Current children cumulated vsize (KiB) 10621608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 28632
/proc/meminfo: memFree=22706928/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10621608 CPUtime=1794.8 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 1207811 0 1 0 179333 147 0 0 25 0 19 0 954099259 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2655402 1192431 2267 9 0 2646136 0
[pid=28498/tid=28500] ppid=28496 vsize=10621608 CPUtime=1775.47 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 669183 0 1 0 177470 77 0 0 25 0 19 0 954099260 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505868370 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10621608 CPUtime=1.93 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 73934 0 0 0 183 10 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10621608 CPUtime=1.45 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 56523 0 0 0 138 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10621608 CPUtime=1.38 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 47984 0 0 0 133 5 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10621608 CPUtime=1.87 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 58072 0 0 0 180 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10621608 CPUtime=2.14 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 82071 0 0 0 204 10 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10621608 CPUtime=1.93 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 68139 0 0 0 185 8 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10621608 CPUtime=2.01 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 57546 0 0 0 194 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10621608 CPUtime=1.63 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 59113 0 0 0 157 6 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10621608 CPUtime=3.16 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 19804 0 0 0 313 3 0 0 15 0 19 0 954099262 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10621608 CPUtime=0.87 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 7464 0 0 0 87 0 0 0 16 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10621608 CPUtime=0.82 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6723 0 0 0 82 0 0 0 15 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 10621608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 28633
/proc/meminfo: memFree=22689568/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=10621608 CPUtime=1800.01 cores=1,3,5,7
/proc/28498/stat : 28498 (java) S 28496 28498 27745 0 -1 4202496 1207811 0 1 0 179854 147 0 0 25 0 19 0 954099259 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28498/statm: 2655402 1192431 2267 9 0 2646136 0
[pid=28498/tid=28500] ppid=28496 vsize=10621608 CPUtime=1780.69 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4202560 669183 0 1 0 177992 77 0 0 25 0 19 0 954099260 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 46912505828650 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28498/tid=28501] ppid=28496 vsize=10621608 CPUtime=1.93 cores=1,3,5,7
/proc/28498/task/28501/stat : 28501 (java) S 28496 28498 27745 0 -1 4202560 73934 0 0 0 183 10 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28502] ppid=28496 vsize=10621608 CPUtime=1.45 cores=1,3,5,7
/proc/28498/task/28502/stat : 28502 (java) S 28496 28498 27745 0 -1 4202560 56523 0 0 0 138 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28503] ppid=28496 vsize=10621608 CPUtime=1.38 cores=1,3,5,7
/proc/28498/task/28503/stat : 28503 (java) S 28496 28498 27745 0 -1 4202560 47984 0 0 0 133 5 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28504] ppid=28496 vsize=10621608 CPUtime=1.87 cores=1,3,5,7
/proc/28498/task/28504/stat : 28504 (java) S 28496 28498 27745 0 -1 4202560 58072 0 0 0 180 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28505] ppid=28496 vsize=10621608 CPUtime=2.14 cores=1,3,5,7
/proc/28498/task/28505/stat : 28505 (java) S 28496 28498 27745 0 -1 4202560 82071 0 0 0 204 10 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28506] ppid=28496 vsize=10621608 CPUtime=1.93 cores=1,3,5,7
/proc/28498/task/28506/stat : 28506 (java) S 28496 28498 27745 0 -1 4202560 68139 0 0 0 185 8 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28507] ppid=28496 vsize=10621608 CPUtime=2.01 cores=1,3,5,7
/proc/28498/task/28507/stat : 28507 (java) S 28496 28498 27745 0 -1 4202560 57546 0 0 0 194 7 0 0 16 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28508] ppid=28496 vsize=10621608 CPUtime=1.63 cores=1,3,5,7
/proc/28498/task/28508/stat : 28508 (java) S 28496 28498 27745 0 -1 4202560 59113 0 0 0 157 6 0 0 15 0 19 0 954099261 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28509] ppid=28496 vsize=10621608 CPUtime=3.16 cores=1,3,5,7
/proc/28498/task/28509/stat : 28509 (java) S 28496 28498 27745 0 -1 4202560 19804 0 0 0 313 3 0 0 15 0 19 0 954099262 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 0 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28510] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28510/stat : 28510 (java) S 28496 28498 27745 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28511] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28511/stat : 28511 (java) S 28496 28498 27745 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 954099263 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 7 0 0 0
[pid=28498/tid=28512] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28512/stat : 28512 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427215281 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28513] ppid=28496 vsize=10621608 CPUtime=0.87 cores=1,3,5,7
/proc/28498/task/28513/stat : 28513 (java) S 28496 28498 27745 0 -1 4202560 7464 0 0 0 87 0 0 0 16 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28514] ppid=28496 vsize=10621608 CPUtime=0.82 cores=1,3,5,7
/proc/28498/task/28514/stat : 28514 (java) S 28496 28498 27745 0 -1 4202560 6723 0 0 0 82 0 0 0 15 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
[pid=28498/tid=28515] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28515/stat : 28515 (java) S 28496 28498 27745 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427207577 0 4 0 16800975 18446604466126715648 0 0 -1 5 0 0 0
[pid=28498/tid=28516] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28516/stat : 28516 (java) S 28496 28498 27745 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954099265 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 3 0 0 0
[pid=28498/tid=28517] ppid=28496 vsize=10621608 CPUtime=0 cores=1,3,5,7
/proc/28498/task/28517/stat : 28517 (java) S 28496 28498 27745 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954099326 10876526592 1192431 33554432000 1073741824 1073778376 140736892329488 18446744073709551615 256427208192 0 4 0 16800975 18446604466126715648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10621608
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/214 28633
/proc/meminfo: memFree=22689568/32950928 swapFree=67056212/67111528
[pid=28498] ppid=28496 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/28498/stat : 28498 (java) Z 28496 28498 27745 0 -1 4203548 1207843 0 1 0 179858 164 0 0 17 0 2 0 954099259 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28498/statm: 0 0 0 0 0 0 0
[pid=28498/tid=28500] ppid=28496 vsize=0 CPUtime=1780.87 cores=1,3,5,7
/proc/28498/task/28500/stat : 28500 (java) R 28496 28498 27745 0 -1 4203588 669183 0 1 0 177994 93 0 0 25 0 2 0 954099260 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.7
CPU time (s): 1800.23
CPU user time (s): 1798.58
CPU system time (s): 1.64575
CPU usage (%): 100.701
Max. virtual memory (cumulated for all children) (KiB): 10625820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.64575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1207843
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= 38028
involuntary context switches= 17199
runsolver used 2.91056 second user time and 6.86796 second system time
The end