runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312323-1304110585/watcher-3312323-1304110585 -o /tmp/evaluation-result-3312323-1304110585/solver-3312323-1304110585 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312323-1304110585.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.03 5.63 5.96 2/198 22597
/proc/meminfo: memFree=15173628/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/22597/stat : 22597 (java) R 22595 22597 21847 0 -1 4202496 668 0 0 0 0 0 0 0 25 0 1 0 601289230 9318400 155 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224280002183 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/22597/statm: 2275 155 126 9 0 67 0
[startup+0.0937069 s]
/proc/loadavg: 5.03 5.63 5.96 2/198 22597
/proc/meminfo: memFree=15173628/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15676332 CPUtime=0.09 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 5408 0 1 0 9 0 0 0 25 0 18 0 601289230 16052563968 4846 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3919083 4847 2115 9 0 3909802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676332
[startup+0.100615 s]
/proc/loadavg: 5.03 5.63 5.96 2/198 22597
/proc/meminfo: memFree=15173628/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15676332 CPUtime=0.1 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 5500 0 1 0 10 0 0 0 25 0 18 0 601289230 16052563968 4938 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3919083 4939 2115 9 0 3909802 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676332
[startup+0.300633 s]
/proc/loadavg: 5.03 5.63 5.96 2/198 22597
/proc/meminfo: memFree=15173628/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15680760 CPUtime=0.51 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 14992 0 1 0 49 2 0 0 25 0 18 0 601289230 16057098240 13332 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3920190 13338 2207 9 0 3910909 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680760
[startup+0.700568 s]
/proc/loadavg: 5.03 5.63 5.96 2/198 22597
/proc/meminfo: memFree=15173628/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15680760 CPUtime=0.92 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 41711 0 1 0 87 5 0 0 25 0 18 0 601289230 16057098240 40049 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3920190 40049 2223 9 0 3910909 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680760
[startup+1.50142 s]
/proc/loadavg: 5.03 5.63 5.96 4/220 22619
/proc/meminfo: memFree=15019760/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15689328 CPUtime=2.24 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 48575 0 1 0 218 6 0 0 25 0 22 0 601289230 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3922332 43901 2265 9 0 3913051 0
[pid=22597/tid=22599] ppid=22595 vsize=15689328 CPUtime=1.48 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (java) R 22595 22597 21847 0 -1 4202560 35598 0 1 0 143 5 0 0 21 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46912505832856 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (java) S 22595 22597 21847 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22601] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22601/stat : 22601 (java) S 22595 22597 21847 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22602] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22602/stat : 22602 (java) S 22595 22597 21847 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22603] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22603/stat : 22603 (java) S 22595 22597 21847 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22604] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 365 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601289231 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) S 22595 22597 21847 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 601289232 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 601289233 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 601289233 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15689328 CPUtime=0.39 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5461 0 0 0 39 0 0 0 16 0 22 0 601289235 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22613] ppid=22595 vsize=15689328 CPUtime=0.33 cores=1,3,5,7
/proc/22597/task/22613/stat : 22613 (java) S 22595 22597 21847 0 -1 4202560 4571 0 0 0 33 0 0 0 17 0 22 0 601289235 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601289235 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22615] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22615/stat : 22615 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601289235 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22616] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22616/stat : 22616 (java) S 22595 22597 21847 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 601289314 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22617] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22617/stat : 22617 (java) S 22595 22597 21847 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601289314 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22618] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22618/stat : 22618 (java) S 22595 22597 21847 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601289314 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22619] ppid=22595 vsize=15689328 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22619/stat : 22619 (java) S 22595 22597 21847 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 601289314 16065871872 43901 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 15689328
[startup+3.10116 s]
/proc/loadavg: 4.78 5.56 5.94 4/220 22619
/proc/meminfo: memFree=15005128/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15690304 CPUtime=5.92 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 73480 0 1 0 582 10 0 0 25 0 22 0 601289230 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3922576 68751 2275 9 0 3913295 0
[pid=22597/tid=22599] ppid=22595 vsize=15690304 CPUtime=2.04 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (java) S 22595 22597 21847 0 -1 4202560 35650 0 1 0 199 5 0 0 22 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (java) S 22595 22597 21847 0 -1 4202560 2607 0 0 0 1 0 0 0 15 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22601] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22601/stat : 22601 (java) S 22595 22597 21847 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22602] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22602/stat : 22602 (java) S 22595 22597 21847 0 -1 4202560 2225 0 0 0 1 0 0 0 16 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22603] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22603/stat : 22603 (java) S 22595 22597 21847 0 -1 4202560 3407 0 0 0 1 0 0 0 15 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22604] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 3921 0 0 0 1 0 0 0 15 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 4888 0 0 0 1 0 0 0 16 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15690304 CPUtime=0.01 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 2796 0 0 0 1 0 0 0 16 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15690304 CPUtime=0.02 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 6019 0 0 0 2 0 0 0 16 0 22 0 601289231 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) S 22595 22597 21847 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 22 0 601289232 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601289233 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601289233 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15690304 CPUtime=0.8 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5511 0 0 0 80 0 0 0 15 0 22 0 601289235 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22613] ppid=22595 vsize=15690304 CPUtime=0.9 cores=1,3,5,7
/proc/22597/task/22613/stat : 22613 (java) S 22595 22597 21847 0 -1 4202560 4893 0 0 0 90 0 0 0 15 0 22 0 601289235 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601289235 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22615] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22615/stat : 22615 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601289235 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22616] ppid=22595 vsize=15690304 CPUtime=0.35 cores=1,3,5,7
/proc/22597/task/22616/stat : 22616 (java) S 22595 22597 21847 0 -1 4202560 15 0 0 0 35 0 0 0 15 0 22 0 601289314 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22617] ppid=22595 vsize=15690304 CPUtime=0.09 cores=1,3,5,7
/proc/22597/task/22617/stat : 22617 (java) R 22595 22597 21847 0 -1 4202560 7 0 0 0 9 0 0 0 15 0 22 0 601289314 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46912505654902 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22597/tid=22618] ppid=22595 vsize=15690304 CPUtime=0.75 cores=1,3,5,7
/proc/22597/task/22618/stat : 22618 (java) R 22595 22597 21847 0 -1 4202560 22 0 0 0 75 0 0 0 15 0 22 0 601289314 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46912506127272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22597/tid=22619] ppid=22595 vsize=15690304 CPUtime=0.74 cores=1,3,5,7
/proc/22597/task/22619/stat : 22619 (java) R 22595 22597 21847 0 -1 4202560 13 0 0 0 74 0 0 0 16 0 22 0 601289314 16066871296 68751 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46912506127096 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 15690304
[startup+6.30159 s]
/proc/loadavg: 4.78 5.56 5.94 6/220 22619
/proc/meminfo: memFree=14324328/32951124 swapFree=67104884/67111528
[pid=22597] ppid=22595 vsize=15690304 CPUtime=18.52 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 268938 0 1 0 1816 36 0 0 25 0 22 0 601289230 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3922576 263300 2275 9 0 3913295 0
[pid=22597/tid=22599] ppid=22595 vsize=15690304 CPUtime=2.04 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (java) S 22595 22597 21847 0 -1 4202560 35650 0 1 0 199 5 0 0 22 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=15690304 CPUtime=0.13 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (java) S 22595 22597 21847 0 -1 4202560 20182 0 0 0 12 1 0 0 16 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22601] ppid=22595 vsize=15690304 CPUtime=0.16 cores=1,3,5,7
/proc/22597/task/22601/stat : 22601 (java) S 22595 22597 21847 0 -1 4202560 27177 0 0 0 12 4 0 0 15 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22602] ppid=22595 vsize=15690304 CPUtime=0.08 cores=1,3,5,7
/proc/22597/task/22602/stat : 22602 (java) S 22595 22597 21847 0 -1 4202560 9801 0 0 0 7 1 0 0 16 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22603] ppid=22595 vsize=15690304 CPUtime=0.07 cores=1,3,5,7
/proc/22597/task/22603/stat : 22603 (java) S 22595 22597 21847 0 -1 4202560 11169 0 0 0 6 1 0 0 15 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22604] ppid=22595 vsize=15690304 CPUtime=0.19 cores=1,3,5,7
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 36480 0 0 0 14 5 0 0 16 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15690304 CPUtime=0.12 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 18288 0 0 0 9 3 0 0 15 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15690304 CPUtime=0.11 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 14347 0 0 0 10 1 0 0 15 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15690304 CPUtime=0.16 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 33680 0 0 0 12 4 0 0 15 0 22 0 601289231 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) S 22595 22597 21847 0 -1 4202560 468 0 0 0 0 0 0 0 15 0 22 0 601289232 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 0 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601289233 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601289233 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15690304 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15690304 CPUtime=0.82 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5512 0 0 0 82 0 0 0 15 0 22 0 601289235 16066871296 263300 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 435188 0 0 0 269 74 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15685680 CPUtime=2.65 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 306025 0 0 0 217 48 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15685680 CPUtime=2.54 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 280791 0 0 0 211 43 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15685680 CPUtime=2.88 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 339772 0 0 0 234 54 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15685680 CPUtime=879.82 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) R 22595 22597 21847 0 -1 4202560 657303 0 0 0 87771 211 0 0 18 0 22 0 601289232 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46940321598960 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15685680 CPUtime=0.98 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5532 0 0 0 98 0 0 0 16 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22613] ppid=22595 vsize=15685680 CPUtime=0.96 cores=1,3,5,7
/proc/22597/task/22613/stat : 22613 (java) S 22595 22597 21847 0 -1 4202560 4900 0 0 0 96 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22615] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22615/stat : 22615 (java) S 22595 22597 21847 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22616] ppid=22595 vsize=15685680 CPUtime=293.33 cores=1,3,5,7
/proc/22597/task/22616/stat : 22616 (java) S 22595 22597 21847 0 -1 4202560 56669 0 0 0 29320 13 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22617] ppid=22595 vsize=15685680 CPUtime=293.53 cores=1,3,5,7
/proc/22597/task/22617/stat : 22617 (java) S 22595 22597 21847 0 -1 4202560 61548 0 0 0 29340 13 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22618] ppid=22595 vsize=15685680 CPUtime=294.22 cores=1,3,5,7
/proc/22597/task/22618/stat : 22618 (java) S 22595 22597 21847 0 -1 4202560 74233 0 0 0 29407 15 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22619] ppid=22595 vsize=15685680 CPUtime=292.67 cores=1,3,5,7
/proc/22597/task/22619/stat : 22619 (java) S 22595 22597 21847 0 -1 4202560 61289 0 0 0 29256 11 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2080.12
Current children cumulated vsize (KiB) 15685680
[startup+1242.3 s]
/proc/loadavg: 2.02 2.60 3.88 3/219 22711
/proc/meminfo: memFree=125028/32951124 swapFree=67103136/67111528
[pid=22597] ppid=22595 vsize=15685680 CPUtime=2140.73 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 3905490 0 1 0 213316 757 0 0 25 0 22 0 601289230 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3921420 3862215 2294 9 0 3912139 0
[pid=22597/tid=22599] ppid=22595 vsize=15685680 CPUtime=2.04 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (java) S 22595 22597 21847 0 -1 4202560 35650 0 1 0 199 5 0 0 22 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=15685680 CPUtime=2.6 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (java) S 22595 22597 21847 0 -1 4202560 302398 0 0 0 213 47 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22601] ppid=22595 vsize=15685680 CPUtime=2.47 cores=1,3,5,7
/proc/22597/task/22601/stat : 22601 (java) S 22595 22597 21847 0 -1 4202560 398693 0 0 0 180 67 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22602] ppid=22595 vsize=15685680 CPUtime=3.3 cores=1,3,5,7
/proc/22597/task/22602/stat : 22602 (java) S 22595 22597 21847 0 -1 4202560 449717 0 0 0 253 77 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22603] ppid=22595 vsize=15685680 CPUtime=2.53 cores=1,3,5,7
/proc/22597/task/22603/stat : 22603 (java) S 22595 22597 21847 0 -1 4202560 433834 0 0 0 188 65 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22604] ppid=22595 vsize=15685680 CPUtime=3.43 cores=1,3,5,7
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 435188 0 0 0 269 74 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15685680 CPUtime=2.65 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 306025 0 0 0 217 48 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15685680 CPUtime=2.54 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 280791 0 0 0 211 43 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15685680 CPUtime=2.88 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 339772 0 0 0 234 54 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15685680 CPUtime=939.61 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) R 22595 22597 21847 0 -1 4202560 657305 0 0 0 93746 215 0 0 18 0 22 0 601289232 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46940317837120 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15685680 CPUtime=0.98 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5532 0 0 0 98 0 0 0 16 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22613] ppid=22595 vsize=15685680 CPUtime=0.96 cores=1,3,5,7
/proc/22597/task/22613/stat : 22613 (java) S 22595 22597 21847 0 -1 4202560 4900 0 0 0 96 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22615] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22615/stat : 22615 (java) S 22595 22597 21847 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22616] ppid=22595 vsize=15685680 CPUtime=293.55 cores=1,3,5,7
/proc/22597/task/22616/stat : 22616 (java) S 22595 22597 21847 0 -1 4202560 56684 0 0 0 29342 13 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22617] ppid=22595 vsize=15685680 CPUtime=293.73 cores=1,3,5,7
/proc/22597/task/22617/stat : 22617 (java) S 22595 22597 21847 0 -1 4202560 61580 0 0 0 29360 13 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22618] ppid=22595 vsize=15685680 CPUtime=294.43 cores=1,3,5,7
/proc/22597/task/22618/stat : 22618 (java) S 22595 22597 21847 0 -1 4202560 74554 0 0 0 29427 16 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22619] ppid=22595 vsize=15685680 CPUtime=292.87 cores=1,3,5,7
/proc/22597/task/22619/stat : 22619 (java) S 22595 22597 21847 0 -1 4202560 61414 0 0 0 29275 12 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2140.73
Current children cumulated vsize (KiB) 15685680
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.10 2.53 3.78 3/219 22711
/proc/meminfo: memFree=125016/32951124 swapFree=67103136/67111528
[pid=22597] ppid=22595 vsize=15685680 CPUtime=2198.87 cores=1,3,5,7
/proc/22597/stat : 22597 (java) S 22595 22597 21847 0 -1 4202496 3905970 0 1 0 219125 762 0 0 25 0 22 0 601289230 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 3921420 3862215 2294 9 0 3912139 0
[pid=22597/tid=22599] ppid=22595 vsize=15685680 CPUtime=2.04 cores=1,3,5,7
/proc/22597/task/22599/stat : 22599 (java) S 22595 22597 21847 0 -1 4202560 35650 0 1 0 199 5 0 0 22 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22600] ppid=22595 vsize=15685680 CPUtime=2.6 cores=1,3,5,7
/proc/22597/task/22600/stat : 22600 (java) S 22595 22597 21847 0 -1 4202560 302398 0 0 0 213 47 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22601] ppid=22595 vsize=15685680 CPUtime=2.47 cores=1,3,5,7
/proc/22597/task/22601/stat : 22601 (java) S 22595 22597 21847 0 -1 4202560 398693 0 0 0 180 67 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22602] ppid=22595 vsize=15685680 CPUtime=3.3 cores=1,3,5,7
/proc/22597/task/22602/stat : 22602 (java) S 22595 22597 21847 0 -1 4202560 449717 0 0 0 253 77 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22603] ppid=22595 vsize=15685680 CPUtime=2.53 cores=1,3,5,7
/proc/22597/task/22603/stat : 22603 (java) S 22595 22597 21847 0 -1 4202560 433834 0 0 0 188 65 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22604] ppid=22595 vsize=15685680 CPUtime=3.43 cores=1,3,5,7
/proc/22597/task/22604/stat : 22604 (java) S 22595 22597 21847 0 -1 4202560 435188 0 0 0 269 74 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22605] ppid=22595 vsize=15685680 CPUtime=2.65 cores=1,3,5,7
/proc/22597/task/22605/stat : 22605 (java) S 22595 22597 21847 0 -1 4202560 306025 0 0 0 217 48 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22606] ppid=22595 vsize=15685680 CPUtime=2.54 cores=1,3,5,7
/proc/22597/task/22606/stat : 22606 (java) S 22595 22597 21847 0 -1 4202560 280791 0 0 0 211 43 0 0 16 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22607] ppid=22595 vsize=15685680 CPUtime=2.88 cores=1,3,5,7
/proc/22597/task/22607/stat : 22607 (java) S 22595 22597 21847 0 -1 4202560 339772 0 0 0 234 54 0 0 15 0 22 0 601289231 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22608] ppid=22595 vsize=15685680 CPUtime=997.16 cores=1,3,5,7
/proc/22597/task/22608/stat : 22608 (java) R 22595 22597 21847 0 -1 4202560 657309 0 0 0 99498 218 0 0 18 0 22 0 601289232 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 46940321393807 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=22597/tid=22609] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22609/stat : 22609 (java) S 22595 22597 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22610] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22610/stat : 22610 (java) S 22595 22597 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 601289233 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22611] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22611/stat : 22611 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296749489 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22612] ppid=22595 vsize=15685680 CPUtime=0.98 cores=1,3,5,7
/proc/22597/task/22612/stat : 22612 (java) S 22595 22597 21847 0 -1 4202560 5532 0 0 0 98 0 0 0 16 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22613] ppid=22595 vsize=15685680 CPUtime=0.96 cores=1,3,5,7
/proc/22597/task/22613/stat : 22613 (java) S 22595 22597 21847 0 -1 4202560 4900 0 0 0 96 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) S 22595 22597 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22615] ppid=22595 vsize=15685680 CPUtime=0 cores=1,3,5,7
/proc/22597/task/22615/stat : 22615 (java) S 22595 22597 21847 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 601289235 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296742400 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
[pid=22597/tid=22616] ppid=22595 vsize=15685680 CPUtime=293.72 cores=1,3,5,7
/proc/22597/task/22616/stat : 22616 (java) S 22595 22597 21847 0 -1 4202560 56703 0 0 0 29358 14 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 7 0 0 0
[pid=22597/tid=22617] ppid=22595 vsize=15685680 CPUtime=293.87 cores=1,3,5,7
/proc/22597/task/22617/stat : 22617 (java) S 22595 22597 21847 0 -1 4202560 61788 0 0 0 29374 13 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 3 0 0 0
[pid=22597/tid=22618] ppid=22595 vsize=15685680 CPUtime=294.56 cores=1,3,5,7
/proc/22597/task/22618/stat : 22618 (java) S 22595 22597 21847 0 -1 4202560 74708 0 0 0 29440 16 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 1 0 0 0
[pid=22597/tid=22619] ppid=22595 vsize=15685680 CPUtime=293.01 cores=1,3,5,7
/proc/22597/task/22619/stat : 22619 (java) S 22595 22597 21847 0 -1 4202560 61505 0 0 0 29289 12 0 0 15 0 22 0 601289314 16062136320 3862215 33554432000 1073741824 1073778376 140735072997632 18446744073709551615 224296741785 0 4 0 16800975 18446604471110660416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2198.87
Current children cumulated vsize (KiB) 15685680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22597
[startup+1302.3 s]
/proc/loadavg: 2.10 2.53 3.78 3/220 22714
/proc/meminfo: memFree=124876/32951124 swapFree=67103136/67111528
[pid=22597] ppid=22595 vsize=0 CPUtime=2201.24 cores=1,3,5,7
/proc/22597/stat : 22597 (java) Z 22595 22597 21847 0 -1 4203548 3905996 0 1 0 219334 790 0 0 18 0 2 0 601289230 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 0 0 0 0 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) R 22595 22597 21847 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 601289235 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2201.24
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.51 s]
/proc/loadavg: 2.09 2.52 3.77 3/199 22715
/proc/meminfo: memFree=11776576/32951124 swapFree=67103136/67111528
[pid=22597] ppid=22595 vsize=0 CPUtime=2201.44 cores=1,3,5,7
/proc/22597/stat : 22597 (java) Z 22595 22597 21847 0 -1 4203548 3905996 0 1 0 219334 810 0 0 18 0 2 0 601289230 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22597/statm: 0 0 0 0 0 0 0
[pid=22597/tid=22614] ppid=22595 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/22597/task/22614/stat : 22614 (java) R 22595 22597 21847 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 601289235 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2201.44
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 2201.48
CPU user time (s): 2193.35
CPU system time (s): 8.13176
CPU usage (%): 169.016
Max. virtual memory (cumulated for all children) (KiB): 15690788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2193.35
system time used= 8.13176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3905996
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82080
involuntary context switches= 31720
runsolver used 2.05769 second user time and 5.15622 second system time
The end