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-4106099-1466270015/watcher-4106099-1466270015 -o /tmp/evaluation-result-4106099-1466270015/solver-4106099-1466270015 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106099-1466270015.opb
pid=25705
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.00 2.02 2.00 3/194 25708
/proc/meminfo: memFree=31332988/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 29048273 98570240 978 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 24065 978 744 9 0 16771 0
[pid=25708/tid=25709] ppid=25705 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29048273 98570240 978 33554432000 1073741824 1073778376 140735484428144 139947094249000 242167399808 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100122 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 25708
/proc/meminfo: memFree=31332988/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 4387 0 1 0 9 1 0 0 20 0 18 0 29048273 9787879424 6016 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2389619 6016 2125 9 0 2380296 0
[pid=25708/tid=25709] ppid=25705 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2373 0 1 0 6 1 0 0 20 0 18 0 29048273 9787879424 6016 33554432000 1073741824 1073778376 140735484428144 139947094252448 139947096987605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200346 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 25708
/proc/meminfo: memFree=31332988/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 4676 0 1 0 23 1 0 0 20 0 18 0 29048273 9787879424 6759 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2389619 6759 2203 9 0 2380296 0
[pid=25708/tid=25709] ppid=25705 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2394 0 1 0 16 1 0 0 20 0 18 0 29048273 9787879424 6759 33554432000 1073741824 1073778376 140735484428144 139947094246408 139946962737449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300346 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 25708
/proc/meminfo: memFree=31332988/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 6097 0 1 0 49 2 0 0 20 0 19 0 29048273 9856040960 8107 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 8107 2243 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 19 0 29048273 9856040960 8107 33554432000 1073741824 1073778376 140735484428144 139947094254208 139946963152751 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040
[startup+0.700251 s]
/proc/loadavg: 2.00 2.02 2.00 3/194 25708
/proc/meminfo: memFree=31332988/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 6477 0 1 0 99 2 0 0 20 0 19 0 29048273 9856040960 8631 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 8631 2253 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2410 0 1 0 66 1 0 0 20 0 19 0 29048273 9856040960 8631 33554432000 1073741824 1073778376 140735484428144 139947094254208 139946962838224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.00 2.02 2.00 4/213 25727
/proc/meminfo: memFree=31294696/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 8866 0 1 0 192 2 0 0 20 0 19 0 29048273 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 10633 2257 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2414 0 1 0 146 1 0 0 20 0 19 0 29048273 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139947094254040 139946963210054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 1373 0 0 0 15 0 0 0 20 0 19 0 29048278 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 3806 0 0 0 28 0 0 0 20 0 19 0 29048278 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25727] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25727/stat : 25727 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048293 9856040960 10633 33554432000 1073741824 1073778376 140735484428144 139946910045352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 25727
/proc/meminfo: memFree=31266908/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 17003 0 1 0 424 4 0 0 20 0 19 0 29048273 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 17260 2257 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2419 0 1 0 306 1 0 0 20 0 19 0 29048273 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139947094254104 139946963162630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 1935 0 0 0 21 0 0 0 20 0 19 0 29048278 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.96 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 11376 0 0 0 94 2 0 0 20 0 19 0 29048278 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25727] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25727/stat : 25727 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048293 9856040960 17260 33554432000 1073741824 1073778376 140735484428144 139946910045352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 25792
/proc/meminfo: memFree=31283436/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=7.58 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 18119 0 1 0 753 5 0 0 20 0 19 0 29048273 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 20640 2258 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2431 0 1 0 625 2 0 0 20 0 19 0 29048273 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139947094252088 139946963224961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 3038 0 0 0 28 0 0 0 20 0 19 0 29048278 9856040960 20640 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
################
# More data... #
################
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 3040 0 0 0 32 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 11376 0 0 0 95 2 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25727] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25727/stat : 25727 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048293 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946910045352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 81.39
Current children cumulated vsize (KiB) 9625040
[startup+80.8008 s]
/proc/loadavg: 2.17 2.07 2.02 3/213 26118
/proc/meminfo: memFree=31016096/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=82.19 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 18241 0 1 0 8208 11 0 0 20 0 19 0 29048273 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 50868 2271 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=80.75 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2483 0 1 0 8069 6 0 0 20 0 19 0 29048273 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947094252768 139946963250914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 3040 0 0 0 32 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 11376 0 0 0 95 2 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25727] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25727/stat : 25727 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048293 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946910045352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 82.19
Current children cumulated vsize (KiB) 9625040
[startup+81.2008 s]
/proc/loadavg: 2.17 2.07 2.02 3/213 26118
/proc/meminfo: memFree=31016096/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9625040 CPUtime=82.59 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 18241 0 1 0 8248 11 0 0 20 0 19 0 29048273 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2406260 50868 2271 9 0 2396937 0
[pid=25708/tid=25709] ppid=25705 vsize=9625040 CPUtime=81.15 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) R 25705 25708 24550 0 -1 4202560 2483 0 1 0 8109 6 0 0 20 0 19 0 29048273 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947094252768 139946963209586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048275 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048276 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 3040 0 0 0 32 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 11376 0 0 0 95 2 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29048278 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25727] ppid=25705 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25727/stat : 25727 (java) S 25705 25708 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29048293 9856040960 50868 33554432000 1073741824 1073778376 140735484428144 139946910045352 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 82.59
Current children cumulated vsize (KiB) 9625040
[startup+81.3007 s]
/proc/loadavg: 2.17 2.07 2.02 3/213 26118
/proc/meminfo: memFree=31016096/32872528 swapFree=338416/354768
[pid=25708] ppid=25705 vsize=9691604 CPUtime=82.7 cores=0,2,4,6
/proc/25708/stat : 25708 (java) S 25705 25708 24550 0 -1 4202496 18252 0 1 0 8259 11 0 0 20 0 19 0 29048273 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 140735484419280 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2422901 50877 2272 9 0 2413578 0
[pid=25708/tid=25709] ppid=25705 vsize=9691604 CPUtime=81.25 cores=0,2,4,6
/proc/25708/task/25709/stat : 25709 (java) S 25705 25708 24550 0 -1 4202560 2485 0 1 0 8119 6 0 0 20 0 19 0 29048273 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139947094254296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25711] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25711/stat : 25711 (java) S 25705 25708 24550 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139947083315752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25712] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25712/stat : 25712 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139947082262952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25713] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25713/stat : 25713 (java) S 25705 25708 24550 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139947081210152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25714] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25714/stat : 25714 (java) S 25705 25708 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946935138472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25715] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25715/stat : 25715 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946934086696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25716] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25716/stat : 25716 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946933033896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25708/tid=25717] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25717/stat : 25717 (java) S 25705 25708 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946931981096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25718] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25718/stat : 25718 (java) S 25705 25708 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29048274 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946930928296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25708/tid=25719] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25719/stat : 25719 (java) S 25705 25708 24550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29048275 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946918517224 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25720] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25720/stat : 25720 (java) S 25705 25708 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29048276 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946917463288 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25721] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25721/stat : 25721 (java) S 25705 25708 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29048276 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946916410376 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25722] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25722/stat : 25722 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946915358864 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25723] ppid=25705 vsize=9691604 CPUtime=0.32 cores=0,2,4,6
/proc/25708/task/25723/stat : 25723 (java) S 25705 25708 24550 0 -1 4202560 3040 0 0 0 32 0 0 0 20 0 19 0 29048278 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946914307000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25708/tid=25724] ppid=25705 vsize=9691604 CPUtime=0.97 cores=0,2,4,6
/proc/25708/task/25724/stat : 25724 (java) S 25705 25708 24550 0 -1 4202560 11376 0 0 0 95 2 0 0 20 0 19 0 29048278 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946913254200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25725] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25725/stat : 25725 (java) S 25705 25708 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29048278 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946912201592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25708/tid=25726] ppid=25705 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/25708/task/25726/stat : 25726 (java) S 25705 25708 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29048278 9924202496 50877 33554432000 1073741824 1073778376 140735484428144 139946911149000 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 82.7
Current children cumulated vsize (KiB) 9691604
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25708 and gives
# childrusage.ru_utime.tv_sec=82
# childrusage.ru_utime.tv_usec=529453
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=161975
# CPU time returned by wait4() is 82.6914
# while last known CPU time is 82.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 81.3067
CPU time (s): 82.7
CPU user time (s): 82.59
CPU system time (s): 0.11
CPU usage (%): 101.714
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.5295
system time used= 0.161975
maximum resident set size= 203528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18263
page faults= 1
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2050
involuntary context switches= 339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.486925 second user time and 0.440932 second system time
The end