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-3454678-1307192785/watcher-3454678-1307192785 -o /tmp/evaluation-result-3454678-1307192785/solver-3454678-1307192785 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454678-1307192785.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: 3.40 3.46 3.38 3/519 1824
/proc/meminfo: memFree=25295560/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1824/stat : 1824 (java) R 1822 1824 29288 0 -1 4202496 947 0 0 0 0 0 0 0 25 0 1 0 909509222 23580672 690 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251362577259 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1824/statm: 5757 692 508 9 0 124 0
[pid=1824/tid=1825] ppid=1822 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 7310 0 1 0 0 0 0 0 25 0 2 0 909509223 10694979584 8126 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0590761 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1824
/proc/meminfo: memFree=25295560/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 11670 0 1 0 4 1 0 0 25 0 18 0 909509222 10724274176 11366 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2618231 11366 1733 9 0 2608972 0
[pid=1824/tid=1825] ppid=1822 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 10494 0 1 0 4 0 0 0 25 0 18 0 909509223 10724274176 11366 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101042 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1824
/proc/meminfo: memFree=25295560/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10540120 CPUtime=0.11 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 13171 0 1 0 9 2 0 0 25 0 18 0 909509222 10793082880 12828 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2635030 12828 2093 9 0 2625764 0
[pid=1824/tid=1825] ppid=1822 vsize=10540120 CPUtime=0.08 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 11217 0 1 0 7 1 0 0 18 0 18 0 909509223 10793082880 12829 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46952806528536 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540120
[startup+0.301021 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1824
/proc/meminfo: memFree=25295560/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10542052 CPUtime=0.5 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 17839 0 1 0 48 2 0 0 25 0 18 0 909509222 10795061248 17034 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2635513 17035 2201 9 0 2626247 0
[pid=1824/tid=1825] ppid=1822 vsize=10542052 CPUtime=0.28 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 14358 0 1 0 27 1 0 0 18 0 18 0 909509223 10795061248 17035 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505607246 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542052
[startup+0.700971 s]
/proc/loadavg: 3.40 3.46 3.38 3/519 1824
/proc/meminfo: memFree=25295560/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10545476 CPUtime=1.2 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 58649 0 1 0 113 7 0 0 25 0 18 0 909509222 10798567424 55765 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2636369 55771 2214 9 0 2627103 0
[pid=1824/tid=1825] ppid=1822 vsize=10545476 CPUtime=0.68 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 51593 0 1 0 62 6 0 0 18 0 18 0 909509223 10798567424 55773 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505593969 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10545476
[startup+1.50082 s]
/proc/loadavg: 3.40 3.46 3.38 3/537 1842
/proc/meminfo: memFree=24934648/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10545476 CPUtime=2 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 154780 0 1 0 179 21 0 0 25 0 18 0 909509222 10798567424 151897 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2636369 151902 2214 9 0 2627103 0
[pid=1824/tid=1825] ppid=1822 vsize=10545476 CPUtime=1.49 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 147724 0 1 0 129 20 0 0 19 0 18 0 909509223 10798567424 151904 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505576670 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151907 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151911 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151914 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151917 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151920 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151923 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151925 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 151928 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909509225 10798567424 151931 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909509226 10798567424 151934 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909509226 10798567424 151937 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509228 10798567424 151940 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10545476 CPUtime=0.27 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 3413 0 0 0 27 0 0 0 25 0 18 0 909509228 10798567424 151943 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10545476 CPUtime=0.23 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2499 0 0 0 23 0 0 0 16 0 18 0 909509228 10798567424 151946 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509228 10798567424 151949 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909509228 10798567424 151949 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10545476
[startup+3.10152 s]
/proc/loadavg: 3.40 3.46 3.38 4/537 1842
/proc/meminfo: memFree=24473120/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10545476 CPUtime=3.66 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 239369 0 1 0 336 30 0 0 25 0 18 0 909509222 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2636369 236485 2225 9 0 2627103 0
[pid=1824/tid=1825] ppid=1822 vsize=10545476 CPUtime=3.08 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) R 1822 1824 29288 0 -1 4202560 232265 0 1 0 279 29 0 0 25 0 18 0 909509223 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505803981 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509224 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909509225 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909509226 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 909509226 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509228 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10545476 CPUtime=0.28 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 3416 0 0 0 28 0 0 0 15 0 18 0 909509228 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10545476 CPUtime=0.28 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2536 0 0 0 28 0 0 0 16 0 18 0 909509228 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909509228 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10545476 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909509228 10798567424 236485 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 10545476
[startup+6.30092 s]
/proc/loadavg: 3.37 3.45 3.38 3/518 1849
/proc/meminfo: memFree=25359020/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10549588 CPUtime=9.89 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 276650 0 1 0 955 34 0 0 25 0 22 0 909509222 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2637397 273746 2236 9 0 2628131 0
[pid=1824/tid=1825] ppid=1822 vsize=10549588 CPUtime=3.61 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) S 1822 1824 29288 0 -1 4202560 254187 0 1 0 330 31 0 0 15 0 22 0 909509223 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509224 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909509225 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909509226 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509226 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10549588 CPUtime=0.49 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 3496 0 0 0 49 0 0 0 15 0 22 0 909509228 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10549588 CPUtime=0.57 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2584 0 0 0 57 0 0 0 15 0 22 0 909509228 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909509228 10802778112 273746 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.75 5/541 1970
/proc/meminfo: memFree=19058476/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10549588 CPUtime=1644.13 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 910908 0 1 0 164296 117 0 0 25 0 22 0 909509222 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2637397 906347 2253 9 0 2628131 0
[pid=1824/tid=1825] ppid=1822 vsize=10549588 CPUtime=3.61 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) S 1822 1824 29288 0 -1 4202560 254193 0 1 0 330 31 0 0 15 0 22 0 909509223 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10549588 CPUtime=0.45 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 31725 0 0 0 41 4 0 0 16 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10549588 CPUtime=0.53 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 43245 0 0 0 49 4 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10549588 CPUtime=0.39 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 20839 0 0 0 37 2 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10549588 CPUtime=0.3 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 13452 0 0 0 30 0 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10549588 CPUtime=0.43 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 23864 0 0 0 41 2 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10549588 CPUtime=0.29 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 28204 0 0 0 26 3 0 0 16 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10549588 CPUtime=0.34 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 12448 0 0 0 33 1 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10549588 CPUtime=0.32 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 25936 0 0 0 30 2 0 0 15 0 22 0 909509224 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10549588 CPUtime=0.01 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 19 0 0 0 0 1 0 0 15 0 22 0 909509225 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10549588 CPUtime=0.89 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 4139 0 0 0 89 0 0 0 15 0 22 0 909509228 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10549588 CPUtime=0.88 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2612 0 0 0 88 0 0 0 15 0 22 0 909509228 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909509228 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1846] ppid=1822 vsize=10549588 CPUtime=817.83 cores=1,3,5,7
/proc/1824/task/1846/stat : 1846 (java) R 1822 1824 29288 0 -1 4202560 24599 0 0 0 81779 4 0 0 25 0 22 0 909509586 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505779628 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1824/tid=1847] ppid=1822 vsize=10549588 CPUtime=817.67 cores=1,3,5,7
/proc/1824/task/1847/stat : 1847 (java) R 1822 1824 29288 0 -1 4202560 424425 0 0 0 81713 54 0 0 25 0 22 0 909509586 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505723497 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1824/tid=1848] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1848/stat : 1848 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509592 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1849] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1849/stat : 1849 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509595 10802778112 906347 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 10549588
[startup+882.301 s]
/proc/loadavg: 4.12 4.02 3.77 5/541 1972
/proc/meminfo: memFree=19030556/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10549588 CPUtime=1764.14 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 916041 0 1 0 176296 118 0 0 25 0 22 0 909509222 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2637397 911460 2253 9 0 2628131 0
[pid=1824/tid=1825] ppid=1822 vsize=10549588 CPUtime=3.61 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) S 1822 1824 29288 0 -1 4202560 254193 0 1 0 330 31 0 0 15 0 22 0 909509223 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10549588 CPUtime=0.47 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 31765 0 0 0 43 4 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10549588 CPUtime=0.55 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 43265 0 0 0 50 5 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10549588 CPUtime=0.39 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 20852 0 0 0 37 2 0 0 16 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10549588 CPUtime=0.31 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 13468 0 0 0 31 0 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10549588 CPUtime=0.44 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 23884 0 0 0 42 2 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10549588 CPUtime=0.31 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 28231 0 0 0 28 3 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10549588 CPUtime=0.35 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 12478 0 0 0 34 1 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10549588 CPUtime=0.34 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 25944 0 0 0 32 2 0 0 15 0 22 0 909509224 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10549588 CPUtime=0.01 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 21 0 0 0 0 1 0 0 15 0 22 0 909509225 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10549588 CPUtime=0.89 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 4139 0 0 0 89 0 0 0 15 0 22 0 909509228 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10549588 CPUtime=0.88 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2612 0 0 0 88 0 0 0 15 0 22 0 909509228 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909509228 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1846] ppid=1822 vsize=10549588 CPUtime=877.8 cores=1,3,5,7
/proc/1824/task/1846/stat : 1846 (java) R 1822 1824 29288 0 -1 4202560 24605 0 0 0 87776 4 0 0 25 0 22 0 909509586 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505779443 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1824/tid=1847] ppid=1822 vsize=10549588 CPUtime=877.63 cores=1,3,5,7
/proc/1824/task/1847/stat : 1847 (java) R 1822 1824 29288 0 -1 4202560 429374 0 0 0 87709 54 0 0 25 0 22 0 909509586 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505723605 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1824/tid=1848] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1848/stat : 1848 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509592 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1849] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1849/stat : 1849 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509595 10802778112 911460 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 10549588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.301 s]
/proc/loadavg: 4.09 4.02 3.78 5/541 1972
/proc/meminfo: memFree=19022368/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=10549588 CPUtime=1800.15 cores=1,3,5,7
/proc/1824/stat : 1824 (java) S 1822 1824 29288 0 -1 4202496 917320 0 1 0 179897 118 0 0 25 0 22 0 909509222 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 2637397 912729 2253 9 0 2628131 0
[pid=1824/tid=1825] ppid=1822 vsize=10549588 CPUtime=3.61 cores=1,3,5,7
/proc/1824/task/1825/stat : 1825 (java) S 1822 1824 29288 0 -1 4202560 254193 0 1 0 330 31 0 0 15 0 22 0 909509223 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1827] ppid=1822 vsize=10549588 CPUtime=0.47 cores=1,3,5,7
/proc/1824/task/1827/stat : 1827 (java) S 1822 1824 29288 0 -1 4202560 31771 0 0 0 43 4 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1828] ppid=1822 vsize=10549588 CPUtime=0.55 cores=1,3,5,7
/proc/1824/task/1828/stat : 1828 (java) S 1822 1824 29288 0 -1 4202560 43273 0 0 0 50 5 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1829] ppid=1822 vsize=10549588 CPUtime=0.4 cores=1,3,5,7
/proc/1824/task/1829/stat : 1829 (java) S 1822 1824 29288 0 -1 4202560 20871 0 0 0 38 2 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1830] ppid=1822 vsize=10549588 CPUtime=0.31 cores=1,3,5,7
/proc/1824/task/1830/stat : 1830 (java) S 1822 1824 29288 0 -1 4202560 13468 0 0 0 31 0 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1831] ppid=1822 vsize=10549588 CPUtime=0.44 cores=1,3,5,7
/proc/1824/task/1831/stat : 1831 (java) S 1822 1824 29288 0 -1 4202560 23884 0 0 0 42 2 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1832] ppid=1822 vsize=10549588 CPUtime=0.31 cores=1,3,5,7
/proc/1824/task/1832/stat : 1832 (java) S 1822 1824 29288 0 -1 4202560 28237 0 0 0 28 3 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 5 0 0 0
[pid=1824/tid=1833] ppid=1822 vsize=10549588 CPUtime=0.36 cores=1,3,5,7
/proc/1824/task/1833/stat : 1833 (java) S 1822 1824 29288 0 -1 4202560 12485 0 0 0 35 1 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1834] ppid=1822 vsize=10549588 CPUtime=0.34 cores=1,3,5,7
/proc/1824/task/1834/stat : 1834 (java) S 1822 1824 29288 0 -1 4202560 25964 0 0 0 32 2 0 0 15 0 22 0 909509224 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1835] ppid=1822 vsize=10549588 CPUtime=0.02 cores=1,3,5,7
/proc/1824/task/1835/stat : 1835 (java) S 1822 1824 29288 0 -1 4202560 23 0 0 0 0 2 0 0 15 0 22 0 909509225 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 0 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1836] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1836/stat : 1836 (java) S 1822 1824 29288 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1837] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1837/stat : 1837 (java) S 1822 1824 29288 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909509226 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1838] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1838/stat : 1838 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379370417 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1839] ppid=1822 vsize=10549588 CPUtime=0.9 cores=1,3,5,7
/proc/1824/task/1839/stat : 1839 (java) S 1822 1824 29288 0 -1 4202560 4140 0 0 0 90 0 0 0 15 0 22 0 909509228 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1840] ppid=1822 vsize=10549588 CPUtime=0.88 cores=1,3,5,7
/proc/1824/task/1840/stat : 1840 (java) S 1822 1824 29288 0 -1 4202560 2612 0 0 0 88 0 0 0 15 0 22 0 909509228 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 7 0 0 0
[pid=1824/tid=1841] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1841/stat : 1841 (java) S 1822 1824 29288 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909509228 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379362713 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1842] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1842/stat : 1842 (java) S 1822 1824 29288 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909509228 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
[pid=1824/tid=1846] ppid=1822 vsize=10549588 CPUtime=895.8 cores=1,3,5,7
/proc/1824/task/1846/stat : 1846 (java) R 1822 1824 29288 0 -1 4202560 24608 0 0 0 89576 4 0 0 25 0 22 0 909509586 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505779509 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1824/tid=1847] ppid=1822 vsize=10549588 CPUtime=895.65 cores=1,3,5,7
/proc/1824/task/1847/stat : 1847 (java) R 1822 1824 29288 0 -1 4202560 430579 0 0 0 89510 55 0 0 25 0 22 0 909509586 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 46912505724166 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1824/tid=1848] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1848/stat : 1848 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509592 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 3 0 0 0
[pid=1824/tid=1849] ppid=1822 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/1824/task/1849/stat : 1849 (java) S 1822 1824 29288 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909509595 10802778112 912729 33554432000 1073741824 1073778376 140733777068288 18446744073709551615 251379363328 0 4 0 16800975 18446604470331886336 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10549588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.425 s]
/proc/loadavg: 4.09 4.02 3.78 5/541 1972
/proc/meminfo: memFree=19022368/32950928 swapFree=34421304/67111528
[pid=1824] ppid=1822 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/1824/stat : 1824 (java) Z 1822 1824 29288 0 -1 4203548 917347 0 1 0 179902 128 0 0 17 0 2 0 909509222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1824/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.463
CPU time (s): 1800.35
CPU user time (s): 1799.02
CPU system time (s): 1.3228
CPU usage (%): 199.936
Max. virtual memory (cumulated for all children) (KiB): 10549588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.3228
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917347
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= 21666
involuntary context switches= 7175
runsolver used 4.24435 second user time and 11.2053 second system time
The end