runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3689469-1337890603/watcher-3689469-1337890603 -o /tmp/evaluation-result-3689469-1337890603/solver-3689469-1337890603 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689469-1337890603.opb
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.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/29802/stat : 29802 (java) D 29800 29802 27428 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 255186248 9515008 182 33554432000 1073741824 1073778376 140733313652512 140733313643544 242167398069 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/29802/statm: 2323 182 140 9 0 71 0
[startup+0.052894 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 3069 0 1 0 2 0 0 0 20 0 13 0 255186248 9446973440 3768 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2306390 3769 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100249 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 4352 0 1 0 8 1 0 0 20 0 18 0 255186248 9787813888 5551 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2389603 5556 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300176 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9558412 CPUtime=0.53 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 5952 0 1 0 52 1 0 0 20 0 18 0 255186248 9787813888 10016 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2389603 10016 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412
[startup+0.700185 s]
/proc/loadavg: 2.00 2.03 2.01 3/194 29802
/proc/meminfo: memFree=26895172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1.48 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 9487 0 1 0 145 3 0 0 20 0 19 0 255186248 9855975424 26439 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 26439 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624976
[startup+1.50069 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26788172/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=2.42 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 9639 0 1 0 238 4 0 0 20 0 19 0 255186248 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 30814 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2492 0 1 0 139 2 0 0 20 0 19 0 255186249 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830279025048 139830126880400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 255186251 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 3702 0 0 0 46 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 30814 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9624976
[startup+3.10053 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26777808/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=4.09 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 10117 0 1 0 405 4 0 0 20 0 19 0 255186248 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 31851 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=2.94 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2493 0 1 0 291 3 0 0 20 0 19 0 255186249 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830279025096 139830126975178 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 255186251 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4162 0 0 0 51 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 31851 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9624976
[startup+6.30061 s]
/proc/loadavg: 2.00 2.03 2.01 3/213 29821
/proc/meminfo: memFree=26773836/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=7.3 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 10127 0 1 0 726 4 0 0 20 0 19 0 255186248 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 32305 2282 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=6.05 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2497 0 1 0 602 3 0 0 20 0 19 0 255186249 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126887387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255186250 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 35 0 0 0 15 0 0 0 20 0 19 0 255186251 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 2190 0 0 0 41 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4162 0 0 0 51 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 32305 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.64 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 160 4 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 161 4 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.56 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 153 3 0 0 20 0 19 0 255186250 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.55 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 168 0 0 0 1351 4 0 0 20 0 19 0 255186251 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 99 0 0 0 20 24 0 0 20 0 19 0 255186254 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 116607 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1733.94
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29243048/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1794.21 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179354 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1764.5 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 176420 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 20 24 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.21
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29234856/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179935 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1770.31 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 177001 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 29897
/proc/meminfo: memFree=29234856/32873648 swapFree=7112/7112
[pid=29802] ppid=29800 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/29802/stat : 29802 (java) S 29800 29802 27428 0 -1 4202496 21387 0 1 0 179935 67 0 0 20 0 19 0 255186248 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 140735825051696 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29802/statm: 2406244 117518 2285 9 0 2396937 0
[pid=29802/tid=29804] ppid=29800 vsize=9624976 CPUtime=1770.31 cores=1,3,5,7
/proc/29802/task/29804/stat : 29804 (java) R 29800 29802 27428 0 -1 4202560 2757 0 1 0 177001 30 0 0 20 0 19 0 255186249 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830279024928 139830126875584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29805] ppid=29800 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/29802/task/29805/stat : 29805 (java) S 29800 29802 27428 0 -1 4202560 452 0 0 0 175 6 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830251477800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29806] ppid=29800 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/29802/task/29806/stat : 29806 (java) S 29800 29802 27428 0 -1 4202560 430 0 0 0 178 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830250425000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29807] ppid=29800 vsize=9624976 CPUtime=1.8 cores=1,3,5,7
/proc/29802/task/29807/stat : 29807 (java) S 29800 29802 27428 0 -1 4202560 315 0 0 0 176 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830249372712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29808] ppid=29800 vsize=9624976 CPUtime=1.75 cores=1,3,5,7
/proc/29802/task/29808/stat : 29808 (java) S 29800 29802 27428 0 -1 4202560 457 0 0 0 170 5 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830248319912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29809] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29809/stat : 29809 (java) S 29800 29802 27428 0 -1 4202560 319 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830247266600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29810] ppid=29800 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/29802/task/29810/stat : 29810 (java) S 29800 29802 27428 0 -1 4202560 345 0 0 0 164 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830246213800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29811] ppid=29800 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/29802/task/29811/stat : 29811 (java) S 29800 29802 27428 0 -1 4202560 397 0 0 0 163 4 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830245161512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29802/tid=29812] ppid=29800 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/29802/task/29812/stat : 29812 (java) S 29800 29802 27428 0 -1 4202560 311 0 0 0 157 3 0 0 20 0 19 0 255186250 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139830115215784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29813] ppid=29800 vsize=9624976 CPUtime=13.92 cores=1,3,5,7
/proc/29802/task/29813/stat : 29813 (java) S 29800 29802 27428 0 -1 4202560 172 0 0 0 1388 4 0 0 20 0 19 0 255186251 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829632269032 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29814] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29814/stat : 29814 (java) S 29800 29802 27428 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829631215096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29815] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29815/stat : 29815 (java) S 29800 29802 27428 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255186252 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829630162696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29816] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29816/stat : 29816 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829629111184 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29802/tid=29817] ppid=29800 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/29802/task/29817/stat : 29817 (java) S 29800 29802 27428 0 -1 4202560 9487 0 0 0 96 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829628057784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29802/tid=29818] ppid=29800 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/29802/task/29818/stat : 29818 (java) S 29800 29802 27428 0 -1 4202560 4663 0 0 0 70 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829627004984 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29819] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29819/stat : 29819 (java) S 29800 29802 27428 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829625952888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29820] ppid=29800 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/29802/task/29820/stat : 29820 (java) S 29800 29802 27428 0 -1 4202560 103 0 0 0 21 25 0 0 20 0 19 0 255186254 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829624900296 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29802/tid=29821] ppid=29800 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/29802/task/29821/stat : 29821 (java) S 29800 29802 27428 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255186297 9855975424 117518 33554432000 1073741824 1073778376 140735825060560 139829623846312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1788.15
CPU time (s): 1800.51
CPU user time (s): 1799.42
CPU system time (s): 1.09183
CPU usage (%): 100.691
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 1.09183
maximum resident set size= 470196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21420
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44455
involuntary context switches= 22715
runsolver used 7.07192 second user time and 13.332 second system time
The end