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-4244926-1500699281/watcher-4244926-1500699281 -o /tmp/evaluation-result-4244926-1500699281/solver-4244926-1500699281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4244926-1500699281.xml
pid=25552
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.91 1.91 2.85 5/265 25555
/proc/meminfo: memFree=28418780/32770624 swapFree=5884/318268
[pid=25555] ppid=25552 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (bash) S 25552 25555 16913 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 5195090 9736192 351 33554432000 4194304 5098028 140729852843968 140729852841608 140406647860224 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 32493568 140729852851470 140729852851555 140729852851555 140729852854254 0
/proc/25555/statm: 2377 351 278 221 0 86 0
[startup+0.100119 s]
/proc/loadavg: 1.91 1.91 2.85 5/265 25555
/proc/meminfo: memFree=28418780/32770624 swapFree=5884/318268
[pid=25555] ppid=25552 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (bash) S 25552 25555 16913 0 -1 4202496 886 6409 0 0 0 0 0 1 20 0 1 0 5195090 9871360 378 33554432000 4194304 5098028 140729852843968 140729852837976 140406647860224 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 32493568 140729852851470 140729852851555 140729852851555 140729852854254 0
/proc/25555/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200269 s]
/proc/loadavg: 1.91 1.91 2.85 5/265 25555
/proc/meminfo: memFree=28418780/32770624 swapFree=5884/318268
[pid=25555] ppid=25552 vsize=10901808 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 5462 12594 0 0 8 1 7 3 20 0 20 0 5195090 11163451392 5724 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2725452 5724 2586 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808
[startup+0.300302 s]
/proc/loadavg: 1.91 1.91 2.85 5/265 25555
/proc/meminfo: memFree=28418780/32770624 swapFree=5884/318268
[pid=25555] ppid=25552 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 9356 12594 0 0 23 3 7 3 20 0 20 0 5195090 11164049408 10360 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2725598 10360 2975 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700219 s]
/proc/loadavg: 1.91 1.91 2.85 5/265 25555
/proc/meminfo: memFree=28418780/32770624 swapFree=5884/318268
[pid=25555] ppid=25552 vsize=10902720 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 12895 12594 0 0 83 4 7 3 20 0 20 0 5195090 11164385280 16182 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2725680 16182 3230 1 0 2713890 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10902720
[startup+1.50073 s]
/proc/loadavg: 1.91 1.91 2.85 3/285 25628
/proc/meminfo: memFree=28310768/32770624 swapFree=5884/318432
[pid=25555] ppid=25552 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 26179 12594 0 0 206 14 7 3 20 0 20 0 5195090 11175264256 44214 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2728336 44214 3408 1 0 2716450 0
[pid=25555/tid=25610] ppid=25552 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 19500 12594 0 0 127 5 7 3 20 0 20 0 5195101 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052271430248 140052267212182 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 18 12594 0 0 0 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 49 12594 0 0 1 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 32 12594 0 0 0 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 141 12594 0 0 0 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 17 12594 0 0 0 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 15 12594 0 0 1 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 35 12594 0 0 1 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 16 12594 0 0 1 0 7 3 20 0 20 0 5195102 11175264256 44214 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 920 12594 0 0 1 0 7 3 20 0 20 0 5195104 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 55 12594 0 0 0 0 7 3 20 0 20 0 5195105 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051740501472 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) S 25552 25555 16913 0 -1 1077944384 970 12594 0 0 14 0 7 3 20 0 20 0 5195109 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051737343984 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 737 12594 0 0 11 0 7 3 20 0 20 0 5195109 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 434 12594 0 0 14 0 7 3 20 0 20 0 5195109 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 1055 12594 0 0 26 0 7 3 20 0 20 0 5195109 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 4 12594 0 0 0 0 7 3 20 0 20 0 5195110 11175264256 44214 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344
[startup+3.10104 s]
/proc/loadavg: 1.91 1.91 2.85 7/285 25628
/proc/meminfo: memFree=28239928/32770624 swapFree=5884/318432
[pid=25555] ppid=25552 vsize=10927868 CPUtime=6.04 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 47449 12594 0 0 574 20 7 3 20 0 20 0 5195090 11190136832 56843 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2731967 56843 3472 1 0 2719522 0
[pid=25555/tid=25610] ppid=25552 vsize=10927868 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 34524 12594 0 0 283 8 7 3 20 0 20 0 5195101 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052271430136 140051859997150 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 18 12594 0 0 0 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 49 12594 0 0 1 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 32 12594 0 0 0 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 141 12594 0 0 0 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 17 12594 0 0 0 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 15 12594 0 0 1 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 35 12594 0 0 1 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 16 12594 0 0 1 0 7 3 20 0 20 0 5195102 11190136832 56843 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 935 12594 0 0 1 0 7 3 20 0 20 0 5195104 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 55 12594 0 0 0 0 7 3 20 0 20 0 5195105 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051740501472 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10927868 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) R 25552 25555 16913 0 -1 4202560 1676 12594 0 0 54 1 7 3 20 0 20 0 5195109 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051737344280 140052251597064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10927868 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) R 25552 25555 16913 0 -1 4202560 4087 12594 0 0 79 1 7 3 20 0 20 0 5195109 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051736291736 140052250686735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10927868 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) R 25552 25555 16913 0 -1 4202560 689 12594 0 0 44 1 7 3 20 0 20 0 5195109 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051735224096 140052248734753 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10927868 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 2974 12594 0 0 100 1 7 3 20 0 20 0 5195109 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 5 12594 0 0 0 0 7 3 20 0 20 0 5195110 11190136832 56843 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 10927868
[startup+6.30084 s]
/proc/loadavg: 2.16 1.96 2.86 8/285 25775
/proc/meminfo: memFree=31171620/32770624 swapFree=5884/318484
[pid=25555] ppid=25552 vsize=10997500 CPUtime=16.41 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 70060 12594 0 0 1595 36 7 3 20 0 20 0 5195090 11261440000 108615 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2749375 108615 3498 1 0 2736930 0
[pid=25555/tid=25610] ppid=25552 vsize=10997500 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 43669 12594 0 0 571 12 7 3 20 0 20 0 5195101 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052271434120 140051868417110 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 948 12594 0 0 15 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10997500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 101 12594 0 0 13 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10997500 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 82 12594 0 0 10 2 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 246 12594 0 0 15 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10997500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 59 12594 0 0 9 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 46 12594 0 0 15 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10997500 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 65 12594 0 0 15 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 59 12594 0 0 16 1 7 3 20 0 20 0 5195102 11261440000 108615 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10997500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 2077 12594 0 0 13 0 7 3 20 0 20 0 5195104 11261440000 108615 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 55 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051740501536 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10997500 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) S 25552 25555 16913 0 -1 1077944384 4240 12594 0 0 212 3 7 3 20 0 20 0 5195109 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051737343984 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10997500 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 7625 12594 0 0 291 2 7 3 20 0 20 0 5195109 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10997500 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 4292 12594 0 0 213 1 7 3 20 0 20 0 5195109 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10997500 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 4308 12594 0 0 178 3 7 3 20 0 20 0 5195109 11261440000 109127 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 22375 12594 0 0 641 6 7 3 20 0 20 0 5195109 11261440000 258389 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 20830 12594 0 0 556 5 7 3 20 0 20 0 5195109 11261440000 258389 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 33757 12594 0 0 343 8 7 3 20 0 20 0 5195109 11261440000 258389 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11261440000 258389 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10997500 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 1403 12594 0 0 54 62 7 3 20 0 20 0 5195110 11261440000 258389 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 2279.41
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.44 1.43 1.55 3/284 25872
/proc/meminfo: memFree=29866320/32770624 swapFree=5884/320752
[pid=25555] ppid=25552 vsize=10997500 CPUtime=2340.98 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 250134 12594 0 0 233618 470 7 3 20 0 20 0 5195090 11261440000 258901 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2749375 258901 3516 1 0 2736930 0
[pid=25555/tid=25610] ppid=25552 vsize=10997500 CPUtime=2242.29 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 89601 12594 0 0 224173 46 7 3 20 0 20 0 5195101 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052271434352 140051870294894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10997500 CPUtime=8.79 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 5292 12594 0 0 827 42 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10997500 CPUtime=8.93 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 5561 12594 0 0 842 41 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10997500 CPUtime=8.84 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 6020 12594 0 0 831 43 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10997500 CPUtime=8.71 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 4051 12594 0 0 821 40 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10997500 CPUtime=8.64 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 6107 12594 0 0 812 42 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10997500 CPUtime=8.61 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 7338 12594 0 0 811 40 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10997500 CPUtime=8.74 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 5571 12594 0 0 821 43 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10997500 CPUtime=8.85 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 6416 12594 0 0 834 41 7 3 20 0 20 0 5195102 11261440000 258901 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10997500 CPUtime=6.83 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 12336 12594 0 0 634 39 7 3 20 0 20 0 5195104 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 63 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051740501536 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10997500 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) S 25552 25555 16913 0 -1 1077944384 21210 12594 0 0 564 6 7 3 20 0 20 0 5195109 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051737343984 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10997500 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 22377 12594 0 0 641 6 7 3 20 0 20 0 5195109 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 20832 12594 0 0 556 5 7 3 20 0 20 0 5195109 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 33759 12594 0 0 343 8 7 3 20 0 20 0 5195109 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10997500 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 1419 12594 0 0 55 64 7 3 20 0 20 0 5195110 11261440000 258901 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 2340.98
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2319.9 s]
/proc/loadavg: 1.39 1.42 1.54 3/284 25873
/proc/meminfo: memFree=29871608/32770624 swapFree=5884/320792
[pid=25555] ppid=25552 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 251848 12594 0 0 239511 481 7 3 20 0 20 0 5195090 11261440000 257618 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2749375 257618 3516 1 0 2736930 0
[pid=25555/tid=25610] ppid=25552 vsize=10997500 CPUtime=2299.4 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 90425 12594 0 0 229883 47 7 3 20 0 20 0 5195101 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052271434256 140051866070848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10997500 CPUtime=9.02 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 5331 12594 0 0 848 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10997500 CPUtime=9.15 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 5623 12594 0 0 863 42 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10997500 CPUtime=9.04 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 6124 12594 0 0 850 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10997500 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 4321 12594 0 0 841 41 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10997500 CPUtime=8.87 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 6190 12594 0 0 834 43 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10997500 CPUtime=8.83 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 7382 12594 0 0 832 41 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10997500 CPUtime=8.95 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 5609 12594 0 0 841 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10997500 CPUtime=9.05 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 6443 12594 0 0 853 42 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 12535 12594 0 0 650 41 7 3 20 0 20 0 5195104 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 63 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051740501536 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10997500 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) S 25552 25555 16913 0 -1 1077944384 21212 12594 0 0 564 6 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051737343984 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10997500 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 22379 12594 0 0 641 6 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 20834 12594 0 0 556 5 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 33761 12594 0 0 343 8 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10997500 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 1435 12594 0 0 56 66 7 3 20 0 20 0 5195110 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
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 25555 sig 9
??? kill -25555 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2319.9 s]
/proc/loadavg: 1.39 1.42 1.54 3/284 25873
/proc/meminfo: memFree=29871608/32770624 swapFree=5884/320792
[pid=25555] ppid=25552 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/25555/stat : 25555 (java) S 25552 25555 16913 0 -1 1077944320 251848 12594 0 0 239511 481 7 3 20 0 20 0 5195090 11261440000 257618 33554432000 4194304 4196468 140727085912992 140727085895536 140052267200247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
/proc/25555/statm: 2749375 257618 3516 1 0 2736930 0
[pid=25555/tid=25610] ppid=25552 vsize=10997500 CPUtime=2299.4 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25610/stat : 25610 (java) R 25552 25555 16913 0 -1 4202560 90425 12594 0 0 229883 47 7 3 20 0 20 0 5195101 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052271434256 140051866070848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25611] ppid=25552 vsize=10997500 CPUtime=9.02 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25611/stat : 25611 (java) S 25552 25555 16913 0 -1 1077944384 5331 12594 0 0 848 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052193274640 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25612] ppid=25552 vsize=10997500 CPUtime=9.15 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25612/stat : 25612 (java) S 25552 25555 16913 0 -1 1077944384 5623 12594 0 0 863 42 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052192222096 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25613] ppid=25552 vsize=10997500 CPUtime=9.04 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25613/stat : 25613 (java) S 25552 25555 16913 0 -1 1077944384 6124 12594 0 0 850 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052191169552 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25614] ppid=25552 vsize=10997500 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25614/stat : 25614 (java) S 25552 25555 16913 0 -1 1077944384 4321 12594 0 0 841 41 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052190117008 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25615] ppid=25552 vsize=10997500 CPUtime=8.87 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25615/stat : 25615 (java) S 25552 25555 16913 0 -1 1077944384 6190 12594 0 0 834 43 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052189063440 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25616] ppid=25552 vsize=10997500 CPUtime=8.83 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25616/stat : 25616 (java) S 25552 25555 16913 0 -1 1077944384 7382 12594 0 0 832 41 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052188010896 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25617] ppid=25552 vsize=10997500 CPUtime=8.95 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25617/stat : 25617 (java) S 25552 25555 16913 0 -1 1077944384 5609 12594 0 0 841 44 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052186958352 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25618] ppid=25552 vsize=10997500 CPUtime=9.05 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25618/stat : 25618 (java) S 25552 25555 16913 0 -1 1077944384 6443 12594 0 0 853 42 7 3 20 0 20 0 5195102 11261440000 257618 33554432000 4194304 4196468 140727085912992 140052185905808 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25619] ppid=25552 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25619/stat : 25619 (java) S 25552 25555 16913 0 -1 1077944384 12535 12594 0 0 650 41 7 3 20 0 20 0 5195104 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051741555184 140052267211394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25620] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25620/stat : 25620 (java) S 25552 25555 16913 0 -1 1077944384 63 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051740501536 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25621] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25621/stat : 25621 (java) S 25552 25555 16913 0 -1 1077944384 44 12594 0 0 0 0 7 3 20 0 20 0 5195105 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051739448832 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25622] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25622/stat : 25622 (java) S 25552 25555 16913 0 -1 1077944384 1 12594 0 0 0 0 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051738397392 140052267218843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25623] ppid=25552 vsize=10997500 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25623/stat : 25623 (java) S 25552 25555 16913 0 -1 1077944384 21212 12594 0 0 564 6 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051737343984 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25624] ppid=25552 vsize=10997500 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25624/stat : 25624 (java) S 25552 25555 16913 0 -1 1077944384 22379 12594 0 0 641 6 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051736291440 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25625] ppid=25552 vsize=10997500 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25625/stat : 25625 (java) S 25552 25555 16913 0 -1 1077944384 20834 12594 0 0 556 5 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051735238896 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25626] ppid=25552 vsize=10997500 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25626/stat : 25626 (java) S 25552 25555 16913 0 -1 1077944384 33761 12594 0 0 343 8 7 3 20 0 20 0 5195109 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051734186352 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25627] ppid=25552 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25627/stat : 25627 (java) S 25552 25555 16913 0 -1 1077944384 3 12594 0 0 0 0 7 3 20 0 20 0 5195110 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051733134048 140052267210453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
[pid=25555/tid=25628] ppid=25552 vsize=10997500 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/25555/task/25628/stat : 25628 (java) S 25552 25555 16913 0 -1 1077944384 1435 12594 0 0 56 66 7 3 20 0 20 0 5195110 11261440000 257618 33554432000 4194304 4196468 140727085912992 140051732081584 140052267211394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35176448 140727085914817 140727085917591 140727085917591 140727085920207 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2319.94
CPU time (s): 2400.06
CPU user time (s): 2395.2
CPU system time (s): 4.85751
CPU usage (%): 103.454
Max. virtual memory (cumulated for all children) (KiB): 10999616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.2
system time used= 4.85751
maximum resident set size= 1152688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309405
involuntary context switches= 186823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3911 second user time and 20.9487 second system time
The end