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-4247228-1500728229/watcher-4247228-1500728229 -o /tmp/evaluation-result-4247228-1500728229/solver-4247228-1500728229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500716625-14915 --watchdog 2560 bin/concrete HOME/instance-4247228-1500728229.xml
pid=17303
running on 8 cores: 1,3,5,7,9,11,13,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.65 1.51 1.45 2/262 17306
/proc/meminfo: memFree=31066404/32770624 swapFree=5780/161204
[pid=17306] ppid=17303 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (bash) S 17303 17306 14883 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 8090246 9736192 351 33554432000 4194304 5098028 140721931806576 140721931804216 139823606430720 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 18018304 140721931810062 140721931810147 140721931810147 140721931812846 0
/proc/17306/statm: 2377 351 278 221 0 86 0
[startup+0.100161 s]
/proc/loadavg: 1.65 1.51 1.45 2/262 17306
/proc/meminfo: memFree=31066404/32770624 swapFree=5780/161204
[pid=17306] ppid=17303 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (bash) S 17303 17306 14883 0 -1 4202496 885 6413 0 0 0 0 0 1 20 0 1 0 8090246 9871360 378 33554432000 4194304 5098028 140721931806576 140721931800584 139823606430720 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 18018304 140721931810062 140721931810147 140721931810147 140721931812846 0
/proc/17306/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200367 s]
/proc/loadavg: 1.65 1.51 1.45 2/262 17306
/proc/meminfo: memFree=31066404/32770624 swapFree=5780/161204
[pid=17306] ppid=17303 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 4889 12536 0 0 6 1 8 3 20 0 13 0 8090246 10686320640 5246 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2608965 5246 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300301 s]
/proc/loadavg: 1.65 1.51 1.45 2/262 17306
/proc/meminfo: memFree=31066404/32770624 swapFree=5780/161204
[pid=17306] ppid=17303 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 7275 12536 0 0 22 3 8 3 20 0 20 0 8090246 11164049408 8968 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2725598 9034 2985 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700215 s]
/proc/loadavg: 1.65 1.51 1.45 2/262 17306
/proc/meminfo: memFree=31066404/32770624 swapFree=5780/161204
[pid=17306] ppid=17303 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 12840 12536 0 0 80 5 8 3 20 0 20 0 8090246 11164385280 16175 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2725680 16175 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720
[startup+1.50076 s]
/proc/loadavg: 1.65 1.51 1.45 3/282 17379
/proc/meminfo: memFree=30890272/32770624 swapFree=5780/161228
[pid=17306] ppid=17303 vsize=10915392 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 25511 12536 0 0 206 14 8 3 20 0 20 0 8090246 11177361408 44675 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2728848 44675 3409 1 0 2716962 0
[pid=17306/tid=17361] ppid=17303 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) R 17303 17306 14883 0 -1 4202560 17932 12536 0 0 126 6 8 3 20 0 20 0 8090258 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549434383504 140549063519364 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 125 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) S 17303 17306 14883 0 -1 1077944384 22 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 17 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 14 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 21 12536 0 0 0 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) S 17303 17306 14883 0 -1 1077944384 36 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 21 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 14 12536 0 0 1 0 8 3 20 0 20 0 8090259 11177361408 44675 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) S 17303 17306 14883 0 -1 1077944384 624 12536 0 0 1 0 8 3 20 0 20 0 8090261 11177361408 44675 33554432000 4194304 4196468 140720604915120 140548246563440 140549430168194 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 55 12536 0 0 0 0 8 3 20 0 20 0 8090262 11177361408 44675 33554432000 4194304 4196468 140720604915120 140548245509472 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 20 0 8090262 11177361408 44675 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 1 12536 0 0 0 0 8 3 20 0 20 0 8090266 11177361408 44675 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 761 12536 0 0 12 0 8 3 20 0 20 0 8090266 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 583 12536 0 0 13 0 8 3 20 0 20 0 8090266 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=10915392 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 1426 12536 0 0 13 0 8 3 20 0 20 0 8090266 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) R 17303 17306 14883 0 -1 4202560 1677 12536 0 0 28 0 8 3 20 0 20 0 8090266 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547902650608 140549430168982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17378/stat : 17378 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 20 0 8090267 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547901598560 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17379] ppid=17303 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 20 0 8090267 11177361408 44675 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392
[startup+3.10113 s]
/proc/loadavg: 1.65 1.51 1.45 6/282 17379
/proc/meminfo: memFree=30800688/32770624 swapFree=5780/161228
[pid=17306] ppid=17303 vsize=10927868 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 42625 12536 0 0 582 20 8 3 20 0 20 0 8090246 11190136832 58712 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2731967 58712 3472 1 0 2719522 0
[pid=17306/tid=17361] ppid=17303 vsize=10927868 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) R 17303 17306 14883 0 -1 4202560 29134 12536 0 0 282 9 8 3 20 0 20 0 8090258 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549434392704 140549414237534 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 125 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) S 17303 17306 14883 0 -1 1077944384 22 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 17 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 14 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 21 12536 0 0 0 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) S 17303 17306 14883 0 -1 1077944384 36 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 21 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 14 12536 0 0 1 0 8 3 20 0 20 0 8090259 11190136832 58712 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) S 17303 17306 14883 0 -1 1077944384 930 12536 0 0 1 0 8 3 20 0 20 0 8090261 11190136832 58712 33554432000 4194304 4196468 140720604915120 140548246563440 140549430168194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 55 12536 0 0 0 0 8 3 20 0 20 0 8090262 11190136832 58712 33554432000 4194304 4196468 140720604915120 140548245509472 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 20 0 8090262 11190136832 58712 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 1 12536 0 0 0 0 8 3 20 0 20 0 8090266 11190136832 58712 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=10927868 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 1455 12536 0 0 51 1 8 3 20 0 20 0 8090266 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=10927868 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 1314 12536 0 0 48 1 8 3 20 0 20 0 8090266 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=10927868 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 3584 12536 0 0 82 1 8 3 20 0 20 0 8090266 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=10927868 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) S 17303 17306 14883 0 -1 1077944384 3701 12536 0 0 104 1 8 3 20 0 20 0 8090266 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547902650608 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17378/stat : 17378 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 20 0 8090267 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547901598560 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17379] ppid=17303 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 4 12536 0 0 0 0 8 3 20 0 20 0 8090267 11190136832 58712 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 10927868
[startup+6.30083 s]
/proc/loadavg: 1.76 1.53 1.46 4/282 17379
/proc/meminfo: memFree=30539140/32770624 swapFree=5780/161240
[pid=17306] ppid=17303 vsize=10995452 CPUtime=13.42 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 69388 12536 0 0 1302 29 8 3 20 0 20 0 8090246 11259342848 108537 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2748863 108537 3496 1 0 2736418 0
[pid=17306/tid=17361] ppid=17303 vsize=10995452 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) R 17303 17306 14883 0 -1 4202560 45067 12536 0 0 591 12 8 3 20 0 20 0 8090258 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549434392648 140549063779504 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 916 12536 0 0 4 0 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) S 17303 17306 14883 0 -1 1077944384 49 12536 0 0 4 1 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 110 12536 0 0 4 0 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 27 12536 0 0 4 1 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 55 12536 0 0 4 1 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=10995452 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) S 17303 17306 14883 0 -1 1077944384 154 12536 0 0 3 0 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 66 12536 0 0 5 1 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 193 12536 0 0 5 1 8 3 20 0 20 0 8090259 11259342848 108537 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) S 17303 17306 14883 0 -1 1077944384 1843 12536 0 0 4 0 8 3 20 0 20 0 8090261 11259342848 108537 33554432000 4194304 4196468 140720604915120 140548246563440 140549430168194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 56 12536 0 0 0 0 8 3 20 0 20 0 8090262 11259342848 108537 33554432000 4194304 4196468 140720604915120 140548245509536 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 20 0 8090262 11259342848 108537 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 1 12536 0 0 0 0 8 3 20 0 20 0 8090266 11259342848 108537 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=10995452 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 7468 12536 0 0 176 1 8 3 20 0 20 0 8090266 11259342848 108537 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=10995452 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 1964 12536 0 0 151 1 8 3 20 0 20 0 8090266 11259342848 108537 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=10995452 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 4787 12536 0 0 213 1 8 3 20 0 20 0 8090266 11259342848 108537 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=10995452 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) S 17303 17306 14883 0 -1 1077944384 4378 12536 0 0 127 1 8 3 20 0 20 0 8090266 11259342848 108537 33554432000 4194304 4196468 140720604915120 140547902650608 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=17306/tid=17379] ppid=17303 vsize=10995452 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 1056 12536 0 0 61 63 8 3 20 0 20 0 8090267 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 2383.5
Current children cumulated vsize (KiB) 10995452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2338.5 s]
/proc/loadavg: 1.50 1.57 1.50 3/281 17610
/proc/meminfo: memFree=29541360/32770624 swapFree=5780/163868
[pid=17306] ppid=17303 vsize=10995452 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 176722 12536 0 0 239585 409 8 3 20 0 20 0 8090246 11259342848 272819 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2748863 272819 3503 1 0 2736418 0
[pid=17306/tid=17361] ppid=17303 vsize=10995452 CPUtime=2318.17 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) R 17303 17306 14883 0 -1 4202560 81286 12536 0 0 231769 37 8 3 20 0 20 0 8090258 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549434391024 140549075464499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=10995452 CPUtime=8.38 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 8069 12536 0 0 786 41 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=10995452 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) S 17303 17306 14883 0 -1 1077944384 4875 12536 0 0 786 39 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=10995452 CPUtime=8.3 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 8849 12536 0 0 782 37 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=10995452 CPUtime=8.39 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 4068 12536 0 0 788 40 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=10995452 CPUtime=8.47 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 1769 12536 0 0 798 38 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=10995452 CPUtime=8.27 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) S 17303 17306 14883 0 -1 1077944384 8332 12536 0 0 779 37 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=10995452 CPUtime=8.32 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 6189 12536 0 0 782 39 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=10995452 CPUtime=8.4 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 9792 12536 0 0 792 37 8 3 20 0 20 0 8090259 11259342848 272819 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=10995452 CPUtime=7.75 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) S 17303 17306 14883 0 -1 1077944384 14173 12536 0 0 732 32 8 3 20 0 20 0 8090261 11259342848 272819 33554432000 4194304 4196468 140720604915120 140548246563440 140549430168194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 56 12536 0 0 0 0 8 3 20 0 20 0 8090262 11259342848 272819 33554432000 4194304 4196468 140720604915120 140548245509536 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 20 0 8090262 11259342848 272819 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 1 12536 0 0 0 0 8 3 20 0 20 0 8090266 11259342848 272819 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=10995452 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 7586 12536 0 0 177 2 8 3 20 0 20 0 8090266 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=10995452 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 2319 12536 0 0 152 2 8 3 20 0 20 0 8090266 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=10995452 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 5032 12536 0 0 214 2 8 3 20 0 20 0 8090266 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=10995452 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) S 17303 17306 14883 0 -1 1077944384 11091 12536 0 0 130 2 8 3 20 0 20 0 8090266 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547902650608 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17378/stat : 17378 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 20 0 8090267 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547901598560 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17379] ppid=17303 vsize=10995452 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 1056 12536 0 0 61 63 8 3 20 0 20 0 8090267 11259342848 272819 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10995452
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 17306 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2338.61 s]
/proc/loadavg: 1.50 1.57 1.50 10/283 17612
/proc/meminfo: memFree=29534696/32770624 swapFree=5780/163868
[pid=17306] ppid=17303 vsize=11128580 CPUtime=2400.66 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 182919 12536 0 0 239644 411 8 3 20 0 22 0 8090246 11395665920 274484 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2782145 274484 3503 1 0 2769700 0
[pid=17306/tid=17361] ppid=17303 vsize=11128580 CPUtime=2318.18 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) S 17303 17306 14883 0 -1 1077944384 81699 12536 0 0 231770 37 8 3 20 0 22 0 8090258 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549434394592 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=11128580 CPUtime=8.45 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 8073 12536 0 0 793 41 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=11128580 CPUtime=8.43 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) R 17303 17306 14883 0 -1 1077944384 4877 12536 0 0 793 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=11128580 CPUtime=8.38 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 8855 12536 0 0 789 38 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=11128580 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 4070 12536 0 0 795 40 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=11128580 CPUtime=8.55 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 1772 12536 0 0 805 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=11128580 CPUtime=8.33 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) R 17303 17306 14883 0 -1 1077944384 8333 12536 0 0 785 37 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=11128580 CPUtime=8.39 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 6195 12536 0 0 789 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=11128580 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 9800 12536 0 0 798 37 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=11128580 CPUtime=7.79 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) R 17303 17306 14883 0 -1 4202560 19694 12536 0 0 735 33 8 3 20 0 22 0 8090261 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548246562032 140549430178394 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 57 12536 0 0 0 0 8 3 20 0 22 0 8090262 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548245509440 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 22 0 8090262 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 100 12536 0 0 0 0 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=11128580 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 7586 12536 0 0 177 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=11128580 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 2319 12536 0 0 152 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=11128580 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 5032 12536 0 0 214 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=11128580 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) S 17303 17306 14883 0 -1 1077944384 11108 12536 0 0 130 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547902643920 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17378/stat : 17378 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 22 0 8090267 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547901598560 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17379] ppid=17303 vsize=11128580 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 1056 12536 0 0 61 63 8 3 20 0 22 0 8090267 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17611] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17611/stat : 17611 (java) S 17303 17306 14883 0 -1 1077944384 87 12536 0 0 0 0 8 3 20 0 22 0 8324096 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547872134000 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17612] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17612/stat : 17612 (java) S 17303 17306 14883 0 -1 1077944384 25 12536 0 0 0 0 8 3 20 0 22 0 8324096 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547871082224 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 2400.66
Current children cumulated vsize (KiB) 11128580
[startup+2338.71 s]
/proc/loadavg: 1.50 1.57 1.50 10/283 17612
/proc/meminfo: memFree=29534696/32770624 swapFree=5780/163868
[pid=17306] ppid=17303 vsize=11128580 CPUtime=2400.98 cores=1,3,5,7,9,11,13,15
/proc/17306/stat : 17306 (java) S 17303 17306 14883 0 -1 1077944320 182928 12536 0 0 239676 411 8 3 20 0 22 0 8090246 11395665920 274484 33554432000 4194304 4196468 140720604915120 140720604897664 140549430157047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
/proc/17306/statm: 2782145 274484 3503 1 0 2769700 0
[pid=17306/tid=17361] ppid=17303 vsize=11128580 CPUtime=2318.18 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17361/stat : 17361 (java) S 17303 17306 14883 0 -1 1077944384 81699 12536 0 0 231770 37 8 3 20 0 22 0 8090258 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549434394592 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17362] ppid=17303 vsize=11128580 CPUtime=8.48 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17362/stat : 17362 (java) S 17303 17306 14883 0 -1 1077944384 8073 12536 0 0 796 41 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549036891024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17363] ppid=17303 vsize=11128580 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17363/stat : 17363 (java) S 17303 17306 14883 0 -1 1077944384 4877 12536 0 0 796 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549035838224 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17364] ppid=17303 vsize=11128580 CPUtime=8.41 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17364/stat : 17364 (java) S 17303 17306 14883 0 -1 1077944384 8855 12536 0 0 792 38 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549034785936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17365] ppid=17303 vsize=11128580 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17365/stat : 17365 (java) S 17303 17306 14883 0 -1 1077944384 4071 12536 0 0 799 40 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549033733136 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17366] ppid=17303 vsize=11128580 CPUtime=8.58 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17366/stat : 17366 (java) S 17303 17306 14883 0 -1 1077944384 1772 12536 0 0 808 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549032679824 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17367] ppid=17303 vsize=11128580 CPUtime=8.37 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17367/stat : 17367 (java) S 17303 17306 14883 0 -1 1077944384 8333 12536 0 0 789 37 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549031627024 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17368] ppid=17303 vsize=11128580 CPUtime=8.42 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17368/stat : 17368 (java) S 17303 17306 14883 0 -1 1077944384 6195 12536 0 0 792 39 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549030574736 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17369] ppid=17303 vsize=11128580 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17369/stat : 17369 (java) S 17303 17306 14883 0 -1 1077944384 9800 12536 0 0 802 37 8 3 20 0 22 0 8090259 11395665920 274484 33554432000 4194304 4196468 140720604915120 140549029521936 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17370] ppid=17303 vsize=11128580 CPUtime=7.84 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17370/stat : 17370 (java) R 17303 17306 14883 0 -1 4202560 19698 12536 0 0 740 33 8 3 20 0 22 0 8090261 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548246561840 140549415848747 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17371] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17371/stat : 17371 (java) S 17303 17306 14883 0 -1 1077944384 58 12536 0 0 0 0 8 3 20 0 22 0 8090262 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548245509040 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17372] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17372/stat : 17372 (java) S 17303 17306 14883 0 -1 1077944384 44 12536 0 0 0 0 8 3 20 0 22 0 8090262 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548244457088 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17373] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17373/stat : 17373 (java) S 17303 17306 14883 0 -1 1077944384 100 12536 0 0 0 0 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140548243405392 140549430175643 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17374] ppid=17303 vsize=11128580 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17374/stat : 17374 (java) S 17303 17306 14883 0 -1 1077944384 7586 12536 0 0 177 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547905808496 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17375] ppid=17303 vsize=11128580 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17375/stat : 17375 (java) S 17303 17306 14883 0 -1 1077944384 2319 12536 0 0 152 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547904755696 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17376] ppid=17303 vsize=11128580 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17376/stat : 17376 (java) S 17303 17306 14883 0 -1 1077944384 5032 12536 0 0 214 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547903703408 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17377] ppid=17303 vsize=11128580 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17377/stat : 17377 (java) S 17303 17306 14883 0 -1 1077944384 11110 12536 0 0 130 2 8 3 20 0 22 0 8090266 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547902647040 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17378] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17378/stat : 17378 (java) S 17303 17306 14883 0 -1 1077944384 3 12536 0 0 0 0 8 3 20 0 22 0 8090267 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547901598560 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17379] ppid=17303 vsize=11128580 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17379/stat : 17379 (java) S 17303 17306 14883 0 -1 1077944384 1056 12536 0 0 61 63 8 3 20 0 22 0 8090267 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547900545840 140549430168194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17611] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17611/stat : 17611 (java) S 17303 17306 14883 0 -1 1077944384 87 12536 0 0 0 0 8 3 20 0 22 0 8324096 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547872134000 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
[pid=17306/tid=17612] ppid=17303 vsize=11128580 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/17306/task/17612/stat : 17612 (java) S 17303 17306 14883 0 -1 1077944384 26 12536 0 0 0 0 8 3 20 0 22 0 8324096 11395665920 274484 33554432000 4194304 4196468 140720604915120 140547871081920 140549430167253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31502336 140720604916417 140720604919191 140720604919191 140720604921807 0
Current children cumulated CPU time (s) 2400.98
Current children cumulated vsize (KiB) 11128580
Child status: 143
Real time (s): 2338.75
CPU time (s): 2401.08
CPU user time (s): 2396.92
CPU system time (s): 4.15818
CPU usage (%): 102.665
Max. virtual memory (cumulated for all children) (KiB): 11128580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.92
system time used= 4.15818
maximum resident set size= 1098644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305513
involuntary context switches= 181910
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9295 second user time and 18.8598 second system time
The end