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-4080381-1465219005/watcher-4080381-1465219005 -o /tmp/evaluation-result-4080381-1465219005/solver-4080381-1465219005 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080381-1465219005.opb
pid=8803
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: 3.93 3.99 3.77 4/197 8806
/proc/meminfo: memFree=29408516/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/8806/stat : 8806 (java) R 8803 8806 3970 0 -1 4202496 1058 0 0 0 0 0 0 0 20 0 1 0 103835802 23793664 707 33554432000 1073741824 1073778376 140736077230368 140736077219432 249640826960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 5809 707 522 9 0 128 0
[startup+0.100114 s]
/proc/loadavg: 3.93 3.99 3.77 4/197 8806
/proc/meminfo: memFree=29408516/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 4422 0 1 0 9 1 0 0 20 0 18 0 103835802 9787879424 6056 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2389619 6056 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200273 s]
/proc/loadavg: 3.93 3.99 3.77 4/197 8806
/proc/meminfo: memFree=29408516/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 4822 0 1 0 26 1 0 0 20 0 18 0 103835802 9787879424 6872 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2389619 6872 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300261 s]
/proc/loadavg: 3.93 3.99 3.77 4/197 8806
/proc/meminfo: memFree=29408516/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 6206 0 1 0 51 2 0 0 20 0 18 0 103835802 9787879424 17985 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2389619 17985 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.700189 s]
/proc/loadavg: 3.93 3.99 3.77 4/197 8806
/proc/meminfo: memFree=29408516/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 12661 0 1 0 146 5 0 0 20 0 22 0 103835802 10060525568 43870 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 43870 2276 9 0 2446860 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9824732
[startup+1.50085 s]
/proc/loadavg: 3.93 3.99 3.77 7/219 8828
/proc/meminfo: memFree=29230996/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=4.66 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 27404 0 1 0 456 10 0 0 20 0 22 0 103835802 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 50393 2292 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2509 0 1 0 57 3 0 0 20 0 22 0 103835802 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 103835803 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 103835804 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 3970 0 -1 4202560 14880 0 0 0 108 3 0 0 20 0 22 0 103835807 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259746597560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9824732 CPUtime=1.11 cores=0,2,4,6
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 3970 0 -1 4202560 8559 0 0 0 111 0 0 0 20 0 22 0 103835807 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259745544760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259744492664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259743440072 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8806/task/8825/stat : 8825 (java) R 8803 8806 3970 0 -1 4202560 24 0 0 0 81 0 0 0 20 0 22 0 103835866 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140259742384584 140259757972441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8826] ppid=8803 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8806/task/8826/stat : 8826 (java) R 8803 8806 3970 0 -1 4202560 25 0 0 0 80 0 0 0 20 0 22 0 103835866 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140258599491888 140259758131694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8827] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8827/stat : 8827 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140258598442152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8828] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 50393 33554432000 1073741824 1073778376 140736077230368 140258597389352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 9824732
[startup+3.10098 s]
/proc/loadavg: 3.93 3.99 3.77 5/219 8828
/proc/meminfo: memFree=29070260/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=8.14 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 27757 0 1 0 796 18 0 0 20 0 22 0 103835802 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 94610 2292 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2510 0 1 0 57 3 0 0 20 0 22 0 103835802 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 48 0 0 0 4 2 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 22 0 103835803 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 103835804 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 3970 0 -1 4202560 14880 0 0 0 120 3 0 0 20 0 22 0 103835807 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259746597560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 3970 0 -1 4202560 8559 0 0 0 118 0 0 0 20 0 22 0 103835807 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259745544760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259744492664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259743440072 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/8806/task/8825/stat : 8825 (java) R 8803 8806 3970 0 -1 4202560 25 0 0 0 232 0 0 0 20 0 22 0 103835866 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140259742375712 140259757921995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8826] ppid=8803 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/8806/task/8826/stat : 8826 (java) R 8803 8806 3970 0 -1 4202560 84 0 0 0 230 2 0 0 20 0 22 0 103835866 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140258599493176 140259757995560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8827] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8827/stat : 8827 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140258598442152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8828] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 94610 33554432000 1073741824 1073778376 140736077230368 140258597389352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.14
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 3.93 3.99 3.77 5/219 8828
/proc/meminfo: memFree=28744780/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=14.72 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 28309 0 1 0 1441 31 0 0 20 0 22 0 103835802 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 168518 2292 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2510 0 1 0 57 3 0 0 20 0 22 0 103835802 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 52 0 0 0 5 2 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 63 0 0 0 6 3 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 57 0 0 0 7 4 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 41 0 0 0 7 3 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 56 0 0 0 6 3 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 62 0 0 0 7 3 0 0 20 0 22 0 103835803 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 475 0 0 0 0 0 0 0 20 0 22 0 103835804 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 168518 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.61 3.74 3.80 5/220 9180
/proc/meminfo: memFree=25443232/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=1655.58 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 39355 0 1 0 165368 190 0 0 20 0 22 0 103835802 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 930739 2301 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2515 0 1 0 59 5 0 0 20 0 22 0 103835802 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 588 0 0 0 284 17 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=3.1 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 600 0 0 0 293 17 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 640 0 0 0 291 17 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 736 0 0 0 310 22 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 616 0 0 0 315 16 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 502 0 0 0 288 13 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 499 0 0 0 304 13 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 646 0 0 0 304 16 0 0 20 0 22 0 103835803 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 2130 0 0 0 332 7 0 0 20 0 22 0 103835804 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 3970 0 -1 4202560 18340 0 0 0 181 4 0 0 20 0 22 0 103835807 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259746597560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 3970 0 -1 4202560 8560 0 0 0 123 0 0 0 20 0 22 0 103835807 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259745544760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259744492664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 3970 0 -1 4202560 47 0 0 0 15 17 0 0 20 0 22 0 103835807 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259743440072 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9824732 CPUtime=811.65 cores=0,2,4,6
/proc/8806/task/8825/stat : 8825 (java) R 8803 8806 3970 0 -1 4202560 44 0 0 0 81151 14 0 0 20 0 22 0 103835866 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140259742382640 140259757921789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8826] ppid=8803 vsize=9824732 CPUtime=811.59 cores=0,2,4,6
/proc/8806/task/8826/stat : 8826 (java) R 8803 8806 3970 0 -1 4202560 1627 0 0 0 81113 46 0 0 20 0 22 0 103835866 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140258599492736 140259758110810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8827] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8827/stat : 8827 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140258598442152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8828] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 930739 33554432000 1073741824 1073778376 140736077230368 140258597389352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1655.58
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 3.85 3.78 3.81 5/219 9184
/proc/meminfo: memFree=25444084/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=1773.82 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 39698 0 1 0 177186 196 0 0 20 0 22 0 103835802 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 950429 2301 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2515 0 1 0 59 5 0 0 20 0 22 0 103835802 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 596 0 0 0 301 17 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 614 0 0 0 319 17 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=3.31 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 652 0 0 0 313 18 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 749 0 0 0 329 23 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 624 0 0 0 331 16 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=3.16 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 508 0 0 0 302 14 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=3.4 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 513 0 0 0 326 14 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 660 0 0 0 325 16 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=5.95 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 2373 0 0 0 588 7 0 0 20 0 22 0 103835804 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 3970 0 -1 4202560 18341 0 0 0 183 4 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259746597560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 3970 0 -1 4202560 8560 0 0 0 123 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259745544760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259744492664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 3970 0 -1 4202560 51 0 0 0 15 19 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259743440072 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9824732 CPUtime=868.68 cores=0,2,4,6
/proc/8806/task/8825/stat : 8825 (java) R 8803 8806 3970 0 -1 4202560 45 0 0 0 86853 15 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259742383392 140259757921789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8826] ppid=8803 vsize=9824732 CPUtime=868.64 cores=0,2,4,6
/proc/8806/task/8826/stat : 8826 (java) R 8803 8806 3970 0 -1 4202560 1632 0 0 0 86817 47 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258599493920 140259758187409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8827] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8827/stat : 8827 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258598442152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8828] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258597389352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1773.82
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.401 s]
/proc/loadavg: 3.74 3.76 3.80 5/219 9185
/proc/meminfo: memFree=25437916/32872528 swapFree=10608/190480
[pid=8806] ppid=8803 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6
/proc/8806/stat : 8806 (java) S 8803 8806 3970 0 -1 4202496 39699 0 1 0 179810 196 0 0 20 0 22 0 103835802 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140736077221504 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8806/statm: 2456183 950429 2301 9 0 2446860 0
[pid=8806/tid=8808] ppid=8803 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/8806/task/8808/stat : 8808 (java) S 8803 8806 3970 0 -1 4202560 2515 0 1 0 60 5 0 0 20 0 22 0 103835802 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259926848376 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8809] ppid=8803 vsize=9824732 CPUtime=3.2 cores=0,2,4,6
/proc/8806/task/8809/stat : 8809 (java) S 8803 8806 3970 0 -1 4202560 596 0 0 0 303 17 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259888339240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8810] ppid=8803 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/8806/task/8810/stat : 8810 (java) S 8803 8806 3970 0 -1 4202560 614 0 0 0 319 17 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259887286440 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8811] ppid=8803 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/8806/task/8811/stat : 8811 (java) S 8803 8806 3970 0 -1 4202560 652 0 0 0 314 18 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259886234152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8812] ppid=8803 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/8806/task/8812/stat : 8812 (java) S 8803 8806 3970 0 -1 4202560 749 0 0 0 331 23 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259885181352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8813] ppid=8803 vsize=9824732 CPUtime=3.49 cores=0,2,4,6
/proc/8806/task/8813/stat : 8813 (java) S 8803 8806 3970 0 -1 4202560 624 0 0 0 333 16 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259884129064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8814] ppid=8803 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/8806/task/8814/stat : 8814 (java) S 8803 8806 3970 0 -1 4202560 508 0 0 0 304 14 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259883076264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8815] ppid=8803 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/8806/task/8815/stat : 8815 (java) S 8803 8806 3970 0 -1 4202560 513 0 0 0 327 14 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259882023976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8816] ppid=8803 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/8806/task/8816/stat : 8816 (java) S 8803 8806 3970 0 -1 4202560 660 0 0 0 326 16 0 0 20 0 22 0 103835803 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259880971176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8817] ppid=8803 vsize=9824732 CPUtime=5.95 cores=0,2,4,6
/proc/8806/task/8817/stat : 8817 (java) S 8803 8806 3970 0 -1 4202560 2373 0 0 0 588 7 0 0 20 0 22 0 103835804 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259750807784 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8818] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8818/stat : 8818 (java) S 8803 8806 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259749753848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8819] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8819/stat : 8819 (java) S 8803 8806 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 103835805 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259748701448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8820] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8820/stat : 8820 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259747649936 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8821] ppid=8803 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/8806/task/8821/stat : 8821 (java) S 8803 8806 3970 0 -1 4202560 18341 0 0 0 183 4 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259746597560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8822] ppid=8803 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/8806/task/8822/stat : 8822 (java) S 8803 8806 3970 0 -1 4202560 8560 0 0 0 123 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259745544760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8823] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8823/stat : 8823 (java) S 8803 8806 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259744492664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8806/tid=8824] ppid=8803 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/8806/task/8824/stat : 8824 (java) S 8803 8806 3970 0 -1 4202560 51 0 0 0 16 19 0 0 20 0 22 0 103835807 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259743440072 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8825] ppid=8803 vsize=9824732 CPUtime=881.75 cores=0,2,4,6
/proc/8806/task/8825/stat : 8825 (java) R 8803 8806 3970 0 -1 4202560 45 0 0 0 88160 15 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140259742382352 140259757921789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8806/tid=8826] ppid=8803 vsize=9824732 CPUtime=881.71 cores=0,2,4,6
/proc/8806/task/8826/stat : 8826 (java) R 8803 8806 3970 0 -1 4202560 1633 0 0 0 88124 47 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258599492768 140259757360929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8806/tid=8827] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8827/stat : 8827 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258598442152 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8806/tid=8828] ppid=8803 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8806/task/8828/stat : 8828 (java) S 8803 8806 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 103835866 10060525568 950429 33554432000 1073741824 1073778376 140736077230368 140258597389352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 8806 sig 9
??? kill -8806 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.481
CPU time (s): 1800.86
CPU user time (s): 1798.37
CPU system time (s): 2.49262
CPU usage (%): 201.105
Max. virtual memory (cumulated for all children) (KiB): 9826248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 2.49262
maximum resident set size= 3801832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23908
involuntary context switches= 25921
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8831 second user time and 7.26389 second system time
The end