0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/215210-1168233753/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.52 nbVariables=918 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.201 cpuTime=0.14 mem=7M894
0.52
0.52 predicates being loaded...
0.52
0.52 constraints being loaded...
2.03 nbConstraints=9671 nbConvertedConstraints=9099 nbConvertConstraintsChecks=16 nbExtensionStructures=2
2.03 nbSharedExtensionStructures=9097 nbConflictsStructures=3 nbSharedConflictsStructures=9185
2.03 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
2.03 nbSharedEvaluationManagers=570 maxDegree=109 maxArity=32
2.03 => wckTime=1.718 cpuTime=1.44 mem=15M509
2.13
2.13 solver IterativeSystematicSolver being built...
2.45 => wckTime=2.134 cpuTime=1.7 mem=56M479
3.91
3.91 preprocessing
3.91 nbConstraintChecks=59934 nbValidityChecks=226559 nbPropagations=2840 nbRevisions=142579
3.91 nbUselessRevisions=141583 nbSingletonTests=929 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
3.91 detectedInconsistency=no
3.91 => wckTime=1.455 cpuTime=1.36 mem=17M309
4.36
4.36 search
4.36 run=0 nbConstraintChecks=184397 nbValidityChecks=206472 nbPropagations=7149 nbRevisions=347797
4.36 nbUselessRevisions=342272 nbAssignments=149 nbFailedAssignments=2 nbBacktracks=22 nbVisitedNodes=168
4.36 nbRestartNogoods=0 mapSize=17 nbInferences=0 nbTooLargeKeys=0
4.36 => wckTime=1.906 cpuTime=1.79 mem=18M318
4.78
4.78 search
4.78 run=1 nbConstraintChecks=334452 nbValidityChecks=411543 nbPropagations=17763 nbRevisions=878931
4.78 nbUselessRevisions=864287 nbAssignments=302 nbFailedAssignments=4 nbBacktracks=40 nbVisitedNodes=335
4.78 nbRestartNogoods=1 mapSize=30 nbInferences=0 nbTooLargeKeys=0
4.78 => wckTime=2.331 cpuTime=2.21 mem=18M318
5.31
5.31 search
5.31 run=2 nbConstraintChecks=568456 nbValidityChecks=638091 nbPropagations=33418 nbRevisions=1643327
5.31 nbUselessRevisions=1614281 nbAssignments=462 nbFailedAssignments=8 nbBacktracks=66 nbVisitedNodes=517
5.31 nbRestartNogoods=2 mapSize=51 nbInferences=0 nbTooLargeKeys=0
5.31 => wckTime=2.854 cpuTime=2.73 mem=18M318
6.15
6.15 search
6.15 run=3 nbConstraintChecks=1002055 nbValidityChecks=913734 nbPropagations=59439 nbRevisions=2791144
6.15 nbUselessRevisions=2736657 nbAssignments=635 nbFailedAssignments=12 nbBacktracks=113 nbVisitedNodes=732
6.15 nbRestartNogoods=3 mapSize=92 nbInferences=0 nbTooLargeKeys=0
6.15 => wckTime=3.694 cpuTime=3.55 mem=18M318
7.35
7.35 search
7.35 run=4 nbConstraintChecks=1541044 nbValidityChecks=1307389 nbPropagations=97515 nbRevisions=4417688
7.35 nbUselessRevisions=4324391 nbAssignments=792 nbFailedAssignments=22 nbBacktracks=169 nbVisitedNodes=936
7.35 nbRestartNogoods=4 mapSize=138 nbInferences=0 nbTooLargeKeys=0
7.35 => wckTime=4.895 cpuTime=4.74 mem=18M318
9.06
9.06 search
9.06 run=5 nbConstraintChecks=2289456 nbValidityChecks=1878239 nbPropagations=151754 nbRevisions=6721772
9.06 nbUselessRevisions=6571357 nbAssignments=963 nbFailedAssignments=34 nbBacktracks=247 nbVisitedNodes=1171
9.06 nbRestartNogoods=5 mapSize=201 nbInferences=0 nbTooLargeKeys=0
9.06 => wckTime=6.611 cpuTime=6.43 mem=18M318
11.85
11.85 search
11.85 run=6 nbConstraintChecks=3410035 nbValidityChecks=2863112 nbPropagations=230373 nbRevisions=10098943
11.85 nbUselessRevisions=9863745 nbAssignments=1187 nbFailedAssignments=57 nbBacktracks=369 nbVisitedNodes=1488
11.85 nbRestartNogoods=6 mapSize=293 nbInferences=0 nbTooLargeKeys=0
11.85 => wckTime=9.393 cpuTime=9.19 mem=18M318
15.76
15.76 search
15.76 run=7 nbConstraintChecks=5096046 nbValidityChecks=4144559 nbPropagations=344601 nbRevisions=14973974
15.76 nbUselessRevisions=14613262 nbAssignments=1472 nbFailedAssignments=83 nbBacktracks=545 nbVisitedNodes=1925
15.76 nbRestartNogoods=7 mapSize=443 nbInferences=0 nbTooLargeKeys=0
15.76 => wckTime=13.311 cpuTime=13.06 mem=19M326
21.59
21.59 search
21.59 run=8 nbConstraintChecks=7591935 nbValidityChecks=6074885 nbPropagations=513031 nbRevisions=22102209
21.59 nbUselessRevisions=21554592 nbAssignments=1857 nbFailedAssignments=125 nbBacktracks=815 nbVisitedNodes=2533
21.59 nbRestartNogoods=9 mapSize=665 nbInferences=0 nbTooLargeKeys=0
21.59 => wckTime=19.134 cpuTime=18.82 mem=19M326
29.26
29.26 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=19M326)
29.27
29.27 search
29.27 run=9 nbConstraintChecks=11557043 nbValidityChecks=8473830 nbPropagations=769153 nbRevisions=32532301
29.27 nbUselessRevisions=31697490 nbAssignments=2382 nbFailedAssignments=205 nbBacktracks=1201 nbVisitedNodes=3424
29.27 nbRestartNogoods=10
29.27 => wckTime=26.82 cpuTime=26.44 mem=19M326
33.41
33.41 search
33.41 run=10 nbConstraintChecks=15204052 nbValidityChecks=9538166 nbPropagations=1116818 nbRevisions=45589043
33.41 nbUselessRevisions=44364998 nbAssignments=3121 nbFailedAssignments=323 nbBacktracks=1777 nbVisitedNodes=4525
33.41 nbRestartNogoods=11
33.41 => wckTime=30.954 cpuTime=30.53 mem=19M326
36.02
36.02 search
36.02 run=11 nbConstraintChecks=17822823 nbValidityChecks=10142792 nbPropagations=1534737 nbRevisions=60473830
36.02 nbUselessRevisions=58785269 nbAssignments=4144 nbFailedAssignments=439 nbBacktracks=2644 nbVisitedNodes=5822
36.02 nbRestartNogoods=14
36.02 => wckTime=33.571 cpuTime=33.12 mem=19M326
41.58
41.58 search
41.58 run=12 nbConstraintChecks=23052107 nbValidityChecks=11567190 nbPropagations=2090209 nbRevisions=79142399
41.59 nbUselessRevisions=76839222 nbAssignments=5687 nbFailedAssignments=618 nbBacktracks=3954 nbVisitedNodes=7906
41.59 nbRestartNogoods=17
41.59 => wckTime=39.132 cpuTime=38.63 mem=19M326
50.82
50.82 search
50.82 run=13 nbConstraintChecks=30193351 nbValidityChecks=14115705 nbPropagations=2822585 nbRevisions=103151436
50.82 nbUselessRevisions=100036653 nbAssignments=7877 nbFailedAssignments=835 nbBacktracks=5902 nbVisitedNodes=10833
50.82 nbRestartNogoods=20
50.82 => wckTime=48.366 cpuTime=47.78 mem=19M326
99.99
99.99 search
99.99 run=14 nbConstraintChecks=60426537 nbValidityChecks=29926350 nbPropagations=4248363 nbRevisions=151810449
99.99 nbUselessRevisions=147083575 nbAssignments=11287 nbFailedAssignments=1269 nbBacktracks=8831
99.99 nbVisitedNodes=17172 nbRestartNogoods=21
99.99 => wckTime=97.534 cpuTime=96.79 mem=19M326
166.22
166.22 search
166.22 run=15 nbConstraintChecks=102825931 nbValidityChecks=51616026 nbPropagations=6656773 nbRevisions=234926055
166.22 nbUselessRevisions=227455917 nbAssignments=16540 nbFailedAssignments=2067 nbBacktracks=13214
166.22 nbVisitedNodes=26551 nbRestartNogoods=22
166.22 => wckTime=163.765 cpuTime=162.93 mem=19M326
211.35
211.35 search
211.35 run=16 nbConstraintChecks=141032001 nbValidityChecks=65292386 nbPropagations=10042303 nbRevisions=347341560
211.35 nbUselessRevisions=336034369 nbAssignments=24372 nbFailedAssignments=3288 nbBacktracks=19782
211.35 nbVisitedNodes=38235 nbRestartNogoods=25
211.35 => wckTime=208.892 cpuTime=208.01 mem=19M326
270.61
270.61 search
270.61 run=17 nbConstraintChecks=193895387 nbValidityChecks=82717106 nbPropagations=14792752 nbRevisions=499744621
270.61 nbUselessRevisions=483074607 nbAssignments=35653 nbFailedAssignments=4641 nbBacktracks=29634
270.61 nbVisitedNodes=54976 nbRestartNogoods=27
270.61 => wckTime=268.152 cpuTime=267.23 mem=19M326
441.63
441.63 search
441.63 run=18 nbConstraintChecks=329138083 nbValidityChecks=135643436 nbPropagations=22868640 nbRevisions=757740019
441.63 nbUselessRevisions=731844923 nbAssignments=53806 nbFailedAssignments=7982 nbBacktracks=44416
441.63 nbVisitedNodes=86942 nbRestartNogoods=29
441.63 => wckTime=439.179 cpuTime=438.08 mem=19M326
569.39
569.39 search
569.39 run=19 nbConstraintChecks=456008190 nbValidityChecks=168941068 nbPropagations=34286356 nbRevisions=1108846222
569.39 nbUselessRevisions=1069952435 nbAssignments=80407 nbFailedAssignments=12357 nbBacktracks=66585
569.39 nbVisitedNodes=126753 nbRestartNogoods=31
569.39 => wckTime=566.938 cpuTime=565.71 mem=19M326
710.83
710.83 search
710.83 run=20 nbConstraintChecks=611494202 nbValidityChecks=205291867 nbPropagations=49713897 nbRevisions=1572782022
710.83 nbUselessRevisions=1516228842 nbAssignments=102059 nbFailedAssignments=15794 nbBacktracks=83882
710.83 nbVisitedNodes=164883 nbRestartNogoods=35
710.83 => wckTime=708.377 cpuTime=707.01 mem=19M326
710.83
710.83 global
710.83 nbConstraintChecks=611554136 nbValidityChecks=205518426 nbPropagations=49716737 nbRevisions=1572924601
710.83 nbUselessRevisions=1516370425 nbRestartNogoods=35 solvingWckTime=708.378 solvingCpuTime=707.01 expiredTime=no
710.83 totalExploration=no nbFoundSolutions=1 globalCpuTime=708.76
710.83 => wckTime=710.516 cpuTime=708.71 mem=19M326
710.83
710.83 s SATISFIABLE
710.83 v 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0
710.83 d NODES 102059
710.83 d CHECKS 611554136
710.83
710.83 totalWckTime=710.599 totalCpuTime=708.76
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-215210-1168233753 -o ROOT/results/node48/solver-215210-1168233753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215210-1168233753/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.33 1.07 1.02 4/74 24995
/proc/meminfo: memFree=1865688/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=906644 CPUtime=0.02
/proc/24994/stat : 24994 (java) S 24992 24994 24773 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 171774028 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 226661 1817 1036 14 0 214244 0
[pid=24994/tid=24996] ppid=24992 vsize=906644 CPUtime=0
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24773 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 171774032 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105737 s]
/proc/loadavg: 1.33 1.07 1.02 4/74 24995
/proc/meminfo: memFree=1865688/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=914988 CPUtime=0.09
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 3001 0 1 0 7 2 0 0 20 0 8 0 171774028 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228747 2747 1428 14 0 215242 0
[pid=24994/tid=24996] ppid=24992 vsize=914988 CPUtime=0
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 171774032 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515772 s]
/proc/loadavg: 1.33 1.07 1.02 4/74 24995
/proc/meminfo: memFree=1865688/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915328 CPUtime=0.48
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 6348 0 1 0 43 5 0 0 21 0 8 0 171774028 937295872 6087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072940298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228832 6087 2135 14 0 215302 0
[pid=24994/tid=24996] ppid=24992 vsize=915328 CPUtime=0
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 171774032 937295872 6087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34485 s]
/proc/loadavg: 1.33 1.07 1.02 3/81 25002
/proc/meminfo: memFree=1807456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915636 CPUtime=1.29
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 16932 0 1 0 108 21 0 0 25 0 8 0 171774028 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228909 16670 2178 14 0 215379 0
[pid=24994/tid=24996] ppid=24992 vsize=915636 CPUtime=0.01
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 325 0 0 0 1 0 0 0 16 0 8 0 171774032 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915636 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915636 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171774033 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915636 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915636 CPUtime=0.17
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 421 0 0 0 17 0 0 0 16 0 8 0 171774036 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915636 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915636 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937611264 16670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915636
[startup+2.991 s]
/proc/loadavg: 1.38 1.08 1.03 3/81 25002
/proc/meminfo: memFree=1793184/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=2.92
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22390 0 1 0 240 52 0 0 25 0 8 0 171774028 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228932 22125 2546 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.2
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 1 0 0 16 0 8 0 171774032 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.3
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 482 0 0 0 29 1 0 0 15 0 8 0 171774036 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915728
[startup+6.27031 s]
/proc/loadavg: 1.38 1.08 1.03 3/81 25002
/proc/meminfo: memFree=1786976/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=6.18
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22408 0 1 0 565 53 0 0 25 0 8 0 171774028 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228932 22140 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.2
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 1 0 0 17 0 8 0 171774032 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.33
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 496 0 0 0 32 1 0 0 15 0 8 0 171774036 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915728
[startup+12.7659 s]
/proc/loadavg: 1.47 1.11 1.04 3/81 25002
/proc/meminfo: memFree=1786976/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=12.61
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22413 0 1 0 1208 53 0 0 25 0 8 0 171774028 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228932 22143 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.2
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 1 0 0 17 0 8 0 171774032 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.33
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 499 0 0 0 32 1 0 0 16 0 8 0 171774036 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915728
[startup+25.6281 s]
/proc/loadavg: 1.56 1.14 1.05 3/81 25002
/proc/meminfo: memFree=1787104/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=25.36
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22418 0 1 0 2483 53 0 0 25 0 8 0 171774028 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228932 22147 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.2
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 1 0 0 16 0 8 0 171774032 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.34
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 503 0 0 0 33 1 0 0 16 0 8 0 171774036 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915728
[startup+51.2604 s]
/proc/loadavg: 1.71 1.21 1.07 3/81 25002
/proc/meminfo: memFree=1787232/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=50.76
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22428 0 1 0 5023 53 0 0 25 0 8 0 171774028 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 228932 22153 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.2
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 1 0 0 16 0 8 0 171774032 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 512 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915728
[startup+102.479 s]
/proc/loadavg: 1.88 1.34 1.12 3/88 25080
/proc/meminfo: memFree=1764520/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=101.81
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22428 0 1 0 10126 55 0 0 25 0 8 0 171774028 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074047329 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22153 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.21
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 2 0 0 16 0 8 0 171774032 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 512 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915728
################
# More data... #
################
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.85
Current children cumulated vsize (KiB) 915728
[startup+342.761 s]
/proc/loadavg: 1.99 1.70 1.31 3/88 25080
/proc/meminfo: memFree=1764520/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=341.85
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 34129 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.21
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.85
Current children cumulated vsize (KiB) 915728
[startup+402.833 s]
/proc/loadavg: 2.15 1.79 1.37 3/88 25080
/proc/meminfo: memFree=1764456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=401.87
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 40131 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.21
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) R 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.87
Current children cumulated vsize (KiB) 915728
[startup+462.908 s]
/proc/loadavg: 2.05 1.83 1.40 3/88 25080
/proc/meminfo: memFree=1764456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=461.89
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 46133 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074011115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.21
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 19 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.89
Current children cumulated vsize (KiB) 915728
[startup+522.98 s]
/proc/loadavg: 2.07 1.87 1.44 3/88 25080
/proc/meminfo: memFree=1764456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=521.89
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 52133 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100183 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.22
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 20 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 915728
[startup+583.05 s]
/proc/loadavg: 2.02 1.89 1.47 3/88 25080
/proc/meminfo: memFree=1764456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=581.91
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 58135 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.22
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 20 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 915728
[startup+643.121 s]
/proc/loadavg: 2.01 1.91 1.50 3/88 25080
/proc/meminfo: memFree=1764456/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=641.93
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 64137 56 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.22
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 20 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 915728
[startup+703.197 s]
/proc/loadavg: 2.06 1.94 1.54 3/88 25080
/proc/meminfo: memFree=1764392/2055920 swapFree=4192812/4192956
[pid=24994] ppid=24992 vsize=915728 CPUtime=701.94
/proc/24994/stat : 24994 (java) R 24992 24994 24773 0 -1 0 22430 0 1 0 70137 57 0 0 25 0 8 0 171774028 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014031 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24994/statm: 228932 22155 2547 14 0 215402 0
[pid=24994/tid=24996] ppid=24992 vsize=915728 CPUtime=0.22
/proc/24994/task/24996/stat : 24996 (java) S 24992 24994 24773 0 -1 64 5277 0 0 0 20 2 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171774032 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171774033 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24773 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=915728 CPUtime=0.36
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24773 0 -1 64 514 0 0 0 35 1 0 0 16 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=915728 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171774036 937705472 22155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 710.858
CPU time (s): 709.599
CPU user time (s): 709.012
CPU system time (s): 0.58691
CPU usage (%): 99.8229
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 709.012
system time used= 0.58691
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22441
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= 15985
involuntary context switches= 6792
runsolver used 1.01484 s user time and 1.92571 s system time
The end
Begin job on node48 on Mon Jan 8 05:22:33 UTC 2007
IDJOB= 215210
IDBENCH= 4984
FILE ID= node48/215210-1168233753
PBS_JOBID= 3481428
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32a1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215210-1168233753/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-215210-1168233753 -o ROOT/results/node48/solver-215210-1168233753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215210-1168233753/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e36afdea6fa0408f0a7a199c9130b38d
RANDOM SEED= 85781280
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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1866168 kB
Buffers: 12432 kB
Cached: 80524 kB
SwapCached: 0 kB
Active: 101860 kB
Inactive: 30060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1866168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6428 kB
Writeback: 0 kB
Mapped: 50444 kB
Slab: 43156 kB
Committed_AS: 4012980 kB
PageTables: 1752 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= 66558 MiB
End job on node48 on Mon Jan 8 05:34:24 UTC 2007