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-4092277-1466084079/watcher-4092277-1466084079 -o /tmp/evaluation-result-4092277-1466084079/solver-4092277-1466084079 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466074789-16401 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092277-1466084079.wbo
pid=21713
running on 4 cores: 0,2,4,6
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.02 2.02 2.13 3/196 21716
/proc/meminfo: memFree=31318444/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21716/stat : 21716 (java) D 21713 21716 14496 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 10454641 9515008 175 33554432000 1073741824 1073778376 140734540294480 140734540277208 242167399312 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2323 175 133 9 0 71 0
[startup+0.100126 s]
/proc/loadavg: 2.02 2.02 2.13 3/196 21716
/proc/meminfo: memFree=31318444/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 3801 0 1 0 7 1 0 0 20 0 18 0 10454641 9787879424 4932 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2389619 4932 1950 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200299 s]
/proc/loadavg: 2.02 2.02 2.13 3/196 21716
/proc/meminfo: memFree=31318444/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 4712 0 1 0 21 2 0 0 20 0 18 0 10454641 9787879424 6823 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2389619 6823 2196 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300277 s]
/proc/loadavg: 2.02 2.02 2.13 3/196 21716
/proc/meminfo: memFree=31318444/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 5481 0 1 0 43 2 0 0 20 0 18 0 10454641 9787879424 7850 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2389619 7850 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700259 s]
/proc/loadavg: 2.02 2.02 2.13 3/196 21716
/proc/meminfo: memFree=31318444/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 9575 0 1 0 126 5 0 0 20 0 19 0 10454641 10060525568 13421 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 13421 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9824732
[startup+1.50081 s]
/proc/loadavg: 2.02 2.02 2.13 2/215 21741
/proc/meminfo: memFree=31270744/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 10505 0 1 0 158 7 0 0 20 0 19 0 10454641 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 16085 2272 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2446 0 1 0 37 2 0 0 20 0 19 0 10454643 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140706055799672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10454645 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454648 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 2224 0 0 0 43 0 0 0 20 0 19 0 10454648 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 4492 0 0 0 45 1 0 0 20 0 19 0 10454648 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454682 10060525568 16085 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9824732
[startup+3.10078 s]
/proc/loadavg: 2.02 2.02 2.13 2/215 21747
/proc/meminfo: memFree=31254360/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 11539 0 1 0 185 14 0 0 20 0 19 0 10454641 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 21721 2275 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2449 0 1 0 39 2 0 0 20 0 19 0 10454643 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140706055799672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10454645 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454648 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 2227 0 0 0 48 0 0 0 20 0 19 0 10454648 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 5489 0 0 0 57 2 0 0 20 0 19 0 10454648 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454682 10060525568 21721 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732
heavy processes:
[startup+6.30082 s]
/proc/loadavg: 1.94 2.01 2.12 2/215 21768
/proc/meminfo: memFree=31200000/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 13399 0 1 0 218 22 0 0 20 0 19 0 10454641 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 32940 2278 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2456 0 1 0 42 2 0 0 20 0 19 0 10454643 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140706055799672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10454644 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10454645 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454646 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454648 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 2502 0 0 0 57 0 0 0 20 0 19 0 10454648 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 6992 0 0 0 67 2 0 0 20 0 19 0 10454648 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10454649 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10454682 10060525568 32940 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9824732
################
# More data... #
################
/proc/meminfo: memFree=24083976/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1731.11 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 31678 0 1 0 172643 468 0 0 20 0 21 0 10454641 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 969370 2302 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2527 0 1 0 103 21 0 0 20 0 21 0 10454643 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140706055799800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 969 0 0 0 361 44 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1020 0 0 0 345 36 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1063 0 0 0 349 44 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=3.97 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 949 0 0 0 357 40 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=4.29 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1054 0 0 0 385 44 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1081 0 0 0 326 37 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=3.79 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 949 0 0 0 343 36 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 1123 0 0 0 326 37 0 0 20 0 21 0 10454644 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=6.46 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 2840 0 0 0 638 8 0 0 20 0 21 0 10454645 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454648 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 6552 0 0 0 113 2 0 0 20 0 21 0 10454648 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 8030 0 0 0 104 2 0 0 20 0 21 0 10454648 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454649 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 100 0 0 0 24 23 0 0 20 0 21 0 10454649 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10454682 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=22041] ppid=21713 vsize=9824732 CPUtime=1682.3 cores=0,2,4,6
/proc/21716/task/22041/stat : 22041 (java) R 21713 21716 14496 0 -1 4202560 1571 0 0 0 168183 47 0 0 20 0 21 0 10457178 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705399389488 140705897559458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=22042] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/22042/stat : 22042 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10457180 10060525568 969370 33554432000 1073741824 1073778376 140737278302064 140705397285672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1731.11
Current children cumulated vsize (KiB) 9824732
[startup+1782.3 s]
/proc/loadavg: 2.25 2.17 2.08 3/217 22162
/proc/meminfo: memFree=23913124/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1792.92 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 32407 0 1 0 178818 474 0 0 20 0 21 0 10454641 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 994567 2302 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2530 0 1 0 104 21 0 0 20 0 21 0 10454643 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706055799800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 987 0 0 0 387 45 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1037 0 0 0 367 36 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1081 0 0 0 379 44 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=4.41 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 961 0 0 0 400 41 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=4.52 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1068 0 0 0 407 45 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1093 0 0 0 356 38 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 963 0 0 0 381 36 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 1135 0 0 0 349 37 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=9.08 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 3445 0 0 0 899 9 0 0 20 0 21 0 10454645 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 6552 0 0 0 113 2 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 8030 0 0 0 104 2 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454649 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 21 0 10454649 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10454682 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=22041] ppid=21713 vsize=9824732 CPUtime=1739.07 cores=0,2,4,6
/proc/21716/task/22041/stat : 22041 (java) R 21713 21716 14496 0 -1 4202560 1571 0 0 0 173859 48 0 0 20 0 21 0 10457178 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705399389024 140705897559543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=22042] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/22042/stat : 22042 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10457180 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705397285672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1792.92
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.4 s]
/proc/loadavg: 2.23 2.17 2.08 3/217 22162
/proc/meminfo: memFree=23913124/32872528 swapFree=338160/354512
[pid=21716] ppid=21713 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/21716/stat : 21716 (java) S 21713 21716 14496 0 -1 4202496 32407 0 1 0 179528 474 0 0 20 0 21 0 10454641 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140737278293200 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21716/statm: 2456183 994567 2302 9 0 2446860 0
[pid=21716/tid=21718] ppid=21713 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/21716/task/21718/stat : 21718 (java) S 21713 21716 14496 0 -1 4202560 2530 0 1 0 105 21 0 0 20 0 21 0 10454643 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706055799800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21719] ppid=21713 vsize=9824732 CPUtime=4.32 cores=0,2,4,6
/proc/21716/task/21719/stat : 21719 (java) S 21713 21716 14496 0 -1 4202560 987 0 0 0 387 45 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706017290792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21720] ppid=21713 vsize=9824732 CPUtime=4.03 cores=0,2,4,6
/proc/21716/task/21720/stat : 21720 (java) S 21713 21716 14496 0 -1 4202560 1037 0 0 0 367 36 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140706016237992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21721] ppid=21713 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/21716/task/21721/stat : 21721 (java) S 21713 21716 14496 0 -1 4202560 1081 0 0 0 379 44 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705896851752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21722] ppid=21713 vsize=9824732 CPUtime=4.41 cores=0,2,4,6
/proc/21716/task/21722/stat : 21722 (java) S 21713 21716 14496 0 -1 4202560 961 0 0 0 400 41 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705895798952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21723] ppid=21713 vsize=9824732 CPUtime=4.52 cores=0,2,4,6
/proc/21716/task/21723/stat : 21723 (java) S 21713 21716 14496 0 -1 4202560 1068 0 0 0 407 45 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705894747176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21716/tid=21724] ppid=21713 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/21716/task/21724/stat : 21724 (java) S 21713 21716 14496 0 -1 4202560 1093 0 0 0 356 38 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705893694376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21725] ppid=21713 vsize=9824732 CPUtime=4.17 cores=0,2,4,6
/proc/21716/task/21725/stat : 21725 (java) S 21713 21716 14496 0 -1 4202560 963 0 0 0 381 36 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705892641576 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21726] ppid=21713 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/21716/task/21726/stat : 21726 (java) S 21713 21716 14496 0 -1 4202560 1135 0 0 0 349 37 0 0 20 0 21 0 10454644 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705891588776 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21727] ppid=21713 vsize=9824732 CPUtime=9.08 cores=0,2,4,6
/proc/21716/task/21727/stat : 21727 (java) S 21713 21716 14496 0 -1 4202560 3445 0 0 0 899 9 0 0 20 0 21 0 10454645 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705409260008 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21728] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21728/stat : 21728 (java) S 21713 21716 14496 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705408206072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21729] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21729/stat : 21729 (java) S 21713 21716 14496 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 21 0 10454646 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705407153160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21730] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21730/stat : 21730 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705406101648 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21731] ppid=21713 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/21716/task/21731/stat : 21731 (java) S 21713 21716 14496 0 -1 4202560 6552 0 0 0 113 2 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705405049784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21732] ppid=21713 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/21716/task/21732/stat : 21732 (java) S 21713 21716 14496 0 -1 4202560 8030 0 0 0 104 2 0 0 20 0 21 0 10454648 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705403996984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=21733] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21733/stat : 21733 (java) S 21713 21716 14496 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10454649 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705402944376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21716/tid=21734] ppid=21713 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/21716/task/21734/stat : 21734 (java) S 21713 21716 14496 0 -1 4202560 104 0 0 0 25 24 0 0 20 0 21 0 10454649 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705401891784 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=21737] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/21737/stat : 21737 (java) S 21713 21716 14496 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10454682 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705398338472 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21716/tid=22041] ppid=21713 vsize=9824732 CPUtime=1746.16 cores=0,2,4,6
/proc/21716/task/22041/stat : 22041 (java) R 21713 21716 14496 0 -1 4202560 1571 0 0 0 174568 48 0 0 20 0 21 0 10457178 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705399389024 140705897712743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21716/tid=22042] ppid=21713 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/21716/task/22042/stat : 22042 (java) S 21713 21716 14496 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10457180 10060525568 994567 33554432000 1073741824 1073778376 140737278302064 140705397285672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21716 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0200002
# lost CPU user time (s): 0.0200002
# lost CPU system time (s): 0
Real time (s): 1789.45
CPU time (s): 1800.85
CPU user time (s): 1795.57
CPU system time (s): 5.2822
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.55
system time used= 5.2822
maximum resident set size= 3978360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32437
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78656
involuntary context switches= 43860
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6234 second user time and 14.3108 second system time
The end