0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217843-1168249457/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=66 nbDomainTypes=2 minDomainSize=67 maxDomainSize=68
0.43 => wckTime=0.11 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
0.88 nbConstraints=1595 nbConvertedConstraints=1540 nbConvertConstraintsChecks=9113 nbExtensionStructures=2
0.88 nbSharedExtensionStructures=1538 nbConflictsStructures=2 nbSharedConflictsStructures=1538
0.88 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=69 nbEvaluationManagers=1
0.88 nbSharedEvaluationManagers=54 maxDegree=55 maxArity=3
0.88 => wckTime=0.559 cpuTime=0.41 mem=12M803
0.93
0.93 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.783 cpuTime=0.55 mem=16M91
44.51
44.51 INFO : Stopping ESAC
44.52
44.52 preprocessing
44.52 nbConstraintChecks=144955450 nbValidityChecks=2413628 nbPropagations=9773 nbRevisions=103655
44.52 nbUselessRevisions=72194 nbSingletonTests=174 nbEffectiveSingletonTests=6 nbESACBranches=43 nbRemovedValues=466
44.52 detectedInconsistency=no
44.52 => wckTime=43.411 cpuTime=42.95 mem=16M91
47.11
47.11 search
47.11 run=0 nbConstraintChecks=8275958 nbValidityChecks=456026 nbPropagations=12651 nbRevisions=139713
47.11 nbUselessRevisions=97999 nbAssignments=35 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=65
47.11 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
47.11 => wckTime=46.01 cpuTime=45.52 mem=16M91
51.77
51.77 search
51.77 run=1 nbConstraintChecks=23598379 nbValidityChecks=832342 nbPropagations=28687 nbRevisions=312248
51.77 nbUselessRevisions=219888 nbAssignments=85 nbFailedAssignments=39 nbBacktracks=26 nbVisitedNodes=144
51.77 nbRestartNogoods=7 mapSize=26 nbInferences=0 nbTooLargeKeys=0
51.77 => wckTime=50.67 cpuTime=50.14 mem=16M91
57.75
57.75 search
57.75 run=2 nbConstraintChecks=43201944 nbValidityChecks=1611750 nbPropagations=50516 nbRevisions=547838
57.75 nbUselessRevisions=387643 nbAssignments=170 nbFailedAssignments=90 nbBacktracks=48 nbVisitedNodes=291
57.75 nbRestartNogoods=13 mapSize=44 nbInferences=0 nbTooLargeKeys=0
57.75 => wckTime=56.646 cpuTime=56.05 mem=16M91
62.11
62.11 search
62.11 run=3 nbConstraintChecks=57735772 nbValidityChecks=1947205 nbPropagations=74548 nbRevisions=801653
62.11 nbUselessRevisions=568153 nbAssignments=229 nbFailedAssignments=103 nbBacktracks=81 nbVisitedNodes=364
62.11 nbRestartNogoods=20 mapSize=53 nbInferences=0 nbTooLargeKeys=0
62.11 => wckTime=61.009 cpuTime=60.35 mem=16M91
67.27
67.27 search
67.27 run=4 nbConstraintChecks=74986371 nbValidityChecks=2411531 nbPropagations=101850 nbRevisions=1081754
67.27 nbUselessRevisions=766999 nbAssignments=323 nbFailedAssignments=121 nbBacktracks=133 nbVisitedNodes=467
67.27 nbRestartNogoods=26 mapSize=62 nbInferences=0 nbTooLargeKeys=0
67.27 => wckTime=66.164 cpuTime=65.44 mem=16M91
72.53
72.53 search
72.53 run=5 nbConstraintChecks=92164728 nbValidityChecks=3039238 nbPropagations=139476 nbRevisions=1435695
72.53 nbUselessRevisions=1019978 nbAssignments=544 nbFailedAssignments=229 nbBacktracks=212 nbVisitedNodes=816
72.53 nbRestartNogoods=33 mapSize=106 nbInferences=0 nbTooLargeKeys=0
72.53 => wckTime=71.425 cpuTime=70.61 mem=16M91
74.76
74.76 search
74.76 run=6 nbConstraintChecks=99104999 nbValidityChecks=3422022 nbPropagations=188263 nbRevisions=1850314
74.76 nbUselessRevisions=1314395 nbAssignments=790 nbFailedAssignments=336 nbBacktracks=339 nbVisitedNodes=1247
74.76 nbRestartNogoods=40 mapSize=189 nbInferences=0 nbTooLargeKeys=0
74.76 => wckTime=73.66 cpuTime=72.82 mem=16M91
78.58
78.58 search
78.58 run=7 nbConstraintChecks=111573767 nbValidityChecks=3814483 nbPropagations=247039 nbRevisions=2340184
78.58 nbUselessRevisions=1665726 nbAssignments=1117 nbFailedAssignments=441 nbBacktracks=509 nbVisitedNodes=1697
78.58 nbRestartNogoods=48 mapSize=245 nbInferences=0 nbTooLargeKeys=0
78.58 => wckTime=77.473 cpuTime=76.58 mem=16M91
88.38
88.38 search
88.38 run=8 nbConstraintChecks=144258233 nbValidityChecks=4794151 nbPropagations=317208 nbRevisions=2915264
88.38 nbUselessRevisions=2073822 nbAssignments=1519 nbFailedAssignments=557 nbBacktracks=771 nbVisitedNodes=2263
88.38 nbRestartNogoods=57 mapSize=329 nbInferences=0 nbTooLargeKeys=0
88.38 => wckTime=87.277 cpuTime=86.24 mem=17M66
90.31
90.31 search
90.31 run=9 nbConstraintChecks=150245757 nbValidityChecks=5215566 nbPropagations=404490 nbRevisions=3653058
90.31 nbUselessRevisions=2609154 nbAssignments=2106 nbFailedAssignments=746 nbBacktracks=1159 nbVisitedNodes=3155
90.31 nbRestartNogoods=57 mapSize=466 nbInferences=0 nbTooLargeKeys=0
90.31 => wckTime=89.203 cpuTime=88.14 mem=17M66
105.80
105.80 search
105.80 run=10 nbConstraintChecks=203438265 nbValidityChecks=8075163 nbPropagations=523742 nbRevisions=4670836
105.80 nbUselessRevisions=3328587 nbAssignments=3115 nbFailedAssignments=1149 nbBacktracks=1740 nbVisitedNodes=4782
105.80 nbRestartNogoods=74 mapSize=753 nbInferences=0 nbTooLargeKeys=0
105.80 => wckTime=104.7 cpuTime=103.39 mem=17M66
116.75
116.75 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=18M41)
117.51
117.51 search
117.51 run=11 nbConstraintChecks=243460107 nbValidityChecks=10257616 nbPropagations=675238 nbRevisions=5983044
117.51 nbUselessRevisions=4242694 nbAssignments=4359 nbFailedAssignments=1525 nbBacktracks=2606 nbVisitedNodes=6595
117.51 nbRestartNogoods=78
117.51 => wckTime=116.409 cpuTime=114.95 mem=18M41
131.34
131.34 search
131.34 run=12 nbConstraintChecks=290226765 nbValidityChecks=12734916 nbPropagations=872790 nbRevisions=7691280
131.34 nbUselessRevisions=5419404 nbAssignments=6175 nbFailedAssignments=2032 nbBacktracks=3903 nbVisitedNodes=9197
131.34 nbRestartNogoods=90
131.34 => wckTime=130.238 cpuTime=128.57 mem=18M41
162.40
162.40 search
162.40 run=13 nbConstraintChecks=390854991 nbValidityChecks=17354746 nbPropagations=1192589 nbRevisions=10210088
162.40 nbUselessRevisions=7163765 nbAssignments=9416 nbFailedAssignments=3310 nbBacktracks=5849 nbVisitedNodes=14416
162.40 nbRestartNogoods=100
162.40 => wckTime=161.291 cpuTime=159.21 mem=18M41
179.47
179.47 search
179.47 run=14 nbConstraintChecks=440989297 nbValidityChecks=22701107 nbPropagations=1781786 nbRevisions=15571029
179.47 nbUselessRevisions=11134014 nbAssignments=16174 nbFailedAssignments=7134 nbBacktracks=8777 nbVisitedNodes=26506
179.47 nbRestartNogoods=110
179.47 => wckTime=178.37 cpuTime=176.05 mem=18M41
235.66
235.66 search
235.66 run=15 nbConstraintChecks=630961716 nbValidityChecks=33631604 nbPropagations=2676908 nbRevisions=23273602
235.66 nbUselessRevisions=16672097 nbAssignments=24412 nbFailedAssignments=10988 nbBacktracks=13156
235.66 nbVisitedNodes=40399 nbRestartNogoods=126
235.66 => wckTime=234.559 cpuTime=231.62 mem=18M41
309.43
309.43 search
309.43 run=16 nbConstraintChecks=874339153 nbValidityChecks=50263637 nbPropagations=4126198 nbRevisions=34958728
309.43 nbUselessRevisions=24976286 nbAssignments=37817 nbFailedAssignments=17818 nbBacktracks=19724
309.43 nbVisitedNodes=63944 nbRestartNogoods=131
309.43 => wckTime=308.322 cpuTime=304.62 mem=18M41
383.34
383.34 search
383.34 run=17 nbConstraintChecks=1117642592 nbValidityChecks=73896569 nbPropagations=6622469 nbRevisions=57222399
383.34 nbUselessRevisions=41382124 nbAssignments=62049 nbFailedAssignments=32189 nbBacktracks=29579
383.34 nbVisitedNodes=108199 nbRestartNogoods=148
383.34 => wckTime=382.235 cpuTime=378.45 mem=18M41
566.39
566.39 search
566.39 run=18 nbConstraintChecks=1743199108 nbValidityChecks=118951623 nbPropagations=10671563 nbRevisions=92203141
566.39 nbUselessRevisions=66624996 nbAssignments=98186 nbFailedAssignments=53534 nbBacktracks=44357
566.39 nbVisitedNodes=174102 nbRestartNogoods=172
566.39 => wckTime=565.284 cpuTime=561.28 mem=18M41
800.13
800.13 search
800.13 run=19 nbConstraintChecks=2489692921 nbValidityChecks=185831304 nbPropagations=17539238 nbRevisions=154422232
800.13 nbUselessRevisions=112237071 nbAssignments=158565 nbFailedAssignments=91651 nbBacktracks=66525
800.13 nbVisitedNodes=287736 nbRestartNogoods=200
800.13 => wckTime=799.028 cpuTime=793.69 mem=18M41
1190.84
1190.84 search
1190.84 run=20 nbConstraintChecks=3743865123 nbValidityChecks=294917717 nbPropagations=28670986 nbRevisions=255311220
1190.84 nbUselessRevisions=185897695 nbAssignments=246802 nbFailedAssignments=146626 nbBacktracks=99777
1190.84 nbVisitedNodes=454575 nbRestartNogoods=219
1190.84 => wckTime=1189.736 cpuTime=1181.96 mem=18M41
1772.18
1772.19 search
1772.19 run=21 nbConstraintChecks=5678809969 nbValidityChecks=463881807 nbPropagations=46131286 nbRevisions=416234841
1772.19 nbUselessRevisions=302748833 nbAssignments=374469 nbFailedAssignments=224410 nbBacktracks=149655
1772.19 nbVisitedNodes=695578 nbRestartNogoods=232
1772.19 => wckTime=1771.081 cpuTime=1760.2 mem=18M41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-217843-1168249457 -o ROOT/results/node1/solver-217843-1168249457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217843-1168249457/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: 2.01 2.01 2.00 4/98 14793
/proc/meminfo: memFree=1244080/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=9748 CPUtime=0
/proc/14792/stat : 14792 (java) D 14790 14792 14428 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 173341434 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5829412 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/14792/statm: 2437 412 333 14 0 1140 0
[startup+0.10398 s]
/proc/loadavg: 2.01 2.01 2.00 4/98 14793
/proc/meminfo: memFree=1244080/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=914988 CPUtime=0.09
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 2982 0 1 0 8 1 0 0 19 0 8 0 173341434 936947712 2728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228747 2728 1424 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51478 s]
/proc/loadavg: 2.01 2.01 2.00 4/98 14793
/proc/meminfo: memFree=1244080/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915328 CPUtime=0.5
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 6358 0 1 0 47 3 0 0 18 0 8 0 173341434 937295872 6097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228832 6097 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34812 s]
/proc/loadavg: 2.01 2.00 2.00 4/105 14800
/proc/meminfo: memFree=1219512/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1.32
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 8875 0 1 0 120 12 0 0 24 0 8 0 173341434 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8613 2540 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.24
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 173341441 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915576
[startup+3.00331 s]
/proc/loadavg: 2.01 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1219448/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=2.96
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 8882 0 1 0 284 12 0 0 25 0 8 0 173341434 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073765219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8619 2540 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.24
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 173341441 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915576
[startup+6.2907 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1219328/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=6.22
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 8893 0 1 0 610 12 0 0 25 0 8 0 173341434 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8629 2542 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 17 0 8 0 173341438 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.26
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 173341441 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915576
[startup+12.7845 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1219336/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=12.64
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 8906 0 1 0 1252 12 0 0 25 0 8 0 173341434 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8637 2542 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.27
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 424 0 0 0 26 1 0 0 15 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915576
[startup+25.621 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1219336/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=25.37
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 8906 0 1 0 2525 12 0 0 25 0 8 0 173341434 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8637 2542 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.27
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 424 0 0 0 26 1 0 0 15 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915576
[startup+51.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1218952/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=50.74
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9007 0 1 0 5061 13 0 0 25 0 8 0 173341434 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 8736 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.28
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 173341441 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915576
[startup+102.461 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1217800/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=101.3
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9308 0 1 0 10116 14 0 0 25 0 8 0 173341434 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14792/statm: 228894 9026 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.34
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 453 0 0 0 32 2 0 0 17 0 8 0 173341441 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 915576
[startup+162.559 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 14800
/proc/meminfo: memFree=1217160/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=160.57
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9473 0 1 0 16042 15 0 0 25 0 8 0 173341434 937549824 9189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.57
Current children cumulated vsize (KiB) 915576
[startup+1483.57 s]
/proc/loadavg: 2.10 2.05 2.01 3/105 15140
/proc/meminfo: memFree=763528/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1474.31
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9493 0 1 0 147408 23 0 0 25 0 8 0 173341434 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9208 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.31
Current children cumulated vsize (KiB) 915576
[startup+1543.62 s]
/proc/loadavg: 2.03 2.03 2.00 3/105 15140
/proc/meminfo: memFree=755208/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1534.02
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9493 0 1 0 153379 23 0 0 25 0 8 0 173341434 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9208 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.02
Current children cumulated vsize (KiB) 915576
[startup+1603.66 s]
/proc/loadavg: 2.01 2.03 2.00 3/105 15140
/proc/meminfo: memFree=755336/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1593.77
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9493 0 1 0 159353 24 0 0 25 0 8 0 173341434 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9208 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.77
Current children cumulated vsize (KiB) 915576
[startup+1663.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 15140
/proc/meminfo: memFree=755336/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1653.5
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9493 0 1 0 165326 24 0 0 25 0 8 0 173341434 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9208 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.5
Current children cumulated vsize (KiB) 915576
[startup+1723.75 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 15140
/proc/meminfo: memFree=755336/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1713.22
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9493 0 1 0 171298 24 0 0 25 0 8 0 173341434 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948397 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9208 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.22
Current children cumulated vsize (KiB) 915576
[startup+1783.79 s]
/proc/loadavg: 2.00 2.01 2.00 3/105 15140
/proc/meminfo: memFree=755272/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1772.9
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9495 0 1 0 177265 25 0 0 25 0 8 0 173341434 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073766247 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9210 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.9
Current children cumulated vsize (KiB) 915576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/105 15140
/proc/meminfo: memFree=755272/2055920 swapFree=4165612/4192956
[pid=14792] ppid=14790 vsize=915576 CPUtime=1800.01
/proc/14792/stat : 14792 (java) R 14790 14792 14428 0 -1 0 9495 0 1 0 179976 25 0 0 25 0 8 0 173341434 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950244 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14792/statm: 228894 9210 2543 14 0 215364 0
[pid=14792/tid=14794] ppid=14790 vsize=915576 CPUtime=0.03
/proc/14792/task/14794/stat : 14794 (java) S 14790 14792 14428 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14795] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14795/stat : 14795 (java) S 14790 14792 14428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14796] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14796/stat : 14796 (java) S 14790 14792 14428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173341438 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14797] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14797/stat : 14797 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14798] ppid=14790 vsize=915576 CPUtime=0.35
/proc/14792/task/14798/stat : 14798 (java) S 14790 14792 14428 0 -1 64 454 0 0 0 33 2 0 0 16 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14792/tid=14799] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14799/stat : 14799 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14792/tid=14800] ppid=14790 vsize=915576 CPUtime=0
/proc/14792/task/14800/stat : 14800 (java) S 14790 14792 14428 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173341441 937549824 9210 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.12
CPU time (s): 1800.08
CPU user time (s): 1799.82
CPU system time (s): 0.25796
CPU usage (%): 99.3906
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9514
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= 38137
involuntary context switches= 81328
runsolver used 2.6346 s user time and 6.24005 s system time
The end
Begin job on node1 on Mon Jan 8 09:44:17 UTC 2007
IDJOB= 217843
IDBENCH= 5175
FILE ID= node1/217843-1168249457
PBS_JOBID= 3481648
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-67-11-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217843-1168249457/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-217843-1168249457 -o ROOT/results/node1/solver-217843-1168249457 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217843-1168249457/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d7c2fefbd3266c439250439ebb1f1515
RANDOM SEED= 740365
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.234
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.234
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: 1244560 kB
Buffers: 54052 kB
Cached: 416084 kB
SwapCached: 3620 kB
Active: 472388 kB
Inactive: 281372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1244560 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1928 kB
Writeback: 0 kB
Mapped: 304108 kB
Slab: 41792 kB
Committed_AS: 5927344 kB
PageTables: 2872 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= 66309 MiB
End job on node1 on Mon Jan 8 10:14:28 UTC 2007