0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=mac.xml
0.26/0.35
0.26/0.35 instance
0.26/0.35 name=HOME/instance-1086832-1215241410.xml
0.26/0.39
0.26/0.39 domains being loaded...
0.34/0.43
0.34/0.43 variables being loaded...
0.44/0.54 nbVariables=400 nbDomainTypes=4 minDomainSize=350 maxDomainSize=700 nbTotalValues=273538
0.44/0.54 => wckTime=0.272 cpuTime=0.18 mem=15M743
0.44/0.54
0.44/0.54 predicates being loaded...
0.54/0.61
0.54/0.61 constraints being loaded...
20.64/20.95
20.64/20.95 INFO : Stopping converting binary constraints (cpu=20.28, mem = 47M953)
22.11/22.44 nbConstraints=1644 nbMergedConstraints=1359 nbConvertedConstraints=98 nbConvertConstraintsChecks=40528600
22.11/22.44 nbExtensionStructures=84 nbSharedExtensionStructures=17 nbConflictsStructures=84 nbSharedConflictsStructures=17
22.11/22.44 nbUnbuiltConflictsStructures=1189 nbSharedBinaryRepresentations=91412 nbEvaluationManagers=1189
22.11/22.44 nbSharedEvaluationManagers=357 minDegree=3 maxDegree=11 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0
22.11/22.45 symmetryWckTime=0.685 symmetryCpuTime=0.49
22.11/22.45 => wckTime=22.175 cpuTime=21.41 mem=18M772
22.21/22.57
22.21/22.57 solver IterativeSystematicSolver being built...
22.50/22.80 => wckTime=22.535 cpuTime=21.6 mem=59M565
55.19/55.82
55.19/55.82 preprocessing
55.19/55.82 nbConstraintChecks=85234503 nbValidityChecks=313457 nbPropagations=445 nbRevisions=3869 nbUselessRevisions=3407
55.19/55.82 nbRemovedValues=95646 detectedInconsistency=no
55.19/55.82 => wckTime=33.011 cpuTime=32.67 mem=59M565
156.52/158.20
156.62/158.20 search
156.62/158.20 run=5 nbConstraintChecks=217184025 nbValidityChecks=20477793 minDepth=0 maxDepth=400 nbPropagations=28745
156.62/158.20 nbRevisions=245013 nbUselessRevisions=127985 nbAssignments=575 nbFailedAssignments=175 nbBacktracks=0
156.62/158.20 nbVisitedNodes=751 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
156.62/158.20 nbSEliminables=202.24 nbREliminables=0.18 nbIEliminables=55.05 nbDEliminables=0 nbPEliminables=0
156.62/158.20 => wckTime=135.385 cpuTime=133.99 mem=43M509
156.62/158.20
156.62/158.20 global
156.62/158.20 nbConstraintChecks=302418528 nbValidityChecks=20791250 nbPropagations=29190 nbRevisions=248882
156.62/158.20 nbUselessRevisions=131392 nbRestartNogoods=0 solvingWckTime=135.389 solvingCpuTime=133.99 expiredTime=no
156.62/158.20 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=155.57 globalCpuTime=155.64
156.62/158.20 => wckTime=157.93 cpuTime=155.6 mem=43M509
156.62/158.21
156.62/158.21 s SATISFIABLE
156.62/158.21 v 2492 2380 1304 -1992 1792 -1360 -2600 2600 2076 2288 2312 -2356 -2252 -2600 -2392 2176 -1588 -2500 -2560 -1336 -1636 -2416 2540 -1328 2600 -2560 -1800 -1248 -2232 -1676 2428 -2260 -1816 -2040 2276 -1264 -1244 -1936 2488 -2316 -2600 -2312 -2600 2440 -2440 -2288 -2068 -1812 -2600 -2188 -1632 -1992 -2464 -1376 1724 -1456 -1344 -2052 -1296 2540 2400 -1880 -1916 -2580 2144 1948 -1636 -2600 1628 -1736 -1840 -2376 1420 -2064 1996 -1696 2556 -1972 -2560 -1204 -2248 -1228 -2400 -2248 -1288 -1648 1820 -2380 -1416 -2192 1840 1884 -2600 -2472 -2560 -1416 -2272 -2316 -2600 -2560 1204 -1824 -1556 -1768 1608 -1204 -2200 -2448 -1204 -2208 -1332 -1960 1952 -1324 -1244 -1696 -1204 -1396 -1524 -1264 1588 2212 -1296 1204 -2292 -2044 -1296 -1392 -2192 -1480 1656 -1384 -1428 -2420 -2560 -1280 1476 -1204 1760 -2260 2600 2272 2352 -1992 -1860 -2380 -1244 -2416 -1668 -1676 -1244 -2008 -1248 -1244 1532 -1236 1620 -2600 1908 -2000 -1808 -1572 -1276 -2504 -2600 -1736 -1952 -1400 -2452 2504 1728 -2560 1548 -1316 -2232 -1376 -2560 2064 -2444 -1972 -2200 -2424 -2424 1680 -2168 -2600 -1516 -2580 -1708 2000 -1392 -1480 -2488 -1912 -1872 -1292 -2600 -1800 -2276 -1244 -1284 -1332 -1336 2028 -2484 -2600 -1316 1244 -1528 -2244 -2560 1320 -1516 -1588 -1428 -2160 -2600 -1436 1244 -1268 -1856 -1256 -2560 -1720 1748 1384 -1832 1408 -2560 2420 -1580 -1556 -1708 -1436 -1896 -1244 -1268 -1224 -1956 -2240 -2480 -1276 -1744 -1476 -1388 2284 -1336 -2116 -2560 -1352 -1260 -2600 1288 -2152 -1244 2448 -2600 -1452 -2420 1248 -2600 -1424 -2068 -2560 -1872 -1852 -2560 -1412 -1372 -2560 -2456 2340 -1696 -2316 -2024 -2560 1204 -1628 -1872 -1220 -2560 2516 -1520 -2252 1432 -2464 -2148 -1368 -1288 -2600 -1800 -1832 -2216 -1244 -1812 -1416 -2240 -1668 -2212 -2560 1864 -2600 2380 -1708 2028 -2560 -1356 2316 -1592 2524 -1520 -2560 2252 -2560 -2512 -1244 -1940 -2600 -1820 1484 -1660 -2560 -1968 -1692 2272 -1348 1516 1336 -1264 -2012 -2464 1900 -1628 -2120 -2032 -2320 -1460 -1204 -2560 -1540 1784 -1960 1768 2072 -2460 1244 -1924 -1356 -1204 -2528 -2452 -1480 -1652 -2360 -1840 2360 1488 1860 1444 1764 -1204 -2276 2220 -2600 -2012 -2560 -2484 -1204 -1376 -1244 1912 1564 2024 -1956 -2468 -2012 -1852 -1520 2384 -1244 2032 -1364 -1204 1388 1476 -2412 1308 2568 -1296 -1920 -2084 -1208 -1204 -1308 -2104 -2220 -1704 -1224 -1748 -1904
156.62/158.21 d NODES 575
156.62/158.21 d CHECKS 302418528
156.62/158.21
156.62/158.21 totalWckTime=157.991 totalCpuTime=155.65
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086832-1215241410/watcher-1086832-1215241410 -o /tmp/evaluation-result-1086832-1215241410/solver-1086832-1215241410 -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-1086832-1215241410.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: 2.35 2.25 2.12 3/81 17117
/proc/meminfo: memFree=1172208/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=1616 CPUtime=0
/proc/17117/stat : 17117 (java) R 17115 17117 15859 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 2003110583 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/17117/statm: 404 148 122 9 0 46 0
[startup+0.107571 s]
/proc/loadavg: 2.35 2.25 2.12 3/81 17117
/proc/meminfo: memFree=1172208/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=865884 CPUtime=0.09
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 3794 0 1 0 7 2 0 0 18 0 9 0 2003110583 886665216 3245 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216471 3245 1716 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.201588 s]
/proc/loadavg: 2.35 2.25 2.12 3/81 17117
/proc/meminfo: memFree=1172208/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=866044 CPUtime=0.18
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 4453 0 1 0 14 4 0 0 18 0 9 0 2003110583 886829056 3885 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216511 3885 1847 9 0 211059 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.301607 s]
/proc/loadavg: 2.35 2.25 2.12 3/81 17117
/proc/meminfo: memFree=1172208/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=866332 CPUtime=0.26
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 5356 0 1 0 22 4 0 0 18 0 9 0 2003110583 887123968 4782 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216583 4782 1868 9 0 211131 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866332
[startup+0.701674 s]
/proc/loadavg: 2.35 2.25 2.12 3/81 17117
/proc/meminfo: memFree=1172208/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=867096 CPUtime=0.63
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 9575 0 4 0 55 8 0 0 18 0 9 0 2003110583 887906304 8938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216774 8938 2007 9 0 211280 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 867096
[startup+1.5018 s]
/proc/loadavg: 2.35 2.25 2.12 3/90 17126
/proc/meminfo: memFree=1131496/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=867684 CPUtime=1.43
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 12831 0 4 0 134 9 0 0 18 0 9 0 2003110583 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216921 12191 2014 9 0 211427 0
[pid=17117/tid=17119] ppid=17115 vsize=867684 CPUtime=1.22
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 11460 0 4 0 114 8 0 0 25 0 9 0 2003110584 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4126879195 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2003110585 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003110585 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003110585 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003110588 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=867684 CPUtime=0.19
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 673 0 0 0 19 0 0 0 16 0 9 0 2003110588 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003110588 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003110588 888508416 12191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 867684
[startup+3.10207 s]
/proc/loadavg: 2.32 2.25 2.12 4/90 17126
/proc/meminfo: memFree=1129512/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=867684 CPUtime=3.01
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 13199 0 4 0 292 9 0 0 18 0 9 0 2003110583 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216921 12558 2014 9 0 211427 0
[pid=17117/tid=17119] ppid=17115 vsize=867684 CPUtime=2.8
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 11824 0 4 0 272 8 0 0 25 0 9 0 2003110584 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4126910743 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003110585 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003110585 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003110585 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003110588 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=867684 CPUtime=0.19
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 677 0 0 0 19 0 0 0 16 0 9 0 2003110588 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003110588 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003110588 888508416 12558 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867684
[startup+6.30162 s]
/proc/loadavg: 2.32 2.25 2.12 3/90 17126
/proc/meminfo: memFree=1126504/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=867684 CPUtime=6.18
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 13886 0 4 0 608 10 0 0 18 0 9 0 2003110583 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216921 13244 2014 9 0 211427 0
[pid=17117/tid=17119] ppid=17115 vsize=867684 CPUtime=5.96
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 12509 0 4 0 588 8 0 0 25 0 9 0 2003110584 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4126876680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003110585 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17117/tid=17121] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003110585 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003110585 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003110588 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=867684 CPUtime=0.2
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 679 0 0 0 20 0 0 0 16 0 9 0 2003110588 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003110588 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003110588 888508416 13244 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 867684
[startup+12.7027 s]
/proc/loadavg: 2.27 2.24 2.11 3/90 17126
/proc/meminfo: memFree=1120872/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=867684 CPUtime=12.53
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 15235 0 4 0 1242 11 0 0 18 0 9 0 2003110583 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 216921 14589 2014 9 0 211427 0
[pid=17117/tid=17119] ppid=17115 vsize=867684 CPUtime=12.29
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 13854 0 4 0 1220 9 0 0 25 0 9 0 2003110584 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4126876680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2003110585 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2003110585 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2003110585 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003110588 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=867684 CPUtime=0.2
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 683 0 0 0 20 0 0 0 16 0 9 0 2003110588 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003110588 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=867684 CPUtime=0
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003110588 888508416 14589 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867684
[startup+25.5019 s]
/proc/loadavg: 2.23 2.23 2.11 3/90 17130
/proc/meminfo: memFree=1086240/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=25.18
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40772 373 4 1 2497 19 1 1 18 0 9 0 2003110583 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23714 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=24.47
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19348 373 4 1 2434 11 1 1 25 0 9 0 2003110584 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4126876700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.37
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 939 373 0 1 35 0 1 1 15 0 9 0 2003110588 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23714 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 868332
[startup+51.1012 s]
/proc/loadavg: 2.22 2.23 2.11 4/90 17130
/proc/meminfo: memFree=1086176/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=50.53
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40780 373 4 1 5032 19 1 1 18 0 9 0 2003110583 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23716 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=49.82
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19349 373 4 1 4969 11 1 1 25 0 9 0 2003110584 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4127153757 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.38
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 946 373 0 1 36 0 1 1 16 0 9 0 2003110588 889171968 23716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
################
# More data... #
################
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40909 373 4 1 13918 20 1 1 18 0 9 0 2003110583 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23724 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=138.67
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19465 373 4 1 13853 12 1 1 25 0 9 0 2003110584 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4126881847 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.4
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 959 373 0 1 38 0 1 1 16 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (KiB) 868332
[startup+147.202 s]
/proc/loadavg: 2.27 2.23 2.12 3/90 17130
/proc/meminfo: memFree=1086048/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=145.73
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40909 373 4 1 14551 20 1 1 18 0 9 0 2003110583 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23724 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=145
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19465 373 4 1 14486 12 1 1 25 0 9 0 2003110584 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4126880487 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.4
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 959 373 0 1 38 0 1 1 16 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 145.73
Current children cumulated vsize (KiB) 868332
[startup+153.602 s]
/proc/loadavg: 2.22 2.23 2.12 3/90 17130
/proc/meminfo: memFree=1085984/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=152.07
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40913 373 4 1 15185 20 1 1 18 0 9 0 2003110583 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23725 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=151.34
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19467 373 4 1 15120 12 1 1 25 0 9 0 2003110584 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4127153753 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 17 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.4
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 961 373 0 1 38 0 1 1 16 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 152.07
Current children cumulated vsize (KiB) 868332
[startup+156.802 s]
/proc/loadavg: 2.22 2.23 2.12 3/90 17130
/proc/meminfo: memFree=1085984/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=155.25
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40913 373 4 1 15503 20 1 1 18 0 9 0 2003110583 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23725 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=154.51
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19467 373 4 1 15437 12 1 1 25 0 9 0 2003110584 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4126883440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.4
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 961 373 0 1 38 0 1 1 16 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 155.25
Current children cumulated vsize (KiB) 868332
[startup+157.601 s]
/proc/loadavg: 2.21 2.22 2.12 3/90 17130
/proc/meminfo: memFree=1085984/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=156.03
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 40941 373 4 1 15581 20 1 1 18 0 9 0 2003110583 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23733 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=155.29
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19487 373 4 1 15515 12 1 1 25 0 9 0 2003110584 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4127327978 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 16 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.41
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 969 373 0 1 39 0 1 1 15 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 156.03
Current children cumulated vsize (KiB) 868332
[startup+158.001 s]
/proc/loadavg: 2.21 2.22 2.12 3/90 17130
/proc/meminfo: memFree=1085984/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868332 CPUtime=156.43
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 41260 373 4 1 15621 20 1 1 18 0 9 0 2003110583 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217083 23733 2638 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868332 CPUtime=155.68
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 19806 373 4 1 15554 12 1 1 25 0 9 0 2003110584 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4126095728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868332 CPUtime=0.32
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 19634 373 0 1 26 4 1 1 17 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 15 373 0 1 0 0 1 1 16 0 9 0 2003110585 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868332 CPUtime=0.41
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 969 373 0 1 39 0 1 1 15 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868332 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889171968 23733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 156.43
Current children cumulated vsize (KiB) 868332
[startup+158.201 s]
/proc/loadavg: 2.21 2.22 2.12 3/90 17130
/proc/meminfo: memFree=1085984/2055920 swapFree=4180444/4192956
[pid=17117] ppid=17115 vsize=868244 CPUtime=156.62
/proc/17117/stat : 17117 (java) S 17115 17117 15859 0 -1 0 46378 373 4 1 15638 22 1 1 18 0 9 0 2003110583 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17117/statm: 217061 28446 2616 9 0 211589 0
[pid=17117/tid=17119] ppid=17115 vsize=868244 CPUtime=155.82
/proc/17117/task/17119/stat : 17119 (java) R 17115 17117 15859 0 -1 64 20148 373 4 1 15568 12 1 1 25 0 9 0 2003110584 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4125963118 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17120] ppid=17115 vsize=868244 CPUtime=0.39
/proc/17117/task/17120/stat : 17120 (java) S 17115 17117 15859 0 -1 64 24395 373 0 1 30 7 1 1 16 0 9 0 2003110585 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17121] ppid=17115 vsize=868244 CPUtime=0.02
/proc/17117/task/17121/stat : 17121 (java) S 17115 17117 15859 0 -1 64 19 373 0 1 0 0 1 1 16 0 9 0 2003110585 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17122] ppid=17115 vsize=868244 CPUtime=0.02
/proc/17117/task/17122/stat : 17122 (java) S 17115 17117 15859 0 -1 64 30 373 0 1 0 0 1 1 16 0 9 0 2003110585 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17123] ppid=17115 vsize=868244 CPUtime=0.02
/proc/17117/task/17123/stat : 17123 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 18 0 9 0 2003110588 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17124] ppid=17115 vsize=868244 CPUtime=0.42
/proc/17117/task/17124/stat : 17124 (java) S 17115 17117 15859 0 -1 64 969 373 0 1 40 0 1 1 15 0 9 0 2003110588 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17125] ppid=17115 vsize=868244 CPUtime=0.02
/proc/17117/task/17125/stat : 17125 (java) S 17115 17117 15859 0 -1 64 1 373 0 1 0 0 1 1 19 0 9 0 2003110588 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17117/tid=17126] ppid=17115 vsize=868244 CPUtime=0.02
/proc/17117/task/17126/stat : 17126 (java) S 17115 17117 15859 0 -1 64 7 373 0 1 0 0 1 1 15 0 9 0 2003110588 889081856 28446 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 156.62
Current children cumulated vsize (KiB) 868244
Child status: 0
Real time (s): 158.239
CPU time (s): 156.682
CPU user time (s): 156.417
CPU system time (s): 0.264959
CPU usage (%): 99.016
Max. virtual memory (cumulated for all children) (KiB): 868332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.417
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46780
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5295
involuntary context switches= 8503
runsolver used 0.206968 second user time and 0.52392 second system time
The end
Begin job on node68 at 2008-07-05 09:03:30
IDJOB=1086832
IDBENCH=57885
IDSOLVER=363
FILE ID=node68/1086832-1215241410
PBS_JOBID= 7881945
Free space on /tmp= 66524 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-7.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-1086832-1215241410/watcher-1086832-1215241410 -o /tmp/evaluation-result-1086832-1215241410/solver-1086832-1215241410 -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-1086832-1215241410.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b6ccf6de2a96d16153e1dfc9d32ad1be
RANDOM SEED=2093959614
node68.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.261
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.261
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: 1172688 kB
Buffers: 7272 kB
Cached: 60620 kB
SwapCached: 6772 kB
Active: 800344 kB
Inactive: 30724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1172688 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 2460 kB
Writeback: 0 kB
Mapped: 779184 kB
Slab: 35932 kB
Committed_AS: 5081096 kB
PageTables: 3260 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66520 MiB
End job on node68 at 2008-07-05 09:06:09