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-4089222-1466020507/watcher-4089222-1466020507 -o /tmp/evaluation-result-4089222-1466020507/solver-4089222-1466020507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466009078-4983 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089222-1466020507.opb
pid=7852
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.03 2.00 3/194 7855
/proc/meminfo: memFree=31113592/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7855/stat : 7855 (java) R 7852 7855 4966 0 -1 4202496 641 0 0 0 0 0 0 0 20 0 1 0 4100662 23793664 291 33554432000 1073741824 1073778376 140737456348128 140737456337192 224913308211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 5809 305 236 9 0 128 0
[startup+0.10006 s]
/proc/loadavg: 2.09 2.03 2.00 3/194 7855
/proc/meminfo: memFree=31113592/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 4100662 9787879424 6036 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200309 s]
/proc/loadavg: 2.09 2.03 2.00 3/194 7855
/proc/meminfo: memFree=31113592/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 6522 0 1 0 28 1 0 0 20 0 19 0 4100662 9856040960 7424 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 7424 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040
[startup+0.300331 s]
/proc/loadavg: 2.09 2.03 2.00 3/194 7855
/proc/meminfo: memFree=31113592/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 6739 0 1 0 48 1 0 0 20 0 19 0 4100662 9856040960 7917 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 7917 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700255 s]
/proc/loadavg: 2.09 2.03 2.00 3/194 7855
/proc/meminfo: memFree=31113592/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=1.02 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 7776 0 1 0 100 2 0 0 20 0 19 0 4100662 9856040960 8960 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 8960 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 7874
/proc/meminfo: memFree=31081980/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=1.85 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 7791 0 1 0 183 2 0 0 20 0 19 0 4100662 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 11018 2256 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2414 0 1 0 145 2 0 0 20 0 19 0 4100662 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862304938416 139862137564619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 1689 0 0 0 17 0 0 0 20 0 19 0 4100668 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2416 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 11018 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 9625040
[startup+3.10077 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 7874
/proc/meminfo: memFree=31071120/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 7797 0 1 0 344 2 0 0 20 0 19 0 4100662 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 14090 2256 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2420 0 1 0 304 2 0 0 20 0 19 0 4100662 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862304931520 139862137620516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 1689 0 0 0 19 0 0 0 20 0 19 0 4100668 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2416 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 14090 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040
[startup+6.30083 s]
/proc/loadavg: 2.09 2.03 2.00 3/213 7874
/proc/meminfo: memFree=31049672/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=6.67 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 7809 0 1 0 665 2 0 0 20 0 19 0 4100662 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 18911 2257 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2431 0 1 0 624 2 0 0 20 0 19 0 4100662 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862304931520 139862137718481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4100664 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 1689 0 0 0 20 0 0 0 20 0 19 0 4100668 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2416 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 18911 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 3131 0 0 0 27 0 0 0 20 0 19 0 4100668 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2418 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 96 0 0 0 22 34 0 0 20 0 19 0 4100668 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 112650 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.84
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/213 8006
/proc/meminfo: memFree=30522880/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=1726.93 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 11905 0 1 0 172610 83 0 0 20 0 19 0 4100662 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 111351 2280 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=1720.07 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2511 0 1 0 171976 31 0 0 20 0 19 0 4100662 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862304931504 139862137545503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 524 0 0 0 69 8 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 405 0 0 0 65 6 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 65 5 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 115 0 0 0 60 6 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 263 0 0 0 59 8 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 262 0 0 0 61 7 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 66 7 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 249 0 0 0 62 8 0 0 20 0 19 0 4100664 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 201 0 0 0 44 2 0 0 20 0 19 0 4100665 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 3131 0 0 0 27 0 0 0 20 0 19 0 4100668 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2418 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 100 0 0 0 23 36 0 0 20 0 19 0 4100668 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 111351 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.93
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/213 8008
/proc/meminfo: memFree=30543536/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=1787.12 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 11915 0 1 0 178628 84 0 0 20 0 19 0 4100662 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 108994 2280 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=1780 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2513 0 1 0 177968 32 0 0 20 0 19 0 4100662 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862304931504 139862137607506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 524 0 0 0 74 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 405 0 0 0 67 6 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 67 5 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 115 0 0 0 63 6 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 263 0 0 0 63 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 262 0 0 0 63 7 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 71 7 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 249 0 0 0 67 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 205 0 0 0 44 2 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 3131 0 0 0 27 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2418 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 104 0 0 0 24 38 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.12
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.2 s]
/proc/loadavg: 2.06 2.04 2.00 3/213 8008
/proc/meminfo: memFree=30543784/32872528 swapFree=162364/176672
[pid=7855] ppid=7852 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/7855/stat : 7855 (java) S 7852 7855 4966 0 -1 4202496 11915 0 1 0 179919 84 0 0 20 0 19 0 4100662 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 140737456339264 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7855/statm: 2406260 108994 2280 9 0 2396937 0
[pid=7855/tid=7857] ppid=7852 vsize=9625040 CPUtime=1792.91 cores=1,3,5,7
/proc/7855/task/7857/stat : 7857 (java) R 7852 7855 4966 0 -1 4202560 2513 0 1 0 179259 32 0 0 20 0 19 0 4100662 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862304931504 139862137607506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7858] ppid=7852 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/7855/task/7858/stat : 7858 (java) S 7852 7855 4966 0 -1 4202560 524 0 0 0 74 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862266431656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7859] ppid=7852 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/7855/task/7859/stat : 7859 (java) S 7852 7855 4966 0 -1 4202560 405 0 0 0 67 6 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862265379112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7860] ppid=7852 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/7855/task/7860/stat : 7860 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 67 5 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862264326568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7861] ppid=7852 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/7855/task/7861/stat : 7861 (java) S 7852 7855 4966 0 -1 4202560 115 0 0 0 63 6 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862263274024 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7862] ppid=7852 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/7855/task/7862/stat : 7862 (java) S 7852 7855 4966 0 -1 4202560 263 0 0 0 63 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862262221480 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7863] ppid=7852 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/7855/task/7863/stat : 7863 (java) S 7852 7855 4966 0 -1 4202560 262 0 0 0 63 7 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862261168936 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7864] ppid=7852 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7855/task/7864/stat : 7864 (java) S 7852 7855 4966 0 -1 4202560 234 0 0 0 71 7 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862260116392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7865] ppid=7852 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/7855/task/7865/stat : 7865 (java) S 7852 7855 4966 0 -1 4202560 249 0 0 0 67 8 0 0 20 0 19 0 4100664 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862259063848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7855/tid=7866] ppid=7852 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/7855/task/7866/stat : 7866 (java) S 7852 7855 4966 0 -1 4202560 205 0 0 0 44 2 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862128683112 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7867] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7867/stat : 7867 (java) S 7852 7855 4966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862127629432 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7868] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7868/stat : 7868 (java) S 7852 7855 4966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4100665 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862126576776 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7869] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7869/stat : 7869 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862125525520 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7870] ppid=7852 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7855/task/7870/stat : 7870 (java) S 7852 7855 4966 0 -1 4202560 3131 0 0 0 27 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862124472888 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7855/tid=7871] ppid=7852 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/7855/task/7871/stat : 7871 (java) S 7852 7855 4966 0 -1 4202560 2418 0 0 0 18 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862123420344 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7872] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7872/stat : 7872 (java) S 7852 7855 4966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139862122367992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7855/tid=7873] ppid=7852 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7855/task/7873/stat : 7873 (java) S 7852 7855 4966 0 -1 4202560 104 0 0 0 25 38 0 0 20 0 19 0 4100668 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139861113695560 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7855/tid=7874] ppid=7852 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7855/task/7874/stat : 7874 (java) S 7852 7855 4966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4100677 9856040960 108994 33554432000 1073741824 1073778376 140737456348128 139861112640296 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040
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 7855 sig 9
??? kill -7855 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.25
CPU time (s): 1800.67
CPU user time (s): 1799.26
CPU system time (s): 1.41079
CPU usage (%): 100.302
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 1.41078
maximum resident set size= 672392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11960
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39165
involuntary context switches= 21033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.76351 second user time and 14.4428 second system time
The end