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-3456101-1307662854/watcher-3456101-1307662854 -o /tmp/evaluation-result-3456101-1307662854/solver-3456101-1307662854 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456101-1307662854.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.04 2.13 3/195 29722
/proc/meminfo: memFree=31571344/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 877885065 31272960 959 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 7634 958 732 9 0 385 0
[pid=29722/tid=29723] ppid=29720 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) S 29720 29722 28625 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 877885065 31268864 962 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274469043847 0 2147483391 0 16784584 18446744071699215550 0 0 -1 5 0 0 0
[startup+0.067402 s]
/proc/loadavg: 2.00 2.04 2.13 3/195 29722
/proc/meminfo: memFree=31571344/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 11824 0 1 0 5 1 0 0 25 0 18 0 877885065 10791550976 11520 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2634656 11520 1742 9 0 2625390 0
[pid=29722/tid=29723] ppid=29720 vsize=10538624 CPUtime=0.06 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 10651 0 1 0 5 1 0 0 25 0 18 0 877885065 10791550976 11522 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 47441981971283 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.100334 s]
/proc/loadavg: 2.00 2.04 2.13 3/195 29722
/proc/meminfo: memFree=31571344/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10539812 CPUtime=0.1 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 13088 0 1 0 9 1 0 0 25 0 18 0 877885065 10792767488 12763 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2634953 12763 2092 9 0 2625687 0
[pid=29722/tid=29723] ppid=29720 vsize=10539812 CPUtime=0.09 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 11158 0 1 0 8 1 0 0 25 0 18 0 877885065 10792767488 12763 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 47441979874904 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539812
[startup+0.300301 s]
/proc/loadavg: 2.00 2.04 2.13 3/195 29722
/proc/meminfo: memFree=31571344/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10540468 CPUtime=0.48 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 15757 0 1 0 47 1 0 0 25 0 18 0 877885065 10793439232 15019 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2635117 15020 2218 9 0 2625851 0
[pid=29722/tid=29723] ppid=29720 vsize=10540468 CPUtime=0.28 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 12797 0 1 0 27 1 0 0 25 0 18 0 877885065 10793439232 15020 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505576686 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540468
[startup+0.700232 s]
/proc/loadavg: 2.00 2.04 2.13 3/195 29722
/proc/meminfo: memFree=31571344/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10550940 CPUtime=1.65 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 31402 0 1 0 162 3 0 0 25 0 19 0 877885065 10804162560 28612 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637735 28612 2232 9 0 2628469 0
[pid=29722/tid=29723] ppid=29720 vsize=10550940 CPUtime=0.69 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 21046 0 1 0 67 2 0 0 25 0 19 0 877885065 10804162560 28613 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505916929 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10550940
[startup+1.50109 s]
/proc/loadavg: 2.00 2.04 2.13 4/214 29741
/proc/meminfo: memFree=31064844/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10551708 CPUtime=3.06 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 78496 0 1 0 297 9 0 0 25 0 19 0 877885065 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637927 75705 2237 9 0 2628661 0
[pid=29722/tid=29723] ppid=29720 vsize=10551708 CPUtime=1.48 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 67841 0 1 0 141 7 0 0 25 0 19 0 877885065 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912506061072 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877885068 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877885068 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885068 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10551708 CPUtime=0.71 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4032 0 0 0 71 0 0 0 24 0 19 0 877885070 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10551708 CPUtime=0.83 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5462 0 0 0 83 0 0 0 15 0 19 0 877885070 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877885070 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10804948992 75705 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10551708
[startup+3.10087 s]
/proc/loadavg: 2.00 2.04 2.13 4/214 29741
/proc/meminfo: memFree=30341056/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10551708 CPUtime=4.72 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 217891 0 1 0 449 23 0 0 25 0 19 0 877885065 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637927 215098 2238 9 0 2628661 0
[pid=29722/tid=29723] ppid=29720 vsize=10551708 CPUtime=3.09 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 207232 0 1 0 287 22 0 0 25 0 19 0 877885065 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912506061072 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215098 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877885067 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877885068 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877885068 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885068 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10551708 CPUtime=0.74 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4034 0 0 0 74 0 0 0 15 0 19 0 877885070 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10551708 CPUtime=0.87 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5464 0 0 0 87 0 0 0 15 0 19 0 877885070 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877885070 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10551708 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10804948992 215099 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 10551708
[startup+6.3013 s]
/proc/loadavg: 2.00 2.03 2.13 4/214 29741
/proc/meminfo: memFree=28187184/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10549012 CPUtime=7.95 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 482024 0 1 0 746 49 0 0 25 0 19 0 877885065 10802188288 478563 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637253 478563 2239 9 0 2627987 0
[pid=29722/tid=29723] ppid=29720 vsize=10549012 CPUtime=6.28 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 471364 0 1 0 581 47 0 0 25 0 19 0 877885065 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505916706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 877885067 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877885068 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877885068 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885068 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10549012 CPUtime=0.76 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4035 0 0 0 76 0 0 0 15 0 19 0 877885070 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10549012 CPUtime=0.87 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5464 0 0 0 87 0 0 0 15 0 19 0 877885070 10802188288 478564 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10549012 CPUtime=0.9 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4065 0 0 0 90 0 0 0 16 0 19 0 877885070 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10549012 CPUtime=0.95 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5515 0 0 0 94 1 0 0 15 0 19 0 877885070 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 877885070 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10802188288 973096 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1668.3
Current children cumulated vsize (KiB) 10549012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/214 29799
/proc/meminfo: memFree=24223316/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10549012 CPUtime=1728.41 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 981108 0 1 0 172741 100 0 0 25 0 19 0 877885065 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637253 975091 2268 9 0 2627987 0
[pid=29722/tid=29723] ppid=29720 vsize=10549012 CPUtime=1720.3 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 803367 0 1 0 171951 79 0 0 25 0 19 0 877885065 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505954940 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10549012 CPUtime=0.78 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 27208 0 0 0 76 2 0 0 15 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10549012 CPUtime=0.71 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 15788 0 0 0 69 2 0 0 16 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10549012 CPUtime=0.68 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 18965 0 0 0 67 1 0 0 16 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10549012 CPUtime=0.73 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 17698 0 0 0 72 1 0 0 15 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10549012 CPUtime=0.68 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 22450 0 0 0 67 1 0 0 16 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10549012 CPUtime=0.58 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 14416 0 0 0 56 2 0 0 16 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10549012 CPUtime=0.77 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 24815 0 0 0 74 3 0 0 15 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10549012 CPUtime=0.71 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 24013 0 0 0 69 2 0 0 15 0 19 0 877885067 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10549012 CPUtime=0.5 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 1557 0 0 0 50 0 0 0 15 0 19 0 877885068 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10549012 CPUtime=0.9 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4065 0 0 0 90 0 0 0 16 0 19 0 877885070 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10549012 CPUtime=0.95 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5515 0 0 0 94 1 0 0 15 0 19 0 877885070 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877885070 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10802188288 975091 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1728.41
Current children cumulated vsize (KiB) 10549012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/214 29800
/proc/meminfo: memFree=24207756/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10549012 CPUtime=1788.56 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 984067 0 1 0 178755 101 0 0 25 0 19 0 877885065 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637253 977987 2268 9 0 2627987 0
[pid=29722/tid=29723] ppid=29720 vsize=10549012 CPUtime=1780.26 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 803370 0 1 0 177947 79 0 0 25 0 19 0 877885065 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505968447 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10549012 CPUtime=0.81 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 27792 0 0 0 79 2 0 0 15 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10549012 CPUtime=0.73 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 16121 0 0 0 71 2 0 0 15 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10549012 CPUtime=0.7 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 19311 0 0 0 69 1 0 0 15 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10549012 CPUtime=0.76 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 18149 0 0 0 75 1 0 0 16 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10549012 CPUtime=0.72 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 23031 0 0 0 70 2 0 0 15 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10549012 CPUtime=0.61 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 14803 0 0 0 59 2 0 0 16 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10549012 CPUtime=0.78 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 24972 0 0 0 75 3 0 0 16 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10549012 CPUtime=0.72 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 24122 0 0 0 70 2 0 0 16 0 19 0 877885067 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10549012 CPUtime=0.5 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 1561 0 0 0 50 0 0 0 15 0 19 0 877885068 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10549012 CPUtime=0.9 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4065 0 0 0 90 0 0 0 16 0 19 0 877885070 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10549012 CPUtime=0.95 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5515 0 0 0 94 1 0 0 15 0 19 0 877885070 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877885070 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10802188288 977987 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (KiB) 10549012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.7 s]
/proc/loadavg: 2.20 2.05 2.02 4/213 29859
/proc/meminfo: memFree=28135196/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=10549012 CPUtime=1800.01 cores=1,3,5,7
/proc/29722/stat : 29722 (java) S 29720 29722 28625 0 -1 4202496 984475 0 1 0 179900 101 0 0 25 0 19 0 877885065 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 2637253 978391 2268 9 0 2627987 0
[pid=29722/tid=29723] ppid=29720 vsize=10549012 CPUtime=1791.65 cores=1,3,5,7
/proc/29722/task/29723/stat : 29723 (java) R 29720 29722 28625 0 -1 4202560 803371 0 1 0 179086 79 0 0 25 0 19 0 877885065 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 46912505916706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29722/tid=29725] ppid=29720 vsize=10549012 CPUtime=0.81 cores=1,3,5,7
/proc/29722/task/29725/stat : 29725 (java) S 29720 29722 28625 0 -1 4202560 27792 0 0 0 79 2 0 0 15 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29726] ppid=29720 vsize=10549012 CPUtime=0.75 cores=1,3,5,7
/proc/29722/task/29726/stat : 29726 (java) S 29720 29722 28625 0 -1 4202560 16256 0 0 0 73 2 0 0 16 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29727] ppid=29720 vsize=10549012 CPUtime=0.7 cores=1,3,5,7
/proc/29722/task/29727/stat : 29727 (java) S 29720 29722 28625 0 -1 4202560 19311 0 0 0 69 1 0 0 15 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29728] ppid=29720 vsize=10549012 CPUtime=0.78 cores=1,3,5,7
/proc/29722/task/29728/stat : 29728 (java) S 29720 29722 28625 0 -1 4202560 18211 0 0 0 76 2 0 0 16 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29729] ppid=29720 vsize=10549012 CPUtime=0.73 cores=1,3,5,7
/proc/29722/task/29729/stat : 29729 (java) S 29720 29722 28625 0 -1 4202560 23164 0 0 0 71 2 0 0 16 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29730] ppid=29720 vsize=10549012 CPUtime=0.62 cores=1,3,5,7
/proc/29722/task/29730/stat : 29730 (java) S 29720 29722 28625 0 -1 4202560 14880 0 0 0 60 2 0 0 16 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29731] ppid=29720 vsize=10549012 CPUtime=0.78 cores=1,3,5,7
/proc/29722/task/29731/stat : 29731 (java) S 29720 29722 28625 0 -1 4202560 24972 0 0 0 75 3 0 0 15 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 7 0 0 0
[pid=29722/tid=29732] ppid=29720 vsize=10549012 CPUtime=0.72 cores=1,3,5,7
/proc/29722/task/29732/stat : 29732 (java) S 29720 29722 28625 0 -1 4202560 24122 0 0 0 70 2 0 0 15 0 19 0 877885067 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29733] ppid=29720 vsize=10549012 CPUtime=0.5 cores=1,3,5,7
/proc/29722/task/29733/stat : 29733 (java) S 29720 29722 28625 0 -1 4202560 1561 0 0 0 50 0 0 0 15 0 19 0 877885068 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 0 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29734] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29734/stat : 29734 (java) S 29720 29722 28625 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29735] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29735/stat : 29735 (java) S 29720 29722 28625 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877885068 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29736] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29736/stat : 29736 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485791153 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29737] ppid=29720 vsize=10549012 CPUtime=0.9 cores=1,3,5,7
/proc/29722/task/29737/stat : 29737 (java) S 29720 29722 28625 0 -1 4202560 4065 0 0 0 90 0 0 0 16 0 19 0 877885070 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
[pid=29722/tid=29738] ppid=29720 vsize=10549012 CPUtime=0.95 cores=1,3,5,7
/proc/29722/task/29738/stat : 29738 (java) S 29720 29722 28625 0 -1 4202560 5515 0 0 0 94 1 0 0 15 0 19 0 877885070 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29739] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29739/stat : 29739 (java) S 29720 29722 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877885070 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485783449 0 4 0 16800975 18446604471134876864 0 0 -1 3 0 0 0
[pid=29722/tid=29740] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29740/stat : 29740 (java) S 29720 29722 28625 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877885070 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 5 0 0 0
[pid=29722/tid=29741] ppid=29720 vsize=10549012 CPUtime=0 cores=1,3,5,7
/proc/29722/task/29741/stat : 29741 (java) S 29720 29722 28625 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877885129 10802188288 978391 33554432000 1073741824 1073778376 140734946594464 18446744073709551615 274485784064 0 4 0 16800975 18446604471134876864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10549012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.81 s]
/proc/loadavg: 2.20 2.05 2.02 4/213 29859
/proc/meminfo: memFree=28135196/32950928 swapFree=67079488/67111528
[pid=29722] ppid=29720 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/29722/stat : 29722 (java) Z 29720 29722 28625 0 -1 4203548 984507 0 1 0 179902 109 0 0 17 0 2 0 877885065 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.88
CPU time (s): 1800.18
CPU user time (s): 1799.02
CPU system time (s): 1.15682
CPU usage (%): 100.351
Max. virtual memory (cumulated for all children) (KiB): 10551708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.15682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 984507
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= 38938
involuntary context switches= 16645
runsolver used 3.00554 second user time and 6.78997 second system time
The end