runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4249704-1500774136/watcher-4249704-1500774136 -o /tmp/evaluation-result-4249704-1500774136/solver-4249704-1500774136 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249704-1500774136.xml
pid=27448
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.86 1.75 3/261 27451
/proc/meminfo: memFree=28195432/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/27451/stat : 27451 (bash) S 27448 27451 21492 0 -1 4202496 687 1530 0 0 0 0 0 0 20 0 1 0 12679004 9736192 351 33554432000 4194304 5098028 140726123030624 140726123028264 140331032312832 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 39456768 140726123037966 140726123038051 140726123038051 140726123040750 0
/proc/27451/statm: 2377 351 278 221 0 86 0
[startup+0.100066 s]
/proc/loadavg: 1.89 1.86 1.75 3/261 27451
/proc/meminfo: memFree=28195432/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=9640 CPUtime=0.09 cores=4-7,12-15
/proc/27451/stat : 27451 (bash) S 27448 27451 21492 0 -1 4202496 925 12159 0 0 0 0 6 3 20 0 1 0 12679004 9871360 381 33554432000 4194304 5098028 140726123030624 140726123026456 140331032312832 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 39456768 140726123037966 140726123038051 140726123038051 140726123040750 0
/proc/27451/statm: 2410 381 299 221 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9640
[startup+0.20031 s]
/proc/loadavg: 1.89 1.86 1.75 3/261 27451
/proc/meminfo: memFree=28195432/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=10901872 CPUtime=0.19 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 5574 12833 0 0 9 1 6 3 20 0 20 0 12679004 11163516928 6858 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2725468 6858 2713 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872
[startup+0.300319 s]
/proc/loadavg: 1.89 1.86 1.75 3/261 27451
/proc/meminfo: memFree=28195432/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=10902324 CPUtime=0.35 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 9430 12833 0 0 24 2 6 3 20 0 20 0 12679004 11163979776 11145 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2725581 11145 2985 1 0 2713898 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902324
[startup+0.700247 s]
/proc/loadavg: 1.89 1.86 1.75 3/261 27451
/proc/meminfo: memFree=28195432/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=10902720 CPUtime=1 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 12776 12833 0 0 87 4 6 3 20 0 20 0 12679004 11164385280 16516 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2725680 16516 3230 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720
[startup+1.50116 s]
/proc/loadavg: 1.90 1.86 1.76 3/281 27524
/proc/meminfo: memFree=28087180/32770624 swapFree=5816/253104
[pid=27451] ppid=27448 vsize=10915392 CPUtime=2.27 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 26837 12833 0 0 206 12 6 3 20 0 20 0 12679004 11177361408 44209 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2728848 44209 3418 1 0 2716962 0
[pid=27451/tid=27506] ppid=27448 vsize=10915392 CPUtime=1.42 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) R 27448 27451 21492 0 -1 4202560 19350 12833 0 0 127 6 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111590870312 140111586659734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) S 27448 27451 21492 0 -1 1077944384 133 12833 0 0 0 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111512722192 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) S 27448 27451 21492 0 -1 1077944384 15 12833 0 0 0 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111511669648 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) S 27448 27451 21492 0 -1 1077944384 11 12833 0 0 0 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111510617104 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=10915392 CPUtime=0.1 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) S 27448 27451 21492 0 -1 1077944384 72 12833 0 0 1 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111509564560 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) S 27448 27451 21492 0 -1 1077944384 32 12833 0 0 0 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111508510992 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) S 27448 27451 21492 0 -1 1077944384 13 12833 0 0 0 0 6 3 20 0 20 0 12679015 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111507458448 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=10915392 CPUtime=0.1 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) S 27448 27451 21492 0 -1 1077944384 18 12833 0 0 1 0 6 3 20 0 20 0 12679016 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111506405904 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=10915392 CPUtime=0.1 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) S 27448 27451 21492 0 -1 1077944384 26 12833 0 0 1 0 6 3 20 0 20 0 12679016 11177361408 44209 33554432000 4194304 4196468 140735162867648 140111505353360 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=10915392 CPUtime=0.1 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 1122 12833 0 0 1 0 6 3 20 0 20 0 12679017 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110926989808 140111586658946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 56 12833 0 0 0 0 6 3 20 0 20 0 12679018 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110925936096 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 43 12833 0 0 0 0 6 3 20 0 20 0 12679018 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 1 12833 0 0 0 0 6 3 20 0 20 0 12679022 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=10915392 CPUtime=0.23 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) S 27448 27451 21492 0 -1 1077944384 1131 12833 0 0 14 0 6 3 20 0 20 0 12679022 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110922778608 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=10915392 CPUtime=0.19 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 414 12833 0 0 10 0 6 3 20 0 20 0 12679022 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=10915392 CPUtime=0.23 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 839 12833 0 0 14 0 6 3 20 0 20 0 12679022 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=10915392 CPUtime=0.37 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) R 27448 27451 21492 0 -1 4202560 1420 12833 0 0 28 0 6 3 20 0 20 0 12679022 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110919620976 140111586669146 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 20 0 12679023 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=10915392 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 6 12833 0 0 0 0 6 3 20 0 20 0 12679023 11177361408 44209 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10915392
[startup+3.1046 s]
/proc/loadavg: 1.90 1.86 1.76 4/281 27524
/proc/meminfo: memFree=28015956/32770624 swapFree=5816/253108
[pid=27451] ppid=27448 vsize=10921724 CPUtime=7.58 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 41213 12833 0 0 670 79 6 3 20 0 20 0 12679004 11183845376 282025 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2730431 282025 3493 1 0 2717986 0
[pid=27451/tid=27506] ppid=27448 vsize=10921724 CPUtime=2.71 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) R 27448 27451 21492 0 -1 4202560 25201 12833 0 0 240 22 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111590878104 140111185471571 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=10921724 CPUtime=0.37 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) S 27448 27451 21492 0 -1 1077944384 442 12833 0 0 22 6 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111512722192 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=10921724 CPUtime=0.35 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) S 27448 27451 21492 0 -1 1077944384 206 12833 0 0 20 6 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111511669648 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=10921724 CPUtime=0.37 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) S 27448 27451 21492 0 -1 1077944384 280 12833 0 0 22 6 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111510617104 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=10921724 CPUtime=0.38 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) S 27448 27451 21492 0 -1 1077944384 331 12833 0 0 22 7 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111509564560 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=10921724 CPUtime=0.33 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) S 27448 27451 21492 0 -1 1077944384 115 12833 0 0 20 4 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111508510992 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=10921724 CPUtime=0.37 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) S 27448 27451 21492 0 -1 1077944384 121 12833 0 0 22 6 6 3 20 0 20 0 12679015 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111507458448 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=10921724 CPUtime=0.36 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) S 27448 27451 21492 0 -1 1077944384 115 12833 0 0 21 6 6 3 20 0 20 0 12679016 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111506405904 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=10921724 CPUtime=0.37 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) S 27448 27451 21492 0 -1 1077944384 202 12833 0 0 21 7 6 3 20 0 20 0 12679016 11183845376 282025 33554432000 4194304 4196468 140735162867648 140111505353360 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=10921724 CPUtime=0.12 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 2418 12833 0 0 3 0 6 3 20 0 20 0 12679017 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110926989808 140111586658946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 56 12833 0 0 0 0 6 3 20 0 20 0 12679018 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110925936096 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 44 12833 0 0 0 0 6 3 20 0 20 0 12679018 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 1 12833 0 0 0 0 6 3 20 0 20 0 12679022 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=10921724 CPUtime=0.92 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) R 27448 27451 21492 0 -1 4202560 4622 12833 0 0 83 0 6 3 20 0 20 0 12679022 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110922765104 140111568192017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=10921724 CPUtime=0.5 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) R 27448 27451 21492 0 -1 4202560 855 12833 0 0 41 0 6 3 20 0 20 0 12679022 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110921712088 140111564539680 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=10921724 CPUtime=0.57 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) R 27448 27451 21492 0 -1 4202560 1419 12833 0 0 48 0 6 3 20 0 20 0 12679022 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110920669888 140111565041005 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=10921724 CPUtime=0.86 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 2642 12833 0 0 76 1 6 3 20 0 20 0 12679022 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 20 0 12679023 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 7 12833 0 0 0 0 6 3 20 0 20 0 12679023 11183845376 282025 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10921724
[startup+6.3008 s]
/proc/loadavg: 1.98 1.88 1.76 10/281 27524
/proc/meminfo: memFree=26604252/32770624 swapFree=5816/253108
[pid=27451] ppid=27448 vsize=10921724 CPUtime=13.04 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 44823 12833 0 0 1123 172 6 3 20 0 20 0 12679004 11183845376 411314 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2730431 411314 3494 1 0 2717986 0
[pid=27451/tid=27506] ppid=27448 vsize=10921724 CPUtime=5.57 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) R 27448 27451 21492 0 -1 4202560 25633 12833 0 0 524 24 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111590881744 140111185731508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=10921724 CPUtime=0.67 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) S 27448 27451 21492 0 -1 1077944384 750 12833 0 0 42 16 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111512722192 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=10921724 CPUtime=0.67 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) S 27448 27451 21492 0 -1 1077944384 515 12833 0 0 40 18 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111511669648 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=10921724 CPUtime=0.68 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) S 27448 27451 21492 0 -1 1077944384 624 12833 0 0 42 17 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111510617104 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=10921724 CPUtime=0.7 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) S 27448 27451 21492 0 -1 1077944384 651 12833 0 0 42 19 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111509564560 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=10921724 CPUtime=0.64 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) S 27448 27451 21492 0 -1 1077944384 432 12833 0 0 39 16 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111508510992 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=10921724 CPUtime=0.68 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) S 27448 27451 21492 0 -1 1077944384 433 12833 0 0 41 18 6 3 20 0 20 0 12679015 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111507458448 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=10921724 CPUtime=0.66 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) S 27448 27451 21492 0 -1 1077944384 430 12833 0 0 41 16 6 3 20 0 20 0 12679016 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111506405904 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=10921724 CPUtime=0.67 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) S 27448 27451 21492 0 -1 1077944384 513 12833 0 0 40 18 6 3 20 0 20 0 12679016 11183845376 411314 33554432000 4194304 4196468 140735162867648 140111505353360 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=10921724 CPUtime=0.13 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 2777 12833 0 0 4 0 6 3 20 0 20 0 12679017 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110926989808 140111586658946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 56 12833 0 0 0 0 6 3 20 0 20 0 12679018 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110925936096 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 44 12833 0 0 0 0 6 3 20 0 20 0 12679018 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 1 12833 0 0 0 0 6 3 20 0 20 0 12679022 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=10921724 CPUtime=0.96 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) S 27448 27451 21492 0 -1 1077944384 4632 12833 0 0 87 0 6 3 20 0 20 0 12679022 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110922778608 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=10921724 CPUtime=0.55 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 868 12833 0 0 46 0 6 3 20 0 20 0 12679022 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=10921724 CPUtime=0.61 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 1470 12833 0 0 52 0 6 3 20 0 20 0 12679022 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=10921724 CPUtime=0.86 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 2642 12833 0 0 76 1 6 3 20 0 20 0 12679022 11183845376 411314 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=10921724 CPUtime=0.09 cores=4-7,12-15
################
# More data... #
################
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 17167 12833 0 0 543 4 6 3 20 0 20 0 12679022 11194331136 968538 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=10931964 CPUtime=5.37 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 13143 12833 0 0 524 4 6 3 20 0 20 0 12679022 11194331136 968538 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=10931964 CPUtime=2.14 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 18395 12833 0 0 201 4 6 3 20 0 20 0 12679022 11194331136 968538 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=10931964 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 20 0 12679023 11194331136 968538 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=10931964 CPUtime=1.32 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 1777 12833 0 0 56 67 6 3 20 0 20 0 12679023 11194331136 968538 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10931964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27451 sig 9
??? kill -27451 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2245.6 s]
/proc/loadavg: 1.54 1.46 1.51 3/281 27746
/proc/meminfo: memFree=26869348/32770624 swapFree=5816/254412
[pid=27451] ppid=27448 vsize=11065092 CPUtime=2402.11 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 615767 12833 0 0 238369 1833 6 3 20 0 22 0 12679004 11330654208 968588 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2766273 968588 3521 1 0 2753828 0
[pid=27451/tid=27506] ppid=27448 vsize=11065092 CPUtime=2221.14 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) S 27448 27451 21492 0 -1 1077944384 233489 12833 0 0 222046 59 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111590885472 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=11065092 CPUtime=19.95 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) R 27448 27451 21492 0 -1 4202560 29571 12833 0 0 1779 207 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111512722312 140111570030834 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=11065092 CPUtime=20.14 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) R 27448 27451 21492 0 -1 4202560 28424 12833 0 0 1787 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111511669768 140111579276007 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=11065092 CPUtime=19.95 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) R 27448 27451 21492 0 -1 4202560 33156 12833 0 0 1774 212 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111510617224 140111579276007 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=11065092 CPUtime=20.02 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) R 27448 27451 21492 0 -1 4202560 31999 12833 0 0 1775 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111509564680 140111579276007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=11065092 CPUtime=20.06 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) R 27448 27451 21492 0 -1 4202560 29618 12833 0 0 1787 210 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111508511192 140111571348398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=11065092 CPUtime=19.81 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) R 27448 27451 21492 0 -1 4202560 33803 12833 0 0 1752 220 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111507458568 140111579276007 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=11065092 CPUtime=20.08 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) R 27448 27451 21492 0 -1 4202560 32112 12833 0 0 1794 205 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111506406024 140111579276007 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=11065092 CPUtime=20.09 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) R 27448 27451 21492 0 -1 4202560 45334 12833 0 0 1788 212 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111505353480 140111579276007 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=11065092 CPUtime=2.21 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 48777 12833 0 0 200 12 6 3 20 0 22 0 12679017 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110926988432 140111586658005 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 78 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110925936160 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 65 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 227 12833 0 0 0 0 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=11065092 CPUtime=5.4 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) S 27448 27451 21492 0 -1 1077944384 16137 12833 0 0 529 2 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110922778608 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=11065092 CPUtime=5.56 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 17167 12833 0 0 543 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=11065092 CPUtime=5.37 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 13143 12833 0 0 524 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=11065092 CPUtime=2.14 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 18395 12833 0 0 201 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=11065092 CPUtime=1.32 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 1777 12833 0 0 56 67 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 2402.11
Current children cumulated vsize (KiB) 11065092
[startup+2246 s]
/proc/loadavg: 1.54 1.46 1.51 3/281 27746
/proc/meminfo: memFree=26869348/32770624 swapFree=5816/254412
[pid=27451] ppid=27448 vsize=11065092 CPUtime=2404.99 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 616162 12833 0 0 238656 1834 6 3 20 0 22 0 12679004 11330654208 968588 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2766273 968588 3521 1 0 2753828 0
[pid=27451/tid=27506] ppid=27448 vsize=11065092 CPUtime=2221.14 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) S 27448 27451 21492 0 -1 1077944384 233489 12833 0 0 222046 59 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111590885472 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=11065092 CPUtime=20.3 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) R 27448 27451 21492 0 -1 4202560 29583 12833 0 0 1814 207 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111512722392 140111568244810 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=11065092 CPUtime=20.5 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) R 27448 27451 21492 0 -1 4202560 28439 12833 0 0 1823 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111511669848 140111571345551 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=11065092 CPUtime=20.3 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) R 27448 27451 21492 0 -1 4202560 33160 12833 0 0 1809 212 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111510617304 140111571345378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=11065092 CPUtime=20.37 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) R 27448 27451 21492 0 -1 4202560 32006 12833 0 0 1810 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111509564760 140111571632836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=11065092 CPUtime=20.42 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) R 27448 27451 21492 0 -1 4202560 29628 12833 0 0 1823 210 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111508510880 140111568244186 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=11065092 CPUtime=20.16 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) R 27448 27451 21492 0 -1 4202560 33806 12833 0 0 1787 220 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111507458648 140111571598376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=11065092 CPUtime=20.44 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) R 27448 27451 21492 0 -1 4202560 32113 12833 0 0 1830 205 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111506406104 140111568243745 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=11065092 CPUtime=20.44 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) R 27448 27451 21492 0 -1 4202560 45335 12833 0 0 1823 212 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111505353560 140111571633057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=11065092 CPUtime=2.25 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 49114 12833 0 0 203 13 6 3 20 0 22 0 12679017 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110926988208 140111586658005 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 80 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110925936144 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 65 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 227 12833 0 0 0 0 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=11065092 CPUtime=5.4 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) S 27448 27451 21492 0 -1 1077944384 16137 12833 0 0 529 2 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110922778608 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=11065092 CPUtime=5.56 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 17167 12833 0 0 543 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=11065092 CPUtime=5.37 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 13143 12833 0 0 524 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=11065092 CPUtime=2.14 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 18395 12833 0 0 201 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=11065092 CPUtime=1.32 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 1777 12833 0 0 56 67 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 2404.99
Current children cumulated vsize (KiB) 11065092
[startup+2246.2 s]
/proc/loadavg: 1.50 1.46 1.50 10/283 27748
/proc/meminfo: memFree=26869348/32770624 swapFree=5816/254412
[pid=27451] ppid=27448 vsize=11065092 CPUtime=2406.4 cores=4-7,12-15
/proc/27451/stat : 27451 (java) S 27448 27451 21492 0 -1 1077944320 616166 12833 0 0 238797 1834 6 3 20 0 22 0 12679004 11330654208 968588 33554432000 4194304 4196468 140735162867648 140735162850192 140111586647799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
/proc/27451/statm: 2766273 968588 3521 1 0 2753828 0
[pid=27451/tid=27506] ppid=27448 vsize=11065092 CPUtime=2221.14 cores=4-7,12-15
/proc/27451/task/27506/stat : 27506 (java) S 27448 27451 21492 0 -1 1077944384 233489 12833 0 0 222046 59 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111590885472 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27507] ppid=27448 vsize=11065092 CPUtime=20.47 cores=4-7,12-15
/proc/27451/task/27507/stat : 27507 (java) R 27448 27451 21492 0 -1 4202560 29583 12833 0 0 1831 207 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111512722312 140111572406608 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27508] ppid=27448 vsize=11065092 CPUtime=20.67 cores=4-7,12-15
/proc/27451/task/27508/stat : 27508 (java) S 27448 27451 21492 0 -1 1077944384 28439 12833 0 0 1840 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111511669648 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27509] ppid=27448 vsize=11065092 CPUtime=20.48 cores=4-7,12-15
/proc/27451/task/27509/stat : 27509 (java) S 27448 27451 21492 0 -1 1077944384 33162 12833 0 0 1827 212 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111510617120 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27510] ppid=27448 vsize=11065092 CPUtime=20.53 cores=4-7,12-15
/proc/27451/task/27510/stat : 27510 (java) S 27448 27451 21492 0 -1 1077944384 32006 12833 0 0 1826 218 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111509564560 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27511] ppid=27448 vsize=11065092 CPUtime=20.59 cores=4-7,12-15
/proc/27451/task/27511/stat : 27511 (java) S 27448 27451 21492 0 -1 1077944384 29628 12833 0 0 1840 210 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111508510992 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27512] ppid=27448 vsize=11065092 CPUtime=20.34 cores=4-7,12-15
/proc/27451/task/27512/stat : 27512 (java) S 27448 27451 21492 0 -1 1077944384 33806 12833 0 0 1805 220 6 3 20 0 22 0 12679015 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111507458448 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27513] ppid=27448 vsize=11065092 CPUtime=20.61 cores=4-7,12-15
/proc/27451/task/27513/stat : 27513 (java) S 27448 27451 21492 0 -1 1077944384 32114 12833 0 0 1847 205 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111506405904 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27514] ppid=27448 vsize=11065092 CPUtime=20.61 cores=4-7,12-15
/proc/27451/task/27514/stat : 27514 (java) S 27448 27451 21492 0 -1 1077944384 45335 12833 0 0 1840 212 6 3 20 0 22 0 12679016 11330654208 968588 33554432000 4194304 4196468 140735162867648 140111505353360 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27515] ppid=27448 vsize=11065092 CPUtime=2.28 cores=4-7,12-15
/proc/27451/task/27515/stat : 27515 (java) S 27448 27451 21492 0 -1 1077944384 49114 12833 0 0 206 13 6 3 20 0 22 0 12679017 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110926988432 140111586658005 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27516] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27516/stat : 27516 (java) S 27448 27451 21492 0 -1 1077944384 80 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110925936240 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27517] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27517/stat : 27517 (java) S 27448 27451 21492 0 -1 1077944384 65 12833 0 0 0 0 6 3 20 0 22 0 12679018 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110924883456 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27518] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27518/stat : 27518 (java) S 27448 27451 21492 0 -1 1077944384 227 12833 0 0 0 0 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110923832016 140111586666395 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27519] ppid=27448 vsize=11065092 CPUtime=5.4 cores=4-7,12-15
/proc/27451/task/27519/stat : 27519 (java) S 27448 27451 21492 0 -1 1077944384 16137 12833 0 0 529 2 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110922778608 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27520] ppid=27448 vsize=11065092 CPUtime=5.56 cores=4-7,12-15
/proc/27451/task/27520/stat : 27520 (java) S 27448 27451 21492 0 -1 1077944384 17167 12833 0 0 543 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110921726064 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27521] ppid=27448 vsize=11065092 CPUtime=5.37 cores=4-7,12-15
/proc/27451/task/27521/stat : 27521 (java) S 27448 27451 21492 0 -1 1077944384 13143 12833 0 0 524 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110920673520 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27522] ppid=27448 vsize=11065092 CPUtime=2.14 cores=4-7,12-15
/proc/27451/task/27522/stat : 27522 (java) S 27448 27451 21492 0 -1 1077944384 18395 12833 0 0 201 4 6 3 20 0 22 0 12679022 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110919620976 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27523] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27523/stat : 27523 (java) S 27448 27451 21492 0 -1 1077944384 3 12833 0 0 0 0 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110918568672 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27524] ppid=27448 vsize=11065092 CPUtime=1.32 cores=4-7,12-15
/proc/27451/task/27524/stat : 27524 (java) S 27448 27451 21492 0 -1 1077944384 1777 12833 0 0 56 67 6 3 20 0 22 0 12679023 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110917516208 140111586658946 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27747] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27747/stat : 27747 (java) S 27448 27451 21492 0 -1 1077944384 329 12833 0 0 0 0 6 3 20 0 22 0 12903535 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110894310128 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
[pid=27451/tid=27748] ppid=27448 vsize=11065092 CPUtime=0.09 cores=4-7,12-15
/proc/27451/task/27748/stat : 27748 (java) S 27448 27451 21492 0 -1 1077944384 33 12833 0 0 0 0 6 3 20 0 22 0 12903535 11330654208 968588 33554432000 4194304 4196468 140735162867648 140110683170368 140111586658005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38371328 140735162874561 140735162877335 140735162877335 140735162879951 0
Current children cumulated CPU time (s) 2406.4
Current children cumulated vsize (KiB) 11065092
Child status: 143
Real time (s): 2246.25
CPU time (s): 2406.46
CPU user time (s): 2388.05
CPU system time (s): 18.4053
CPU usage (%): 107.132
Max. virtual memory (cumulated for all children) (KiB): 11065092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.05
system time used= 18.4053
maximum resident set size= 5547952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89389
involuntary context switches= 130116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7482 second user time and 19.8755 second system time
The end