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-4109860-1466343758/watcher-4109860-1466343758 -o /tmp/evaluation-result-4109860-1466343758/solver-4109860-1466343758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466341819-12182 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109860-1466343758.wbo
pid=13767
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.32 2.33 2.01 3/194 13770
/proc/meminfo: memFree=29805180/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 2 0 36424255 91889664 893 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 22434 893 678 9 0 16769 0
[pid=13770/tid=13771] ppid=13767 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 2 0 36424256 94019584 914 33554432000 1073741824 1073778376 140735262240608 140735262229672 140036393834007 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100159 s]
/proc/loadavg: 2.32 2.33 2.01 3/194 13770
/proc/meminfo: memFree=29805180/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 4410 0 1 0 9 1 0 0 20 0 18 0 36424255 9787879424 6047 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2389619 6049 2143 9 0 2380296 0
[pid=13770/tid=13771] ppid=13767 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 36424256 9787879424 6053 33554432000 1073741824 1073778376 140735262240608 140036387290016 140036217601761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200287 s]
/proc/loadavg: 2.32 2.33 2.01 3/194 13770
/proc/meminfo: memFree=29805180/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 4769 0 1 0 25 1 0 0 20 0 18 0 36424255 9787879424 6826 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2389619 6826 2214 9 0 2380296 0
[pid=13770/tid=13771] ppid=13767 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2396 0 1 0 17 0 0 0 20 0 18 0 36424256 9787879424 6826 33554432000 1073741824 1073778376 140735262240608 140036387291368 140036217619841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.30027 s]
/proc/loadavg: 2.32 2.33 2.01 3/194 13770
/proc/meminfo: memFree=29805180/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 5986 0 1 0 47 1 0 0 20 0 18 0 36424255 9787879424 8410 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2389619 8410 2239 9 0 2380296 0
[pid=13770/tid=13771] ppid=13767 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2411 0 1 0 27 0 0 0 20 0 18 0 36424256 9787879424 8410 33554432000 1073741824 1073778376 140735262240608 140036387291368 140036390588444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700234 s]
/proc/loadavg: 2.32 2.33 2.01 3/194 13770
/proc/meminfo: memFree=29805180/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=1.41 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 12111 0 1 0 139 2 0 0 20 0 19 0 36424255 9856040960 12520 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 12520 2257 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2416 0 1 0 67 0 0 0 20 0 19 0 36424256 9856040960 12520 33554432000 1073741824 1073778376 140735262240608 140036387291384 140036218056152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9625040
[startup+1.50086 s]
/proc/loadavg: 2.45 2.36 2.02 3/213 13789
/proc/meminfo: memFree=29754492/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 12870 0 1 0 242 3 0 0 20 0 19 0 36424255 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 14100 2270 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2421 0 1 0 147 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036387291320 140036218053888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 49 0 0 0 20 0 19 0 36424260 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 5256 0 0 0 44 2 0 0 20 0 19 0 36424260 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036205918264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13788] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13788/stat : 13788 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036203813576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13789] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13789/stat : 13789 (java) S 13767 13770 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424286 9856040960 14100 33554432000 1073741824 1073778376 140735262240608 140036202759592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.45 2.36 2.02 3/213 13789
/proc/meminfo: memFree=29748224/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 12875 0 1 0 405 3 0 0 20 0 19 0 36424255 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 15636 2270 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2426 0 1 0 306 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036387289640 140036218139519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 50 0 0 0 20 0 19 0 36424260 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 5256 0 0 0 45 2 0 0 20 0 19 0 36424260 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036205918264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13788] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13788/stat : 13788 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036203813576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13789] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13789/stat : 13789 (java) S 13767 13770 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424286 9856040960 15636 33554432000 1073741824 1073778376 140735262240608 140036202759592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9625040
[startup+6.30085 s]
/proc/loadavg: 2.42 2.35 2.02 3/213 13789
/proc/meminfo: memFree=29726988/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=7.31 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 12883 0 1 0 728 3 0 0 20 0 19 0 36424255 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 18769 2270 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2434 0 1 0 624 1 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036387283248 140036218073645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 54 0 0 0 20 0 19 0 36424260 9856040960 18769 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
################
# More data... #
################
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 54 0 0 0 20 0 19 0 36424260 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 6695 0 0 0 61 2 0 0 20 0 19 0 36424260 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036205918264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13788] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13788/stat : 13788 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036203813576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13789] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13789/stat : 13789 (java) S 13767 13770 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424286 9856040960 25024 33554432000 1073741824 1073778376 140735262240608 140036202759592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 9625040
[startup+13.2008 s]
/proc/loadavg: 2.38 2.35 2.02 3/213 13789
/proc/meminfo: memFree=29675128/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=14.38 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 14338 0 1 0 1434 4 0 0 20 0 19 0 36424255 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 25536 2271 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=13.14 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2450 0 1 0 1313 1 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036387282672 140036218054047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 54 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 6695 0 0 0 61 2 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036205918264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13788] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13788/stat : 13788 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036203813576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13789] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13789/stat : 13789 (java) S 13767 13770 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424286 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036202759592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.38
Current children cumulated vsize (KiB) 9625040
[startup+13.6008 s]
/proc/loadavg: 2.38 2.35 2.02 3/213 13789
/proc/meminfo: memFree=29675128/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9625040 CPUtime=14.79 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 14338 0 1 0 1475 4 0 0 20 0 19 0 36424255 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2406260 25536 2271 9 0 2396937 0
[pid=13770/tid=13771] ppid=13767 vsize=9625040 CPUtime=13.54 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) R 13767 13770 12165 0 -1 4202560 2450 0 1 0 1353 1 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036387282672 140036218054237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36424256 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36424257 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036211182312 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36424258 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13784] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13784/stat : 13784 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036208024464 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 54 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 6695 0 0 0 62 2 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036205918264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13788] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13788/stat : 13788 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36424260 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036203813576 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13789] ppid=13767 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13789/stat : 13789 (java) S 13767 13770 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36424286 9856040960 25536 33554432000 1073741824 1073778376 140735262240608 140036202759592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 9625040
[startup+13.7008 s]
/proc/loadavg: 2.38 2.35 2.02 3/213 13789
/proc/meminfo: memFree=29675128/32872528 swapFree=1534436/1655032
[pid=13770] ppid=13767 vsize=9691604 CPUtime=14.88 cores=1,3,5,7
/proc/13770/stat : 13770 (java) S 13767 13770 12165 0 -1 4202496 14363 0 1 0 1484 4 0 0 20 0 16 0 36424255 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140735262231744 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13770/statm: 2422901 26573 2273 9 0 2413578 0
[pid=13770/tid=13771] ppid=13767 vsize=9691604 CPUtime=13.62 cores=1,3,5,7
/proc/13770/task/13771/stat : 13771 (java) S 13767 13770 12165 0 -1 4202560 2453 0 1 0 1361 1 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036387292152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13773] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13773/stat : 13773 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036348783400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13774] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13774/stat : 13774 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036347730600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13775] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13775/stat : 13775 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036346678312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13770/tid=13776] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13776/stat : 13776 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036345625512 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13777] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13777/stat : 13777 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036344572200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13778] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13778/stat : 13778 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036343519400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13770/tid=13779] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13779/stat : 13779 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036342467112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13780] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13780/stat : 13780 (java) S 13767 13770 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 36424256 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036341414312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13781] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13781/stat : 13781 (java) S 13767 13770 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 36424257 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036211181864 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13782] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13782/stat : 13782 (java) S 13767 13770 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 36424258 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036210128376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13783] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13783/stat : 13783 (java) S 13767 13770 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 36424258 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036209075976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13785] ppid=13767 vsize=9691604 CPUtime=0.54 cores=1,3,5,7
/proc/13770/task/13785/stat : 13785 (java) S 13767 13770 12165 0 -1 4202560 3915 0 0 0 54 0 0 0 20 0 16 0 36424260 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036206971064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13770/tid=13786] ppid=13767 vsize=9691604 CPUtime=0.64 cores=1,3,5,7
/proc/13770/task/13786/stat : 13786 (java) S 13767 13770 12165 0 -1 4202560 6696 0 0 0 62 2 0 0 20 0 16 0 36424260 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036205904504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13770/tid=13787] ppid=13767 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/13770/task/13787/stat : 13787 (java) S 13767 13770 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 36424260 9924202496 26573 33554432000 1073741824 1073778376 140735262240608 140036204866168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 14.88
Current children cumulated vsize (KiB) 9691604
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13770 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=800749
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=60990
# CPU time returned by wait4() is 14.8617
# while last known CPU time is 14.88
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 13.7049
CPU time (s): 14.88
CPU user time (s): 14.84
CPU system time (s): 0.04
CPU usage (%): 108.574
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8007
system time used= 0.06099
maximum resident set size= 106300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14363
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 593
involuntary context switches= 61
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087986 second user time and 0.106983 second system time
The end