0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/198026-1168126609/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=11 nbDomainTypes=1 minDomainSize=56 maxDomainSize=56
0.43 => wckTime=0.13 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.76 nbConstraints=550 nbMergedConstraints=825 nbConvertedConstraints=55 nbConvertConstraintsChecks=3136
0.76 nbExtensionStructures=1 nbSharedExtensionStructures=54 nbConflictsStructures=1 nbSharedConflictsStructures=54
0.76 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.76 nbSharedEvaluationManagers=493 maxDegree=175 maxArity=4
0.76 => wckTime=0.455 cpuTime=0.31 mem=17M678
0.80
0.80 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.703 cpuTime=0.48 mem=20M728
2.50
2.50 preprocessing
2.50 nbConstraintChecks=1331049 nbValidityChecks=2798537 nbPropagations=641 nbRevisions=130611
2.50 nbUselessRevisions=127826 nbSingletonTests=143 nbEffectiveSingletonTests=14 nbESACBranches=52
2.50 nbRemovedValues=155 detectedInconsistency=no
2.50 => wckTime=1.49 cpuTime=1.44 mem=20M728
2.97
2.97 search
2.97 run=0 nbConstraintChecks=395283 nbValidityChecks=897988 nbPropagations=907 nbRevisions=187412
2.97 nbUselessRevisions=182257 nbAssignments=72 nbFailedAssignments=57 nbBacktracks=10 nbVisitedNodes=140
2.97 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=1.96 cpuTime=1.91 mem=20M728
4.27
4.28 search
4.28 run=1 nbConstraintChecks=1400690 nbValidityChecks=4779583 nbPropagations=2688 nbRevisions=557888
4.28 nbUselessRevisions=544842 nbAssignments=218 nbFailedAssignments=80 nbBacktracks=25 nbVisitedNodes=213
4.28 nbRestartNogoods=23 mapSize=25 nbInferences=0 nbTooLargeKeys=0
4.28 => wckTime=3.267 cpuTime=3.21 mem=20M728
5.01
5.01 search
5.01 run=2 nbConstraintChecks=2017515 nbValidityChecks=6307754 nbPropagations=4941 nbRevisions=1018864
5.01 nbUselessRevisions=995688 nbAssignments=309 nbFailedAssignments=144 nbBacktracks=47 nbVisitedNodes=381
5.01 nbRestartNogoods=30 mapSize=45 nbInferences=0 nbTooLargeKeys=0
5.01 => wckTime=4.006 cpuTime=3.94 mem=20M728
6.15
6.15 search
6.15 run=3 nbConstraintChecks=3055415 nbValidityChecks=8351548 nbPropagations=7709 nbRevisions=1578908
6.15 nbUselessRevisions=1543212 nbAssignments=414 nbFailedAssignments=213 nbBacktracks=82 nbVisitedNodes=579
6.15 nbRestartNogoods=36 mapSize=79 nbInferences=0 nbTooLargeKeys=0
6.15 => wckTime=5.143 cpuTime=5.07 mem=20M728
7.75
7.75 search
7.75 run=4 nbConstraintChecks=4261252 nbValidityChecks=12006836 nbPropagations=11624 nbRevisions=2363398
7.75 nbUselessRevisions=2308112 nbAssignments=622 nbFailedAssignments=366 nbBacktracks=132 nbVisitedNodes=982
7.75 nbRestartNogoods=40 mapSize=126 nbInferences=0 nbTooLargeKeys=0
7.75 => wckTime=6.741 cpuTime=6.63 mem=20M728
10.98
10.98 search
10.98 run=5 nbConstraintChecks=6533353 nbValidityChecks=20674652 nbPropagations=18105 nbRevisions=3673418
10.98 nbUselessRevisions=3582441 nbAssignments=1083 nbFailedAssignments=663 nbBacktracks=207 nbVisitedNodes=1710
10.98 nbRestartNogoods=59 mapSize=191 nbInferences=0 nbTooLargeKeys=0
10.98 => wckTime=9.973 cpuTime=9.84 mem=20M728
13.61
13.61 search
13.62 run=6 nbConstraintChecks=8401083 nbValidityChecks=27013673 nbPropagations=27166 nbRevisions=5473341
13.62 nbUselessRevisions=5331272 nbAssignments=1544 nbFailedAssignments=1005 nbBacktracks=321 nbVisitedNodes=2600
13.62 nbRestartNogoods=62 mapSize=289 nbInferences=0 nbTooLargeKeys=0
13.62 => wckTime=12.609 cpuTime=12.45 mem=21M703
18.12
18.12 search
18.12 run=7 nbConstraintChecks=11601989 nbValidityChecks=37961899 nbPropagations=40193 nbRevisions=8040331
18.12 nbUselessRevisions=7823142 nbAssignments=2270 nbFailedAssignments=1433 nbBacktracks=491 nbVisitedNodes=3759
18.12 nbRestartNogoods=84 mapSize=435 nbInferences=0 nbTooLargeKeys=0
18.12 => wckTime=17.112 cpuTime=16.91 mem=21M703
23.13
23.13 search
23.13 run=8 nbConstraintChecks=15681713 nbValidityChecks=46938626 nbPropagations=56960 nbRevisions=11353533
23.13 nbUselessRevisions=11034954 nbAssignments=3012 nbFailedAssignments=1866 nbBacktracks=747 nbVisitedNodes=5087
23.13 nbRestartNogoods=95 mapSize=670 nbInferences=0 nbTooLargeKeys=0
23.13 => wckTime=22.123 cpuTime=21.9 mem=21M703
28.32
28.32 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=21M703)
28.69
28.69 search
28.69 run=9 nbConstraintChecks=20118713 nbValidityChecks=55686399 nbPropagations=79113 nbRevisions=15636292
28.69 nbUselessRevisions=15192626 nbAssignments=4146 nbFailedAssignments=2584 nbBacktracks=1132 nbVisitedNodes=7221
28.69 nbRestartNogoods=114
28.69 => wckTime=27.684 cpuTime=27.45 mem=21M703
40.92
40.92 search
40.92 run=10 nbConstraintChecks=29272995 nbValidityChecks=77052647 nbPropagations=115035 nbRevisions=22403910
40.92 nbUselessRevisions=21767428 nbAssignments=6785 nbFailedAssignments=4634 nbBacktracks=1708 nbVisitedNodes=12379
40.92 nbRestartNogoods=131
40.92 => wckTime=39.911 cpuTime=39.59 mem=21M703
61.95
61.95 search
61.95 run=11 nbConstraintChecks=47537504 nbValidityChecks=108836127 nbPropagations=162828 nbRevisions=31513328
61.95 nbUselessRevisions=30597656 nbAssignments=9428 nbFailedAssignments=6375 nbBacktracks=2574 nbVisitedNodes=17233
61.95 nbRestartNogoods=159
61.95 => wckTime=60.941 cpuTime=60.39 mem=21M703
80.86
80.86 search
80.86 run=12 nbConstraintChecks=63273093 nbValidityChecks=136884903 nbPropagations=224859 nbRevisions=43438177
80.86 nbUselessRevisions=42133459 nbAssignments=12544 nbFailedAssignments=8178 nbBacktracks=3872 nbVisitedNodes=22824
80.86 nbRestartNogoods=175
80.86 => wckTime=79.855 cpuTime=79.13 mem=21M703
106.06
106.06 search
106.06 run=13 nbConstraintChecks=83789526 nbValidityChecks=173992593 nbPropagations=307558 nbRevisions=59499925
106.06 nbUselessRevisions=57657999 nbAssignments=17088 nbFailedAssignments=10744 nbBacktracks=5818
106.06 nbVisitedNodes=30935 nbRestartNogoods=197
106.06 => wckTime=105.055 cpuTime=104.08 mem=21M703
151.28
151.28 search
151.28 run=14 nbConstraintChecks=119519219 nbValidityChecks=245174503 nbPropagations=441496 nbRevisions=85243292
151.28 nbUselessRevisions=82586387 nbAssignments=27972 nbFailedAssignments=18700 nbBacktracks=8737
151.28 nbVisitedNodes=51930 nbRestartNogoods=214
151.28 => wckTime=150.274 cpuTime=148.87 mem=21M703
225.73
225.73 search
225.73 run=15 nbConstraintChecks=178320000 nbValidityChecks=361898491 nbPropagations=656864 nbRevisions=126732616
225.73 nbUselessRevisions=122845517 nbAssignments=44237 nbFailedAssignments=30552 nbBacktracks=13115
225.73 nbVisitedNodes=83598 nbRestartNogoods=230
225.73 => wckTime=224.725 cpuTime=222.62 mem=21M703
328.93
328.93 search
328.93 run=16 nbConstraintChecks=259240728 nbValidityChecks=535370829 nbPropagations=975774 nbRevisions=189186106
328.93 nbUselessRevisions=183423942 nbAssignments=63765 nbFailedAssignments=43501 nbBacktracks=19683
328.93 nbVisitedNodes=121233 nbRestartNogoods=249
328.93 => wckTime=327.925 cpuTime=324.83 mem=21M703
489.23
489.23 search
489.23 run=17 nbConstraintChecks=382859076 nbValidityChecks=812798777 nbPropagations=1460260 nbRevisions=286445771
489.23 nbUselessRevisions=277863793 nbAssignments=91824 nbFailedAssignments=61703 nbBacktracks=29536
489.23 nbVisitedNodes=175488 nbRestartNogoods=259
489.23 => wckTime=488.228 cpuTime=483.63 mem=21M703
745.49
745.49 search
745.49 run=18 nbConstraintChecks=581706721 nbValidityChecks=1264341243 nbPropagations=2184396 nbRevisions=435989786
745.49 nbUselessRevisions=423098340 nbAssignments=131012 nbFailedAssignments=86108 nbBacktracks=44315
745.49 nbVisitedNodes=250650 nbRestartNogoods=270
745.49 => wckTime=744.479 cpuTime=737.47 mem=21M703
1089.63
1089.63 search
1089.63 run=19 nbConstraintChecks=852219344 nbValidityChecks=1904225646 nbPropagations=3180175 nbRevisions=648955929
1089.63 nbUselessRevisions=629909048 nbAssignments=172802 nbFailedAssignments=111083 nbBacktracks=61122
1089.63 nbVisitedNodes=330554 nbRestartNogoods=287
1089.63 => wckTime=1088.62 cpuTime=1078.32 mem=21M703
1089.63
1089.63 global
1089.63 nbConstraintChecks=853550393 nbValidityChecks=1907024183 nbPropagations=3180816 nbRevisions=649086540
1089.63 nbUselessRevisions=630036874 nbRestartNogoods=287 solvingWckTime=1088.623 solvingCpuTime=1078.33 expiredTime=no
1089.63 totalExploration=yes nbFoundSolutions=0 globalCpuTime=1078.85
1089.63 => wckTime=1089.328 cpuTime=1078.81 mem=21M703
1089.63
1089.63 s UNSATISFIABLE
1089.63 d NODES 172802
1089.63 d CHECKS 853550393
1089.63
1089.63 totalWckTime=1089.404 totalCpuTime=1078.85
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-198026-1168126609 -o ROOT/results/node15/solver-198026-1168126609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=1784 CPUtime=0
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 133 0 0 0 0 0 0 0 20 0 1 0 161055757 1826816 105 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/528/statm: 446 115 86 14 0 91 0
[startup+0.105274 s]
/proc/loadavg: 1.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=914988 CPUtime=0.08
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 3019 0 1 0 7 1 0 0 17 0 8 0 161055757 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513344 s]
/proc/loadavg: 1.59 1.27 1.25 2/80 529
/proc/meminfo: memFree=1781184/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915328 CPUtime=0.46
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 6331 0 1 0 42 4 0 0 16 0 8 0 161055757 937295872 6070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228832 6070 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33448 s]
/proc/loadavg: 1.62 1.29 1.26 2/88 567
/proc/meminfo: memFree=1745656/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=1.28
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10100 0 1 0 119 9 0 0 16 0 8 0 161055757 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9838 2540 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.21
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 402 0 0 0 21 0 0 0 15 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915512
[startup+2.97276 s]
/proc/loadavg: 1.62 1.29 1.26 2/88 567
/proc/meminfo: memFree=1745656/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=2.91
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10207 0 1 0 282 9 0 0 17 0 8 0 161055757 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9942 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.24
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 410 0 0 0 23 1 0 0 15 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915512
[startup+6.26834 s]
/proc/loadavg: 1.62 1.29 1.26 3/101 626
/proc/meminfo: memFree=1444496/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=6.21
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10225 0 1 0 611 10 0 0 20 0 8 0 161055757 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9957 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161055761 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.25
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915512
[startup+12.7513 s]
/proc/loadavg: 1.68 1.31 1.26 3/101 626
/proc/meminfo: memFree=1069520/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=12.62
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10248 0 1 0 1252 10 0 0 25 0 8 0 161055757 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923624 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 9976 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161055761 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.26
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 9976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915512
[startup+25.6175 s]
/proc/loadavg: 1.73 1.33 1.27 2/88 641
/proc/meminfo: memFree=1744760/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=25.44
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10300 0 1 0 2533 11 0 0 19 0 8 0 161055757 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/528/statm: 228878 10020 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 439 0 0 0 28 1 0 0 15 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10020 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915512
[startup+51.2459 s]
/proc/loadavg: 1.84 1.39 1.29 3/94 690
/proc/meminfo: memFree=1319560/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=50.87
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10316 0 1 0 5073 14 0 0 25 0 8 0 161055757 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10036 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915512
[startup+102.499 s]
/proc/loadavg: 1.93 1.48 1.33 3/94 690
/proc/meminfo: memFree=1307208/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=101.61
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10322 0 1 0 10147 14 0 0 25 0 8 0 161055757 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10042 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161055765 937484288 10042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915512
[startup+162.501 s]
/proc/loadavg: 2.02 1.59 1.37 3/94 690
/proc/meminfo: memFree=1304840/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=161.05
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10327 0 1 0 16091 14 0 0 25 0 8 0 161055757 937484288 10047 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.21
Current children cumulated vsize (KiB) 915512
[startup+703.2 s]
/proc/loadavg: 2.00 1.94 1.64 3/94 690
/proc/meminfo: memFree=1300424/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=696.68
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10335 0 1 0 69650 18 0 0 25 0 8 0 161055757 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10055 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.68
Current children cumulated vsize (KiB) 915512
[startup+763.209 s]
/proc/loadavg: 2.03 1.96 1.66 3/94 690
/proc/meminfo: memFree=1300232/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=756.11
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 75593 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.11
Current children cumulated vsize (KiB) 915512
[startup+823.215 s]
/proc/loadavg: 2.01 1.97 1.68 3/94 690
/proc/meminfo: memFree=1300168/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=815.54
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 81536 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.54
Current children cumulated vsize (KiB) 915512
[startup+883.216 s]
/proc/loadavg: 2.06 1.99 1.70 3/94 690
/proc/meminfo: memFree=1300040/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=874.94
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 87476 18 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 874.94
Current children cumulated vsize (KiB) 915512
[startup+943.309 s]
/proc/loadavg: 2.02 1.99 1.72 3/94 690
/proc/meminfo: memFree=1299912/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=934.48
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 93429 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 934.48
Current children cumulated vsize (KiB) 915512
[startup+1003.31 s]
/proc/loadavg: 2.09 2.02 1.75 3/94 690
/proc/meminfo: memFree=1299848/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=993.88
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 99369 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073915863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 993.88
Current children cumulated vsize (KiB) 915512
[startup+1063.32 s]
/proc/loadavg: 2.03 2.01 1.76 3/94 690
/proc/meminfo: memFree=1299784/2055920 swapFree=4174172/4192956
[pid=528] ppid=526 vsize=915512 CPUtime=1053.34
/proc/528/stat : 528 (java) R 526 528 32004 0 -1 0 10338 0 1 0 105315 19 0 0 25 0 8 0 161055757 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/528/statm: 228878 10058 2543 14 0 215348 0
[pid=528/tid=530] ppid=526 vsize=915512 CPUtime=0.03
/proc/528/task/530/stat : 530 (java) S 526 528 32004 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161055761 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=531] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/531/stat : 531 (java) S 526 528 32004 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=532] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/532/stat : 532 (java) S 526 528 32004 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161055762 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=533] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/533/stat : 533 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=534] ppid=526 vsize=915512 CPUtime=0.29
/proc/528/task/534/stat : 534 (java) S 526 528 32004 0 -1 64 442 0 0 0 28 1 0 0 16 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=535] ppid=526 vsize=915512 CPUtime=0
/proc/528/task/535/stat : 535 (java) S 526 528 32004 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=528/tid=536] ppid=526 vsize=915512 CPUtime=0.01
/proc/528/task/536/stat : 536 (java) S 526 528 32004 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 161055765 937484288 10058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1053.34
Current children cumulated vsize (KiB) 915512
Child status: 0
Real time (s): 1089.69
CPU time (s): 1079.42
CPU user time (s): 1079.21
CPU system time (s): 0.206968
CPU usage (%): 99.0573
Max. virtual memory (cumulated for all children) (KiB): 915512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.21
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10429
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= 23143
involuntary context switches= 48975
runsolver used 1.22881 s user time and 3.59845 s system time
The end
Begin job on node15 on Sat Jan 6 23:36:49 UTC 2007
IDJOB= 198026
IDBENCH= 3529
FILE ID= node15/198026-1168126609
PBS_JOBID= 3477680
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-198026-1168126609 -o ROOT/results/node15/solver-198026-1168126609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198026-1168126609/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1f9db1cd2e7ccd3afc8aaa7073d57623
RANDOM SEED= 531921421
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.276
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.276
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: 1781664 kB
Buffers: 1616 kB
Cached: 195156 kB
SwapCached: 5800 kB
Active: 186204 kB
Inactive: 41304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1781664 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2156 kB
Writeback: 0 kB
Mapped: 40652 kB
Slab: 31820 kB
Committed_AS: 4389360 kB
PageTables: 2080 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= 66140 MiB
End job on node15 on Sat Jan 6 23:54:59 UTC 2007