0.00/0.07
0.00/0.07 Abscon 112 (May, 2008)
0.10/0.19
0.10/0.19 configuration
0.10/0.19 name=mac.xml
0.22/0.22
0.22/0.22 instance
0.22/0.22 name=HOME/instance-1086853-1215241560.xml
0.22/0.26
0.22/0.26 domains being loaded...
0.22/0.28
0.22/0.28 variables being loaded...
0.35/0.36 nbVariables=400 nbDomainTypes=4 minDomainSize=350 maxDomainSize=700 nbTotalValues=273538
0.35/0.36 => wckTime=0.163 cpuTime=0.16 mem=15M743
0.35/0.36
0.35/0.36 predicates being loaded...
0.48/0.41
0.48/0.41 constraints being loaded...
20.50/20.30
20.50/20.30 INFO : Stopping converting binary constraints (cpu=20.06, mem = 16M342)
21.74/21.50 nbConstraints=1644 nbMergedConstraints=1359 nbConvertedConstraints=108 nbConvertConstraintsChecks=43958600
21.74/21.50 nbExtensionStructures=91 nbSharedExtensionStructures=19 nbConflictsStructures=91 nbSharedConflictsStructures=19
21.74/21.50 nbUnbuiltConflictsStructures=1159 nbSharedBinaryRepresentations=97944 nbEvaluationManagers=1159
21.74/21.50 nbSharedEvaluationManagers=377 minDegree=3 maxDegree=11 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0
21.74/21.50 symmetryWckTime=0.59 symmetryCpuTime=0.46
21.74/21.50 => wckTime=21.302 cpuTime=21.07 mem=19M307
21.74/21.59
21.74/21.59 solver IterativeSystematicSolver being built...
21.97/21.74 => wckTime=21.547 cpuTime=21.22 mem=60M198
52.18/51.99
52.18/51.99 preprocessing
52.18/51.99 nbConstraintChecks=87336676 nbValidityChecks=325295 nbPropagations=448 nbRevisions=3858 nbUselessRevisions=3400
52.18/51.99 nbRemovedValues=89890 detectedInconsistency=no
52.18/51.99 => wckTime=30.242 cpuTime=30.24 mem=60M198
144.08/143.85
144.08/143.85 search
144.08/143.85 run=5 nbConstraintChecks=219294031 nbValidityChecks=17263038 minDepth=0 maxDepth=400 nbPropagations=23165
144.08/143.85 nbRevisions=201483 nbUselessRevisions=105081 nbAssignments=568 nbFailedAssignments=168 nbBacktracks=0
144.08/143.85 nbVisitedNodes=737 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
144.08/143.85 nbSEliminables=202.15 nbREliminables=0.38 nbIEliminables=52.2 nbDEliminables=0 nbPEliminables=0
144.08/143.85 => wckTime=122.105 cpuTime=122.01 mem=44M42
144.08/143.86
144.08/143.86 global
144.08/143.86 nbConstraintChecks=306630707 nbValidityChecks=17588333 nbPropagations=23613 nbRevisions=205341
144.08/143.86 nbUselessRevisions=108481 nbRestartNogoods=0 solvingWckTime=122.108 solvingCpuTime=122.01 expiredTime=no
144.08/143.86 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=143.22 globalCpuTime=143.28
144.08/143.86 => wckTime=143.66 cpuTime=143.24 mem=44M42
144.08/143.86
144.08/143.86 s SATISFIABLE
144.08/143.86 v -2496 2360 1300 -1960 -1764 1352 -2600 2600 -2036 2228 2320 2332 2212 -2528 -2396 -2176 -1584 -2560 2488 -1360 -1656 -2420 -2600 -1336 2600 -2560 -1760 -1256 -2312 -1696 -2460 2196 1792 -2036 -2264 -1260 -1244 -1908 2488 -2304 -2600 -2296 -2600 -2600 -2444 -2288 -2088 -1792 -2600 -2192 -1640 -1944 -2496 -1380 -1672 -1484 -1336 -1988 -1308 2540 -2404 1812 -1924 -2560 -2240 1988 -1700 -2600 1608 -1748 1808 -2380 -1420 -2084 2004 -1700 2556 -2004 -2560 -1216 2268 -1204 -2360 -2248 -1312 1624 -1796 -2384 -1452 2184 1852 1888 -2464 -2396 -2388 1412 -2280 -2292 -2600 -2560 1204 -1804 -1284 -1768 -1664 1244 -2204 -2448 -1204 -2240 -1396 1932 -1920 1316 -1256 -1648 -1204 -1328 -1544 -1284 1608 -2172 -1320 1204 -2296 -1992 -1296 -1424 -2184 -1452 -1608 1376 -1440 -2420 -2560 -1288 1492 -1204 -1720 -2260 -2600 2272 -2356 -1992 -1836 -2352 -1244 -2452 -1648 -1740 -1204 -2044 -1272 -1304 1536 1236 1624 -2600 1948 -1996 -1808 -1576 -1300 -2456 -2600 -1740 1952 -1392 -2460 -2504 -1704 -2560 1544 -1340 -2224 -1372 -2560 2060 2524 -2084 -2232 -2368 -2428 -1700 -2200 -2520 -1324 -2580 -1668 1972 -1412 -1460 -2488 -1892 -1884 -1300 -2600 -1768 -2276 -1204 -1244 -1340 -1336 2048 -2484 2408 -1332 1204 -1480 -2168 -2560 -1328 -1524 1648 -1420 2104 -2600 -1444 1204 -1244 -1832 -1348 -2560 -1740 1708 -1380 -1844 -1356 -2560 2400 -1544 -1584 -1728 -1452 -1868 -1880 -1244 -1220 -1964 -2244 -2560 -1276 -1688 -1484 1380 -2208 -1352 -2076 -2560 -1384 1260 -2600 -1300 -2144 -1244 -2448 -2588 -1292 -2424 -1260 -2600 -1420 -2068 -2560 1836 1832 2504 -1332 -1356 -2560 -2492 2312 -1708 2316 -2044 2560 -1920 -1608 -1852 -1220 -2448 -2516 -1492 -2256 -1452 -2468 -2152 1396 -1296 -2348 -1780 1724 -2216 -1244 -1812 1444 2192 1688 2220 -2548 -1892 -2600 2380 -1756 -2108 -2560 -1368 2304 -1600 -2600 -1232 -2560 2260 -2560 -2356 -1244 -1888 -2600 -1864 1504 -1584 -2560 -2004 -1676 -2336 -1364 -1544 1340 -1260 -1964 -2464 1928 -1648 -2144 -1984 -2316 1380 -1204 -2560 -1504 -1764 -1968 1744 2100 -2600 1244 -1928 -1372 -1244 -2560 -2456 -1272 -1636 -2400 -1820 2356 -1520 1824 1464 -1712 1204 -2344 2220 2600 1948 -2560 -2560 -1244 -1412 -1244 -1876 1584 -2020 -1964 -2500 -2044 1852 -1500 -2328 1244 2060 1356 1344 1400 1484 -2420 -1284 2600 -1392 -1928 -2032 -1216 -1204 -1324 -2280 2156 1728 -1244 -1796 -1932
144.08/143.86 d NODES 568
144.08/143.86 d CHECKS 306630707
144.08/143.87
144.08/143.87 totalWckTime=143.708 totalCpuTime=143.29
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086853-1215241560/watcher-1086853-1215241560 -o /tmp/evaluation-result-1086853-1215241560/solver-1086853-1215241560 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086853-1215241560.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=272 CPUtime=0
/proc/5019/stat : 5019 (java) R 5017 5019 2942 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 1553828152 278528 37 996147200 134512640 134550740 4294955968 18446744073709551615 9277530 0 0 4096 0 0 0 0 17 0 0 0
/proc/5019/statm: 68 37 28 9 0 6 0
[startup+0.0910769 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866740 CPUtime=0.09
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 3885 0 1 0 7 2 0 0 18 0 9 0 1553828152 887541760 3326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216685 3326 1746 9 0 211240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866740
[startup+0.101052 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866740 CPUtime=0.1
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 4011 0 1 0 8 2 0 0 18 0 9 0 1553828152 887541760 3451 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216685 3451 1785 9 0 211240 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866740
[startup+0.30108 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=866976 CPUtime=0.35
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 6501 0 1 0 31 4 0 0 18 0 9 0 1553828152 887783424 5871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 216744 5873 1967 9 0 211272 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 866976
[startup+0.701123 s]
/proc/loadavg: 1.18 1.50 1.79 3/83 5019
/proc/meminfo: memFree=696192/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=0.87
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 12597 0 1 0 79 8 0 0 18 0 9 0 1553828152 888995840 11957 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 11957 2012 9 0 211546 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 868160
[startup+1.50121 s]
/proc/loadavg: 1.18 1.50 1.79 2/92 5028
/proc/meminfo: memFree=655224/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=1.68
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 12944 0 1 0 160 8 0 0 18 0 9 0 1553828152 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 12301 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=1.48
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 11572 0 1 0 141 7 0 0 25 0 9 0 1553828152 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4126924642 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.18
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 674 0 0 0 18 0 0 0 15 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 12301 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 868160
[startup+3.10139 s]
/proc/loadavg: 1.18 1.50 1.79 2/92 5028
/proc/meminfo: memFree=654008/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=3.28
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 13350 0 1 0 320 8 0 0 18 0 9 0 1553828152 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 12706 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=3.08
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 11977 0 1 0 301 7 0 0 25 0 9 0 1553828152 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4126886263 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.19
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 675 0 0 0 19 0 0 0 16 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 12706 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 868160
[startup+6.30281 s]
/proc/loadavg: 1.16 1.49 1.78 2/92 5028
/proc/meminfo: memFree=650680/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=6.49
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 14084 0 1 0 640 9 0 0 18 0 9 0 1553828152 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 13439 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=6.28
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 12708 0 1 0 621 7 0 0 25 0 9 0 1553828152 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4126924642 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.19
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 678 0 0 0 19 0 0 0 15 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 13439 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 868160
[startup+12.7015 s]
/proc/loadavg: 1.15 1.48 1.78 2/92 5028
/proc/meminfo: memFree=644480/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868160 CPUtime=12.91
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 15593 0 1 0 1281 10 0 0 18 0 9 0 1553828152 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217040 14947 2014 9 0 211546 0
[pid=5019/tid=5021] ppid=5017 vsize=868160 CPUtime=12.67
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 14197 0 1 0 1259 8 0 0 25 0 9 0 1553828152 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4126882465 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1553828154 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868160 CPUtime=0.21
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 698 0 0 0 21 0 0 0 16 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868160 CPUtime=0
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1553828156 888995840 14947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 868160
[startup+25.5029 s]
/proc/loadavg: 1.12 1.46 1.76 2/92 5032
/proc/meminfo: memFree=610680/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=25.78
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41120 376 1 0 2558 18 1 1 18 0 9 0 1553828152 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23864 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=25.19
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19371 376 1 0 2506 11 1 1 25 0 9 0 1553828152 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4126883575 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.33
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 934 376 0 0 31 0 1 1 16 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23864 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.78
Current children cumulated vsize (KiB) 868484
[startup+51.1028 s]
/proc/loadavg: 1.08 1.42 1.74 2/92 5032
/proc/meminfo: memFree=610624/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=51.38
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41129 376 1 0 5118 18 1 1 18 0 9 0 1553828152 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23866 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=50.78
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19376 376 1 0 5065 11 1 1 25 0 9 0 1553828152 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4127257580 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.34
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 938 376 0 0 32 0 1 1 16 0 9 0 1553828156 889327616 23866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
################
# More data... #
################
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41256 376 1 0 13437 19 1 1 18 0 9 0 1553828152 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23875 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=133.95
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19493 376 1 0 13382 11 1 1 25 0 9 0 1553828152 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4127163812 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 948 376 0 0 33 1 1 1 16 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23875 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 134.58
Current children cumulated vsize (KiB) 868484
[startup+140.702 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=140.98
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41261 376 1 0 14077 19 1 1 18 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23877 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=140.35
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19494 376 1 0 14022 11 1 1 25 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4126881096 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 952 376 0 0 33 1 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 140.98
Current children cumulated vsize (KiB) 868484
[startup+142.302 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=142.58
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41261 376 1 0 14237 19 1 1 18 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23877 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=141.95
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19494 376 1 0 14182 11 1 1 25 0 9 0 1553828152 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4126886863 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.36
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 952 376 0 0 33 1 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23877 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 142.58
Current children cumulated vsize (KiB) 868484
[startup+143.102 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.38
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41266 376 1 0 14317 19 1 1 18 0 9 0 1553828152 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23880 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=142.74
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19496 376 1 0 14261 11 1 1 25 0 9 0 1553828152 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4127330046 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.37
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 955 376 0 0 34 1 1 1 16 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23880 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.38
Current children cumulated vsize (KiB) 868484
[startup+143.502 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.78
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41318 376 1 0 14357 19 1 1 18 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23884 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=143.14
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19544 376 1 0 14301 11 1 1 25 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4127330040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.78
Current children cumulated vsize (KiB) 868484
[startup+143.702 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868484 CPUtime=143.98
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 41674 376 1 0 14377 19 1 1 18 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217121 23884 2638 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868484 CPUtime=143.34
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 19900 376 1 0 14321 11 1 1 25 0 9 0 1553828152 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4127330076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868484 CPUtime=0.27
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 19979 376 0 0 20 5 1 1 16 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 8 376 0 0 0 0 1 1 15 0 9 0 1553828154 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868484 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868484 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889327616 23884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 143.98
Current children cumulated vsize (KiB) 868484
[startup+143.802 s]
/proc/loadavg: 1.02 1.31 1.67 2/92 5032
/proc/meminfo: memFree=610496/2055920 swapFree=4098020/4192956
[pid=5019] ppid=5017 vsize=868396 CPUtime=144.08
/proc/5019/stat : 5019 (java) S 5017 5019 2942 0 -1 0 46678 376 1 0 14385 21 1 1 18 0 9 0 1553828152 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/5019/statm: 217099 28596 2616 9 0 211627 0
[pid=5019/tid=5021] ppid=5017 vsize=868396 CPUtime=143.38
/proc/5019/task/5021/stat : 5021 (java) R 5017 5019 2942 0 -1 64 20101 376 1 0 14325 11 1 1 16 0 9 0 1553828152 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4127161852 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5022] ppid=5017 vsize=868396 CPUtime=0.31
/proc/5019/task/5022/stat : 5022 (java) S 5017 5019 2942 0 -1 64 24780 376 0 0 23 6 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5023] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5023/stat : 5023 (java) S 5017 5019 2942 0 -1 64 19 376 0 0 0 0 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5024] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5024/stat : 5024 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 16 0 9 0 1553828154 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5019/tid=5025] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5025/stat : 5025 (java) S 5017 5019 2942 0 -1 64 0 376 0 0 0 0 1 1 24 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5026] ppid=5017 vsize=868396 CPUtime=0.38
/proc/5019/task/5026/stat : 5026 (java) S 5017 5019 2942 0 -1 64 959 376 0 0 35 1 1 1 15 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5027] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5027/stat : 5027 (java) S 5017 5019 2942 0 -1 64 2 376 0 0 0 0 1 1 25 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=5019/tid=5028] ppid=5017 vsize=868396 CPUtime=0.02
/proc/5019/task/5028/stat : 5028 (java) S 5017 5019 2942 0 -1 64 10 376 0 0 0 0 1 1 15 0 9 0 1553828156 889237504 28596 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 144.08
Current children cumulated vsize (KiB) 868396
Child status: 0
Real time (s): 143.889
CPU time (s): 144.181
CPU user time (s): 143.932
CPU system time (s): 0.248962
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 868484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.932
system time used= 0.248962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47088
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= 3659
involuntary context switches= 5691
runsolver used 0.200969 second user time and 0.461929 second system time
The end
Begin job on node32 at 2008-07-05 09:06:00
IDJOB=1086853
IDBENCH=57888
IDSOLVER=363
FILE ID=node32/1086853-1215241560
PBS_JOBID= 7881863
Free space on /tmp= 66436 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086853-1215241560/watcher-1086853-1215241560 -o /tmp/evaluation-result-1086853-1215241560/solver-1086853-1215241560 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086853-1215241560.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= bedba223a5500787a29a04735f75d2e4
RANDOM SEED=1587734611
node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 696672 kB
Buffers: 82440 kB
Cached: 322744 kB
SwapCached: 88292 kB
Active: 1093180 kB
Inactive: 203820 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 696672 kB
SwapTotal: 4192956 kB
SwapFree: 4098020 kB
Dirty: 2464 kB
Writeback: 0 kB
Mapped: 907612 kB
Slab: 45488 kB
Committed_AS: 4138368 kB
PageTables: 3680 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66432 MiB
End job on node32 at 2008-07-05 09:08:24