0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/194566-1168103702/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=470 nbRelationTypes=470 nbExtensionStructures=470 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=470 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2460 maxDegree=29
0.68 maxArity=2
0.68 => wckTime=0.372 cpuTime=0.29 mem=17M695
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.568 cpuTime=0.42 mem=15M587
0.93
0.93 preprocessing
0.93 nbConstraintChecks=117357 nbPropagations=1299 nbRevisions=10857 nbUselessRevisions=9178 nbSingletonTests=65
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.059 cpuTime=0.03 mem=15M587
0.96
0.96 search
0.96 run=0 nbConstraintChecks=60074 nbPropagations=1950 nbRevisions=19586 nbUselessRevisions=16417 nbAssignments=30
0.96 nbFailedAssignments=9 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.088 cpuTime=0.05 mem=15M587
0.98
0.98 search
0.98 run=1 nbConstraintChecks=134456 nbPropagations=4743 nbRevisions=50916 nbUselessRevisions=42554
0.98 nbAssignments=68 nbFailedAssignments=22 nbBacktracks=29 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=26
0.98 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.11 cpuTime=0.07 mem=15M587
1.00
1.00 search
1.00 run=2 nbConstraintChecks=245274 nbPropagations=8805 nbRevisions=100809 nbUselessRevisions=83837
1.00 nbAssignments=132 nbFailedAssignments=53 nbBacktracks=51 nbVisitedNodes=215 nbRestartNogoods=5 mapSize=45
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.13 cpuTime=0.09 mem=15M587
1.03
1.03 search
1.03 run=3 nbConstraintChecks=398988 nbPropagations=14583 nbRevisions=173053 nbUselessRevisions=143625
1.03 nbAssignments=222 nbFailedAssignments=79 nbBacktracks=88 nbVisitedNodes=332 nbRestartNogoods=10 mapSize=75
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.157 cpuTime=0.11 mem=15M587
1.06
1.06 search
1.06 run=4 nbConstraintChecks=550603 nbPropagations=22139 nbRevisions=270900 nbUselessRevisions=224284
1.06 nbAssignments=309 nbFailedAssignments=107 nbBacktracks=139 nbVisitedNodes=476 nbRestartNogoods=13 mapSize=120
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.185 cpuTime=0.14 mem=15M587
1.10
1.10 search
1.10 run=5 nbConstraintChecks=772466 nbPropagations=32375 nbRevisions=408512 nbUselessRevisions=337812
1.10 nbAssignments=446 nbFailedAssignments=157 nbBacktracks=216 nbVisitedNodes=703 nbRestartNogoods=16 mapSize=182
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.226 cpuTime=0.18 mem=15M587
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1125913 nbPropagations=46831 nbRevisions=609838 nbUselessRevisions=503226
1.16 nbAssignments=656 nbFailedAssignments=243 nbBacktracks=331 nbVisitedNodes=1059 nbRestartNogoods=20 mapSize=279
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.286 cpuTime=0.23 mem=15M587
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1593371 nbPropagations=67109 nbRevisions=898043 nbUselessRevisions=739471
1.24 nbAssignments=951 nbFailedAssignments=356 nbBacktracks=501 nbVisitedNodes=1563 nbRestartNogoods=24 mapSize=424
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.365 cpuTime=0.31 mem=15M587
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2289048 nbPropagations=94922 nbRevisions=1306433 nbUselessRevisions=1074354
1.35 nbAssignments=1354 nbFailedAssignments=496 nbBacktracks=758 nbVisitedNodes=2231 nbRestartNogoods=30
1.35 mapSize=628 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.477 cpuTime=0.42 mem=15M587
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3385371 nbPropagations=135497 nbRevisions=1918155 nbUselessRevisions=1577576
1.54 nbAssignments=1992 nbFailedAssignments=738 nbBacktracks=1142 nbVisitedNodes=3313 nbRestartNogoods=32
1.54 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.661 cpuTime=0.59 mem=15M587
1.58
1.58 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M587)
1.78
1.78 search
1.78 run=10 nbConstraintChecks=5002552 nbPropagations=194992 nbRevisions=2821099 nbUselessRevisions=2319013
1.78 nbAssignments=2945 nbFailedAssignments=1104 nbBacktracks=1720 nbVisitedNodes=4955 nbRestartNogoods=35
1.78 => wckTime=0.907 cpuTime=0.82 mem=15M587
2.10
2.10 search
2.10 run=11 nbConstraintChecks=7216514 nbPropagations=280761 nbRevisions=4131521 nbUselessRevisions=3395573
2.10 nbAssignments=4324 nbFailedAssignments=1609 nbBacktracks=2585 nbVisitedNodes=7292 nbRestartNogoods=40
2.10 => wckTime=1.227 cpuTime=1.14 mem=15M587
2.60
2.60 search
2.60 run=12 nbConstraintChecks=10747165 nbPropagations=407038 nbRevisions=6075537 nbUselessRevisions=4988305
2.60 nbAssignments=6480 nbFailedAssignments=2461 nbBacktracks=3883 nbVisitedNodes=10994 nbRestartNogoods=45
2.60 => wckTime=1.724 cpuTime=1.64 mem=15M587
3.32
3.32 search
3.32 run=13 nbConstraintChecks=15716464 nbPropagations=593273 nbRevisions=8953689 nbUselessRevisions=7350430
3.32 nbAssignments=9700 nbFailedAssignments=3724 nbBacktracks=5830 nbVisitedNodes=16491 nbRestartNogoods=50
3.32 => wckTime=2.443 cpuTime=2.35 mem=15M587
4.48
4.48 search
4.48 run=14 nbConstraintChecks=23860769 nbPropagations=875210 nbRevisions=13352409 nbUselessRevisions=10967972
4.48 nbAssignments=14552 nbFailedAssignments=5646 nbBacktracks=8749 nbVisitedNodes=24870 nbRestartNogoods=58
4.48 => wckTime=3.601 cpuTime=3.51 mem=15M587
6.19
6.19 search
6.19 run=15 nbConstraintChecks=35992087 nbPropagations=1298033 nbRevisions=19943642 nbUselessRevisions=16377756
6.19 nbAssignments=21712 nbFailedAssignments=8418 nbBacktracks=13129 nbVisitedNodes=37112 nbRestartNogoods=69
6.19 => wckTime=5.314 cpuTime=5.22 mem=16M562
8.95
8.95 search
8.95 run=16 nbConstraintChecks=56041856 nbPropagations=1948114 nbRevisions=30124229 nbUselessRevisions=24730439
8.95 nbAssignments=32868 nbFailedAssignments=12996 nbBacktracks=19698 nbVisitedNodes=56550 nbRestartNogoods=76
8.95 => wckTime=8.08 cpuTime=7.98 mem=16M562
12.34
12.34 search
12.34 run=17 nbConstraintChecks=79274644 nbPropagations=2878968 nbRevisions=44583179 nbUselessRevisions=36581334
12.34 nbAssignments=47981 nbFailedAssignments=18247 nbBacktracks=29550 nbVisitedNodes=81787 nbRestartNogoods=88
12.34 => wckTime=11.461 cpuTime=11.37 mem=16M562
17.92
17.92 search
17.92 run=18 nbConstraintChecks=118333765 nbPropagations=4269960 nbRevisions=66229441 nbUselessRevisions=54338237
17.92 nbAssignments=71805 nbFailedAssignments=27283 nbBacktracks=44328 nbVisitedNodes=122258 nbRestartNogoods=99
17.92 => wckTime=17.044 cpuTime=16.95 mem=16M562
26.89
26.89 search
26.89 run=19 nbConstraintChecks=186172023 nbPropagations=6380398 nbRevisions=98958371 nbUselessRevisions=81085520
26.89 nbAssignments=107799 nbFailedAssignments=41098 nbBacktracks=66500 nbVisitedNodes=183947 nbRestartNogoods=111
26.89 => wckTime=26.019 cpuTime=25.91 mem=16M562
39.60
39.60 search
39.60 run=20 nbConstraintChecks=275600026 nbPropagations=9535667 nbRevisions=147768046 nbUselessRevisions=120972935
39.60 nbAssignments=161500 nbFailedAssignments=61536 nbBacktracks=99752 nbVisitedNodes=275647 nbRestartNogoods=122
39.60 => wckTime=38.725 cpuTime=38.58 mem=16M562
59.24
59.24 search
59.24 run=21 nbConstraintChecks=416031835 nbPropagations=14284822 nbRevisions=221776403 nbUselessRevisions=181540835
59.24 nbAssignments=242854 nbFailedAssignments=93000 nbBacktracks=149633 nbVisitedNodes=414906 nbRestartNogoods=140
59.24 => wckTime=58.362 cpuTime=58.21 mem=16M562
87.38
87.38 search
87.38 run=22 nbConstraintChecks=614440340 nbPropagations=21357133 nbRevisions=331791786 nbUselessRevisions=271614943
87.38 nbAssignments=362834 nbFailedAssignments=138151 nbBacktracks=224451 nbVisitedNodes=619269 nbRestartNogoods=154
87.38 => wckTime=86.504 cpuTime=86.31 mem=16M562
130.33
130.33 search
130.33 run=23 nbConstraintChecks=919680275 nbPropagations=31965718 nbRevisions=496376571 nbUselessRevisions=406313123
130.33 nbAssignments=544277 nbFailedAssignments=207359 nbBacktracks=336678 nbVisitedNodes=928575 nbRestartNogoods=174
130.33 => wckTime=129.455 cpuTime=129.22 mem=16M562
196.13
196.13 search
196.13 run=24 nbConstraintChecks=1383255959 nbPropagations=47938811 nbRevisions=746541408 nbUselessRevisions=611517921
196.13 nbAssignments=819176 nbFailedAssignments=313908 nbBacktracks=505022 nbVisitedNodes=1400266 nbRestartNogoods=190
196.13 => wckTime=195.26 cpuTime=194.96 mem=16M562
291.20
291.20 search
291.20 run=25 nbConstraintChecks=2054681262 nbPropagations=71702888 nbRevisions=1118695856
291.20 nbUselessRevisions=916794492 nbAssignments=1222830 nbFailedAssignments=465040 nbBacktracks=757533
291.20 nbVisitedNodes=2087557 nbRestartNogoods=206
291.21 => wckTime=290.331 cpuTime=289.93 mem=16M562
440.08
440.08 search
440.08 run=26 nbConstraintChecks=3122251021 nbPropagations=107612936 nbRevisions=1680422615
440.08 nbUselessRevisions=1377315994 nbAssignments=1840262 nbFailedAssignments=703699 nbBacktracks=1136303
440.08 nbVisitedNodes=3144712 nbRestartNogoods=217
440.08 => wckTime=439.209 cpuTime=438.66 mem=16M562
654.13
654.13 search
654.13 run=27 nbConstraintChecks=4620440449 nbPropagations=161091892 nbRevisions=2518387084
654.13 nbUselessRevisions=2064930049 nbAssignments=2753172 nbFailedAssignments=1048449 nbBacktracks=1704455
654.13 nbVisitedNodes=4701634 nbRestartNogoods=226
654.13 => wckTime=653.253 cpuTime=652.47 mem=16M562
980.35
980.35 search
980.35 run=28 nbConstraintChecks=6905360286 nbPropagations=241506477 nbRevisions=3777297936
980.35 nbUselessRevisions=3098515088 nbAssignments=4132941 nbFailedAssignments=1575970 nbBacktracks=2556681
980.35 nbVisitedNodes=7063410 nbRestartNogoods=245
980.35 => wckTime=979.48 cpuTime=978.35 mem=16M562
1476.22
1476.22 search
1476.22 run=29 nbConstraintChecks=10443880083 nbPropagations=362509890 nbRevisions=5672065174
1476.22 nbUselessRevisions=4654310912 nbAssignments=6198561 nbFailedAssignments=2363225 nbBacktracks=3835023
1476.22 nbVisitedNodes=10598987 nbRestartNogoods=263
1476.22 => wckTime=1475.341 cpuTime=1473.68 mem=16M562
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-194566-1168103702 -o ROOT/results/node25/solver-194566-1168103702 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194566-1168103702/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: 0.92 0.98 1.11 5/84 9505
/proc/meminfo: memFree=1582008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=18540 CPUtime=0
/proc/9504/stat : 9504 (runsolver) R 9497 9504 9363 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 158762638 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9504/statm: 4635 279 244 17 0 2626 0
[startup+0.106061 s]
/proc/loadavg: 0.92 0.98 1.11 5/84 9505
/proc/meminfo: memFree=1582008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=914988 CPUtime=0.08
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 2979 0 1 0 6 2 0 0 22 0 8 0 158762638 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51413 s]
/proc/loadavg: 0.92 0.98 1.11 5/84 9505
/proc/meminfo: memFree=1582008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915328 CPUtime=0.49
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 7169 0 1 0 44 5 0 0 25 0 8 0 158762638 937295872 6908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228832 6908 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33927 s]
/proc/loadavg: 1.01 1.00 1.12 3/101 9528
/proc/meminfo: memFree=1542448/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1.3
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9649 0 1 0 123 7 0 0 25 0 8 0 158762638 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9387 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.19
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 383 0 0 0 18 1 0 0 15 0 8 0 158762646 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98055 s]
/proc/loadavg: 1.01 1.00 1.12 3/101 9528
/proc/meminfo: memFree=1542256/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=2.94
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9665 0 1 0 287 7 0 0 25 0 8 0 158762638 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9402 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 158762642 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 398 0 0 0 21 1 0 0 15 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.28011 s]
/proc/loadavg: 1.09 1.02 1.12 3/101 9528
/proc/meminfo: memFree=1542136/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=6.25
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9666 0 1 0 617 8 0 0 25 0 8 0 158762638 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9402 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.7612 s]
/proc/loadavg: 1.16 1.03 1.12 3/101 9528
/proc/meminfo: memFree=1542072/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=12.73
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9666 0 1 0 1265 8 0 0 25 0 8 0 158762638 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9402 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915460
[startup+25.6154 s]
/proc/loadavg: 1.29 1.06 1.13 3/101 9528
/proc/meminfo: memFree=1542072/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=25.57
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9666 0 1 0 2549 8 0 0 25 0 8 0 158762638 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9402 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460
[startup+51.2347 s]
/proc/loadavg: 1.57 1.15 1.16 3/101 9528
/proc/meminfo: memFree=1542200/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=51.15
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9668 0 1 0 5107 8 0 0 25 0 8 0 158762638 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821049 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9403 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915460
[startup+102.469 s]
/proc/loadavg: 1.81 1.28 1.20 3/101 9528
/proc/meminfo: memFree=1542136/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=102.33
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9668 0 1 0 10225 8 0 0 25 0 8 0 158762638 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9403 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915460
[startup+162.553 s]
/proc/loadavg: 1.93 1.41 1.25 3/101 9528
/proc/meminfo: memFree=1542136/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=162.36
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 16228 8 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 915460
[startup+1483.19 s]
/proc/loadavg: 2.00 2.00 1.81 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1481.57
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 148145 12 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 915460
[startup+1543.27 s]
/proc/loadavg: 2.24 2.07 1.84 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1541.59
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 154147 12 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 915460
[startup+1603.35 s]
/proc/loadavg: 2.08 2.06 1.85 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1601.62
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 160150 12 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821049 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 915460
[startup+1663.43 s]
/proc/loadavg: 2.03 2.04 1.85 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1661.61
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 166149 12 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 915460
[startup+1723.43 s]
/proc/loadavg: 2.01 2.03 1.86 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1721.57
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 172144 13 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 915460
[startup+1783.52 s]
/proc/loadavg: 2.00 2.03 1.86 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1781.6
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 178147 13 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.04 s]
/proc/loadavg: 2.00 2.02 1.87 3/101 9530
/proc/meminfo: memFree=1542008/2055920 swapFree=4192812/4192956
[pid=9504] ppid=9497 vsize=915460 CPUtime=1800.09
/proc/9504/stat : 9504 (java) R 9497 9504 9363 0 -1 0 9669 0 1 0 179996 13 0 0 25 0 8 0 158762638 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860587 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9504/statm: 228865 9404 2524 14 0 215335 0
[pid=9504/tid=9515] ppid=9497 vsize=915460 CPUtime=0.03
/proc/9504/task/9515/stat : 9515 (java) S 9497 9504 9363 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158762642 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9516] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9516/stat : 9516 (java) S 9497 9504 9363 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9517] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9517/stat : 9517 (java) S 9497 9504 9363 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158762643 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9521] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9521/stat : 9521 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9522] ppid=9497 vsize=915460 CPUtime=0.22
/proc/9504/task/9522/stat : 9522 (java) S 9497 9504 9363 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9523] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9523/stat : 9523 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9504/tid=9524] ppid=9497 vsize=915460 CPUtime=0
/proc/9504/task/9524/stat : 9524 (java) S 9497 9504 9363 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158762646 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.11
CPU time (s): 1800.16
CPU user time (s): 1800.02
CPU system time (s): 0.136979
CPU usage (%): 99.8917
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9687
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= 37664
involuntary context switches= 84941
runsolver used 2.46862 s user time and 5.54616 s system time
The end
Begin job on node25 on Sat Jan 6 17:15:02 UTC 2007
IDJOB= 194566
IDBENCH= 3221
FILE ID= node25/194566-1168103702
PBS_JOBID= 3477238
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194566-1168103702/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-194566-1168103702 -o ROOT/results/node25/solver-194566-1168103702 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194566-1168103702/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 327787098fd49aff3919ed22760f4f0f
RANDOM SEED= 838514356
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.279
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.279
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: 1582560 kB
Buffers: 50336 kB
Cached: 302584 kB
SwapCached: 0 kB
Active: 127776 kB
Inactive: 273644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1582560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2936 kB
Writeback: 0 kB
Mapped: 67472 kB
Slab: 56716 kB
Committed_AS: 3020240 kB
PageTables: 2184 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= 66549 MiB
End job on node25 on Sat Jan 6 17:45:05 UTC 2007