runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454482-1307187775/watcher-3454482-1307187775 -o /tmp/evaluation-result-3454482-1307187775/solver-3454482-1307187775 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454482-1307187775.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.51 3.66 3.29 3/596 1087
/proc/meminfo: memFree=23041608/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1087/stat : 1087 (java) R 1085 1087 30921 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 830375206 23580672 692 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212682712552 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1087/statm: 5757 693 510 9 0 124 0
[pid=1087/tid=1088] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) R 1085 1087 30921 0 -1 4202560 8829 0 1 0 0 0 0 0 25 0 10 0 830375207 10703900672 9654 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 47360786260650 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9656 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) R 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9658 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9658 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9662 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9663 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9665 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9670 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830375208 10703900672 9673 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.07943 s]
/proc/loadavg: 3.51 3.66 3.29 3/596 1087
/proc/meminfo: memFree=23041608/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10538900 CPUtime=0.07 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 12389 0 1 0 6 1 0 0 25 0 18 0 830375206 10791833600 12085 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2634725 12086 1972 9 0 2625459 0
[pid=1087/tid=1088] ppid=1085 vsize=10540248 CPUtime=0.07 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) R 1085 1087 30921 0 -1 4202560 10983 0 1 0 6 1 0 0 18 0 18 0 830375207 10793213952 12538 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12538 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12538 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12538 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12540 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12540 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12542 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12543 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12544 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.109404 s]
/proc/loadavg: 3.51 3.66 3.29 3/596 1087
/proc/meminfo: memFree=23041608/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10540248 CPUtime=0.12 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 13254 0 1 0 11 1 0 0 25 0 18 0 830375206 10793213952 12950 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2635062 12950 2122 9 0 2625796 0
[pid=1087/tid=1088] ppid=1085 vsize=10540248 CPUtime=0.09 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) R 1085 1087 30921 0 -1 4202560 11282 0 1 0 8 1 0 0 18 0 18 0 830375207 10793213952 12950 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 47360791804755 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12950 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12950 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12951 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12952 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12952 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12954 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12955 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10540248 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10793213952 12955 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540248
[startup+0.301367 s]
/proc/loadavg: 3.51 3.66 3.29 3/596 1087
/proc/meminfo: memFree=23041608/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10541664 CPUtime=0.56 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 20948 0 1 0 54 2 0 0 25 0 18 0 830375206 10794663936 20028 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2635416 20035 2203 9 0 2626150 0
[pid=1087/tid=1088] ppid=1085 vsize=10541664 CPUtime=0.28 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) R 1085 1087 30921 0 -1 4202560 17679 0 1 0 26 2 0 0 18 0 18 0 830375207 10794663936 20053 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505622933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20061 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20067 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20068 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20066 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20073 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20074 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20074 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10541664 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830375208 10794663936 20081 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10541664
[startup+0.701315 s]
/proc/loadavg: 3.51 3.66 3.29 3/596 1087
/proc/meminfo: memFree=23041608/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10546952 CPUtime=1.12 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 24651 0 1 0 109 3 0 0 25 0 19 0 830375206 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2636738 22399 2233 9 0 2627472 0
[pid=1087/tid=1088] ppid=1085 vsize=10546952 CPUtime=0.32 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) S 1085 1087 30921 0 -1 4202560 18859 0 1 0 30 2 0 0 19 0 19 0 830375207 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10546952 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10800078848 22399 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10546952
[startup+1.50118 s]
/proc/loadavg: 3.51 3.66 3.29 7/618 1112
/proc/meminfo: memFree=22951104/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10549328 CPUtime=2.67 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 31542 0 1 0 263 4 0 0 25 0 19 0 830375206 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2637332 27563 2237 9 0 2628066 0
[pid=1087/tid=1088] ppid=1085 vsize=10549328 CPUtime=0.38 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) S 1085 1087 30921 0 -1 4202560 19411 0 1 0 36 2 0 0 17 0 19 0 830375207 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375208 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1098] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1098/stat : 1098 (java) S 1085 1087 30921 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830375209 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 0 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1099] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1099/stat : 1099 (java) S 1085 1087 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830375210 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1100] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1100/stat : 1100 (java) S 1085 1087 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830375210 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1101] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1101/stat : 1101 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375212 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699498929 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1102] ppid=1085 vsize=10549328 CPUtime=0.52 cores=0,2,4,6
/proc/1087/task/1102/stat : 1102 (java) S 1085 1087 30921 0 -1 4202560 2017 0 0 0 52 0 0 0 16 0 19 0 830375212 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1103] ppid=1085 vsize=10549328 CPUtime=0.57 cores=0,2,4,6
/proc/1087/task/1103/stat : 1103 (java) S 1085 1087 30921 0 -1 4202560 5613 0 0 0 57 0 0 0 15 0 19 0 830375212 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1104] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1104/stat : 1104 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830375212 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1105] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1105/stat : 1105 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830375212 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1112] ppid=1085 vsize=10549328 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1112/stat : 1112 (java) S 1085 1087 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 830375296 10802511872 27563 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10549328
[startup+3.10084 s]
################
# More data... #
################
/proc/meminfo: memFree=16001644/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10550232 CPUtime=1577.32 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 971634 0 1 0 157612 120 0 0 25 0 22 0 830375206 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2637558 964784 2266 9 0 2628292 0
[pid=1087/tid=1088] ppid=1085 vsize=10550232 CPUtime=0.46 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) S 1085 1087 30921 0 -1 4202560 20600 0 1 0 44 2 0 0 15 0 22 0 830375207 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10550232 CPUtime=0.97 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 15353 0 0 0 95 2 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10550232 CPUtime=0.84 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 6761 0 0 0 83 1 0 0 15 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10550232 CPUtime=0.92 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 14136 0 0 0 90 2 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10550232 CPUtime=0.88 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 6426 0 0 0 87 1 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10550232 CPUtime=0.96 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 10775 0 0 0 95 1 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10550232 CPUtime=0.97 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 8583 0 0 0 96 1 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10550232 CPUtime=0.74 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 11591 0 0 0 73 1 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10550232 CPUtime=0.85 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 8256 0 0 0 84 1 0 0 16 0 22 0 830375208 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1098] ppid=1085 vsize=10550232 CPUtime=64.83 cores=0,2,4,6
/proc/1087/task/1098/stat : 1098 (java) S 1085 1087 30921 0 -1 4202560 56771 0 0 0 6475 8 0 0 16 0 22 0 830375209 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 0 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1099] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1099/stat : 1099 (java) S 1085 1087 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1100] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1100/stat : 1100 (java) S 1085 1087 30921 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1101] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1101/stat : 1101 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699498929 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1102] ppid=1085 vsize=10550232 CPUtime=0.74 cores=0,2,4,6
/proc/1087/task/1102/stat : 1102 (java) S 1085 1087 30921 0 -1 4202560 2040 0 0 0 74 0 0 0 15 0 22 0 830375212 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1103] ppid=1085 vsize=10550232 CPUtime=1.12 cores=0,2,4,6
/proc/1087/task/1103/stat : 1103 (java) S 1085 1087 30921 0 -1 4202560 5890 0 0 0 112 0 0 0 15 0 22 0 830375212 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1104] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1104/stat : 1104 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1105] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1105/stat : 1105 (java) S 1085 1087 30921 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830375212 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1112] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1112/stat : 1112 (java) S 1085 1087 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830375296 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1210] ppid=1085 vsize=10550232 CPUtime=234.95 cores=0,2,4,6
/proc/1087/task/1210/stat : 1210 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 23495 0 0 0 19 0 22 0 830430729 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505779235 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1211] ppid=1085 vsize=10550232 CPUtime=234.96 cores=0,2,4,6
/proc/1087/task/1211/stat : 1211 (java) R 1085 1087 30921 0 -1 4202560 0 0 0 0 23496 0 0 0 19 0 22 0 830430729 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505948123 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1087/tid=1212] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1212/stat : 1212 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830430729 10803437568 964784 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1577.32
Current children cumulated vsize (KiB) 10550232
[startup+882.301 s]
/proc/loadavg: 3.96 3.88 3.61 5/618 1221
/proc/meminfo: memFree=15974448/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10550232 CPUtime=1690.16 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 971668 0 1 0 168896 120 0 0 25 0 22 0 830375206 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2637558 964804 2266 9 0 2628292 0
[pid=1087/tid=1088] ppid=1085 vsize=10550232 CPUtime=0.46 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) S 1085 1087 30921 0 -1 4202560 20610 0 1 0 44 2 0 0 15 0 22 0 830375207 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10550232 CPUtime=1.01 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 15353 0 0 0 99 2 0 0 15 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10550232 CPUtime=0.92 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 6761 0 0 0 91 1 0 0 16 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10550232 CPUtime=1.02 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 14141 0 0 0 100 2 0 0 16 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10550232 CPUtime=0.92 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 6427 0 0 0 91 1 0 0 15 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10550232 CPUtime=1 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 10775 0 0 0 99 1 0 0 15 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10550232 CPUtime=1.02 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 8583 0 0 0 101 1 0 0 16 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10550232 CPUtime=0.85 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 11599 0 0 0 84 1 0 0 16 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10550232 CPUtime=0.91 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 8262 0 0 0 90 1 0 0 16 0 22 0 830375208 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1098] ppid=1085 vsize=10550232 CPUtime=72.12 cores=0,2,4,6
/proc/1087/task/1098/stat : 1098 (java) S 1085 1087 30921 0 -1 4202560 56773 0 0 0 7204 8 0 0 15 0 22 0 830375209 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 0 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1099] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1099/stat : 1099 (java) S 1085 1087 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1100] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1100/stat : 1100 (java) S 1085 1087 30921 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1101] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1101/stat : 1101 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699498929 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1102] ppid=1085 vsize=10550232 CPUtime=0.74 cores=0,2,4,6
/proc/1087/task/1102/stat : 1102 (java) S 1085 1087 30921 0 -1 4202560 2040 0 0 0 74 0 0 0 15 0 22 0 830375212 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1103] ppid=1085 vsize=10550232 CPUtime=1.12 cores=0,2,4,6
/proc/1087/task/1103/stat : 1103 (java) S 1085 1087 30921 0 -1 4202560 5890 0 0 0 112 0 0 0 15 0 22 0 830375212 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1104] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1104/stat : 1104 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1105] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1105/stat : 1105 (java) S 1085 1087 30921 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830375212 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1112] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1112/stat : 1112 (java) S 1085 1087 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830375296 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1210] ppid=1085 vsize=10550232 CPUtime=287.46 cores=0,2,4,6
/proc/1087/task/1210/stat : 1210 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 28746 0 0 0 23 0 22 0 830430729 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505697379 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1211] ppid=1085 vsize=10550232 CPUtime=287.48 cores=0,2,4,6
/proc/1087/task/1211/stat : 1211 (java) R 1085 1087 30921 0 -1 4202560 0 0 0 0 28748 0 0 0 23 0 22 0 830430729 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912506221964 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1087/tid=1212] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1212/stat : 1212 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830430729 10803437568 964804 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1690.16
Current children cumulated vsize (KiB) 10550232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+941.202 s]
/proc/loadavg: 4.11 3.93 3.65 5/618 1222
/proc/meminfo: memFree=15934364/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=10550232 CPUtime=1800 cores=0,2,4,6
/proc/1087/stat : 1087 (java) S 1085 1087 30921 0 -1 4202496 973738 0 1 0 179879 121 0 0 25 0 22 0 830375206 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 2637558 966855 2266 9 0 2628292 0
[pid=1087/tid=1088] ppid=1085 vsize=10550232 CPUtime=0.46 cores=0,2,4,6
/proc/1087/task/1088/stat : 1088 (java) S 1085 1087 30921 0 -1 4202560 20621 0 1 0 44 2 0 0 15 0 22 0 830375207 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1089] ppid=1085 vsize=10550232 CPUtime=1.04 cores=0,2,4,6
/proc/1087/task/1089/stat : 1089 (java) S 1085 1087 30921 0 -1 4202560 15353 0 0 0 102 2 0 0 15 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1090] ppid=1085 vsize=10550232 CPUtime=1.01 cores=0,2,4,6
/proc/1087/task/1090/stat : 1090 (java) S 1085 1087 30921 0 -1 4202560 6761 0 0 0 100 1 0 0 15 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1091] ppid=1085 vsize=10550232 CPUtime=1.1 cores=0,2,4,6
/proc/1087/task/1091/stat : 1091 (java) S 1085 1087 30921 0 -1 4202560 14148 0 0 0 108 2 0 0 15 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1092] ppid=1085 vsize=10550232 CPUtime=1.02 cores=0,2,4,6
/proc/1087/task/1092/stat : 1092 (java) S 1085 1087 30921 0 -1 4202560 6431 0 0 0 101 1 0 0 16 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1093] ppid=1085 vsize=10550232 CPUtime=1.1 cores=0,2,4,6
/proc/1087/task/1093/stat : 1093 (java) S 1085 1087 30921 0 -1 4202560 10775 0 0 0 109 1 0 0 16 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1094] ppid=1085 vsize=10550232 CPUtime=1.08 cores=0,2,4,6
/proc/1087/task/1094/stat : 1094 (java) S 1085 1087 30921 0 -1 4202560 8584 0 0 0 107 1 0 0 16 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1095] ppid=1085 vsize=10550232 CPUtime=0.89 cores=0,2,4,6
/proc/1087/task/1095/stat : 1095 (java) S 1085 1087 30921 0 -1 4202560 11601 0 0 0 88 1 0 0 15 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1096] ppid=1085 vsize=10550232 CPUtime=0.96 cores=0,2,4,6
/proc/1087/task/1096/stat : 1096 (java) S 1085 1087 30921 0 -1 4202560 8263 0 0 0 95 1 0 0 15 0 22 0 830375208 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1098] ppid=1085 vsize=10550232 CPUtime=80.25 cores=0,2,4,6
/proc/1087/task/1098/stat : 1098 (java) S 1085 1087 30921 0 -1 4202560 58813 0 0 0 8017 8 0 0 16 0 22 0 830375209 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 0 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1099] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1099/stat : 1099 (java) S 1085 1087 30921 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1100] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1100/stat : 1100 (java) S 1085 1087 30921 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830375210 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1101] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1101/stat : 1101 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699498929 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1102] ppid=1085 vsize=10550232 CPUtime=0.74 cores=0,2,4,6
/proc/1087/task/1102/stat : 1102 (java) S 1085 1087 30921 0 -1 4202560 2040 0 0 0 74 0 0 0 15 0 22 0 830375212 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 0 0 0 0
[pid=1087/tid=1103] ppid=1085 vsize=10550232 CPUtime=1.12 cores=0,2,4,6
/proc/1087/task/1103/stat : 1103 (java) S 1085 1087 30921 0 -1 4202560 5890 0 0 0 112 0 0 0 15 0 22 0 830375212 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1104] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1104/stat : 1104 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830375212 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491225 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
[pid=1087/tid=1105] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1105/stat : 1105 (java) S 1085 1087 30921 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830375212 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 2 0 0 0
[pid=1087/tid=1112] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1112/stat : 1112 (java) S 1085 1087 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830375296 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 4 0 0 0
[pid=1087/tid=1210] ppid=1085 vsize=10550232 CPUtime=338.04 cores=0,2,4,6
/proc/1087/task/1210/stat : 1210 (java) R 1085 1087 30921 0 -1 4202560 1 0 0 0 33804 0 0 0 18 0 22 0 830430729 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505734874 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1087/tid=1211] ppid=1085 vsize=10550232 CPUtime=338.08 cores=0,2,4,6
/proc/1087/task/1211/stat : 1211 (java) R 1085 1087 30921 0 -1 4202560 0 0 0 0 33808 0 0 0 18 0 22 0 830430729 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 46912505947970 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1087/tid=1212] ppid=1085 vsize=10550232 CPUtime=0 cores=0,2,4,6
/proc/1087/task/1212/stat : 1212 (java) S 1085 1087 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830430729 10803437568 966855 33554432000 1073741824 1073778376 140733581302896 18446744073709551615 212699491840 0 4 0 16800975 18446604442378859520 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10550232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+941.401 s]
/proc/loadavg: 4.11 3.93 3.65 5/618 1222
/proc/meminfo: memFree=15934364/32951124 swapFree=58940260/67111528
[pid=1087] ppid=1085 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/1087/stat : 1087 (java) Z 1085 1087 30921 0 -1 4203548 973769 0 1 0 179892 135 0 0 17 0 2 0 830375206 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1087/statm: 0 0 0 0 0 0 0
[pid=1087/tid=1210] ppid=1085 vsize=0 CPUtime=338.21 cores=0,2,4,6
/proc/1087/task/1210/stat : 1210 (java) R 1085 1087 30921 0 -1 4203588 1 0 0 0 33807 14 0 0 18 0 2 0 830430729 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 941.413
CPU time (s): 1800.29
CPU user time (s): 1798.92
CPU system time (s): 1.36979
CPU usage (%): 191.233
Max. virtual memory (cumulated for all children) (KiB): 10550704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.36979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 973769
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27187
involuntary context switches= 21069
runsolver used 5.9331 second user time and 12.5041 second system time
The end