0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/207881-1168183711/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.44 => wckTime=0.112 cpuTime=0.1 mem=7M931
0.44
0.44 relations being loaded...
0.50
0.50 constraints being loaded...
0.68 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.68 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.68 nbSharedBinaryRepresentations=25498 maxDegree=25 maxArity=3
0.68 => wckTime=0.351 cpuTime=0.27 mem=17M85
0.73
0.73 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.576 cpuTime=0.41 mem=19M717
3.59
3.59 preprocessing
3.59 nbConstraintChecks=5032010 nbValidityChecks=5017930 nbPropagations=42037 nbRevisions=90784
3.59 nbUselessRevisions=37445 nbSingletonTests=913 nbEffectiveSingletonTests=65 nbESACBranches=113
3.59 nbRemovedValues=27445 detectedInconsistency=no
3.59 => wckTime=2.675 cpuTime=2.63 mem=19M717
3.66
3.66 search
3.66 run=0 nbConstraintChecks=76735 nbValidityChecks=74203 nbPropagations=43897 nbRevisions=95505
3.66 nbUselessRevisions=39850 nbAssignments=34 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=55
3.66 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
3.66 => wckTime=2.744 cpuTime=2.69 mem=19M717
3.84
3.84 search
3.84 run=1 nbConstraintChecks=388003 nbValidityChecks=414447 nbPropagations=92452 nbRevisions=200634
3.84 nbUselessRevisions=83958 nbAssignments=121 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=112
3.84 nbRestartNogoods=9 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.84 => wckTime=2.925 cpuTime=2.86 mem=19M717
3.92
3.92 search
3.92 run=2 nbConstraintChecks=520462 nbValidityChecks=540577 nbPropagations=145127 nbRevisions=316668
3.92 nbUselessRevisions=133680 nbAssignments=178 nbFailedAssignments=59 nbBacktracks=51 nbVisitedNodes=213
3.92 nbRestartNogoods=10 mapSize=46 nbInferences=0 nbTooLargeKeys=0
3.92 => wckTime=3.006 cpuTime=2.94 mem=20M692
4.02
4.02 search
4.02 run=3 nbConstraintChecks=697122 nbValidityChecks=692426 nbPropagations=202961 nbRevisions=448989
4.02 nbUselessRevisions=192609 nbAssignments=252 nbFailedAssignments=99 nbBacktracks=85 nbVisitedNodes=345
4.02 nbRestartNogoods=11 mapSize=76 nbInferences=0 nbTooLargeKeys=0
4.02 => wckTime=3.109 cpuTime=3.04 mem=20M692
4.16
4.16 search
4.16 run=4 nbConstraintChecks=910926 nbValidityChecks=896865 nbPropagations=267763 nbRevisions=600425
4.16 nbUselessRevisions=261550 nbAssignments=366 nbFailedAssignments=150 nbBacktracks=138 nbVisitedNodes=529
4.16 nbRestartNogoods=11 mapSize=112 nbInferences=0 nbTooLargeKeys=0
4.16 => wckTime=3.242 cpuTime=3.18 mem=20M692
4.45
4.45 search
4.46 run=5 nbConstraintChecks=1425900 nbValidityChecks=1445374 nbPropagations=344488 nbRevisions=779161
4.46 nbUselessRevisions=343658 nbAssignments=570 nbFailedAssignments=195 nbBacktracks=214 nbVisitedNodes=721
4.46 nbRestartNogoods=24 mapSize=145 nbInferences=0 nbTooLargeKeys=0
4.46 => wckTime=3.541 cpuTime=3.47 mem=20M692
4.84
4.84 search
4.84 run=6 nbConstraintChecks=2076485 nbValidityChecks=2114606 nbPropagations=437051 nbRevisions=995441
4.84 nbUselessRevisions=443826 nbAssignments=835 nbFailedAssignments=271 nbBacktracks=327 nbVisitedNodes=1036
4.84 nbRestartNogoods=36 mapSize=216 nbInferences=0 nbTooLargeKeys=0
4.84 => wckTime=3.927 cpuTime=3.85 mem=21M667
5.32
5.32 search
5.32 run=7 nbConstraintChecks=2845972 nbValidityChecks=2947618 nbPropagations=550890 nbRevisions=1264003
5.32 nbUselessRevisions=570361 nbAssignments=1215 nbFailedAssignments=358 nbBacktracks=498 nbVisitedNodes=1458
5.32 nbRestartNogoods=46 mapSize=317 nbInferences=0 nbTooLargeKeys=0
5.32 => wckTime=4.409 cpuTime=4.33 mem=21M667
5.83
5.83 search
5.83 run=8 nbConstraintChecks=3625380 nbValidityChecks=3733835 nbPropagations=689392 nbRevisions=1598547
5.83 nbUselessRevisions=732023 nbAssignments=1611 nbFailedAssignments=473 nbBacktracks=754 nbVisitedNodes=2071
5.83 nbRestartNogoods=51 mapSize=479 nbInferences=0 nbTooLargeKeys=0
5.83 => wckTime=4.914 cpuTime=4.83 mem=22M643
6.59
6.59 search
6.59 run=9 nbConstraintChecks=4720196 nbValidityChecks=4970028 nbPropagations=871124 nbRevisions=2037395
6.59 nbUselessRevisions=944191 nbAssignments=2242 nbFailedAssignments=698 nbBacktracks=1139 nbVisitedNodes=3078
6.59 nbRestartNogoods=55 mapSize=706 nbInferences=0 nbTooLargeKeys=0
6.59 => wckTime=5.673 cpuTime=5.58 mem=24M593
7.34
7.34 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=26M543)
7.62
7.62 search
7.62 run=10 nbConstraintChecks=6344927 nbValidityChecks=6611120 nbPropagations=1109626 nbRevisions=2633859
7.62 nbUselessRevisions=1240066 nbAssignments=3157 nbFailedAssignments=1006 nbBacktracks=1719 nbVisitedNodes=4616
7.62 nbRestartNogoods=60
7.62 => wckTime=6.702 cpuTime=6.59 mem=26M543
9.17
9.17 search
9.17 run=11 nbConstraintChecks=8934705 nbValidityChecks=9375567 nbPropagations=1440335 nbRevisions=3471554
9.17 nbUselessRevisions=1660699 nbAssignments=4583 nbFailedAssignments=1501 nbBacktracks=2583 nbVisitedNodes=6942
9.17 nbRestartNogoods=71
9.17 => wckTime=8.256 cpuTime=8.14 mem=26M543
10.85
10.86 search
10.86 run=12 nbConstraintChecks=11733648 nbValidityChecks=12241177 nbPropagations=1881242 nbRevisions=4611879
10.86 nbUselessRevisions=2245143 nbAssignments=6451 nbFailedAssignments=2057 nbBacktracks=3883 nbVisitedNodes=9952
10.86 nbRestartNogoods=75
10.86 => wckTime=9.942 cpuTime=9.82 mem=26M543
13.59
13.59 search
13.59 run=13 nbConstraintChecks=16263922 nbValidityChecks=17063941 nbPropagations=2481574 nbRevisions=6172419
13.59 nbUselessRevisions=3047347 nbAssignments=9254 nbFailedAssignments=2895 nbBacktracks=5830 nbVisitedNodes=14532
13.59 nbRestartNogoods=81
13.59 => wckTime=12.68 cpuTime=12.56 mem=26M543
18.53
18.53 search
18.53 run=14 nbConstraintChecks=24376478 nbValidityChecks=25528024 nbPropagations=3380673 nbRevisions=8530335
18.53 nbUselessRevisions=4269790 nbAssignments=13679 nbFailedAssignments=4353 nbBacktracks=8749 nbVisitedNodes=21970
18.53 nbRestartNogoods=95
18.53 => wckTime=17.614 cpuTime=17.49 mem=26M543
24.85
24.85 search
24.85 run=15 nbConstraintChecks=34768954 nbValidityChecks=36230200 nbPropagations=4677568 nbRevisions=11972941
24.85 nbUselessRevisions=6070137 nbAssignments=20153 nbFailedAssignments=6418 nbBacktracks=13127 nbVisitedNodes=32702
24.85 nbRestartNogoods=109
24.85 => wckTime=23.935 cpuTime=23.81 mem=26M543
33.52
33.52 search
33.52 run=16 nbConstraintChecks=49171958 nbValidityChecks=51083305 nbPropagations=6514151 nbRevisions=16849258
33.52 nbUselessRevisions=8622915 nbAssignments=29700 nbFailedAssignments=9344 nbBacktracks=19695 nbVisitedNodes=48416
33.52 nbRestartNogoods=133
33.52 => wckTime=32.61 cpuTime=32.48 mem=26M543
48.02
48.02 search
48.02 run=17 nbConstraintChecks=72831465 nbValidityChecks=76565750 nbPropagations=9196040 nbRevisions=23865598
48.02 nbUselessRevisions=12241065 nbAssignments=44166 nbFailedAssignments=13878 nbBacktracks=29548
48.02 nbVisitedNodes=72262 nbRestartNogoods=148
48.02 => wckTime=47.109 cpuTime=46.97 mem=26M543
55.73
55.73 search
55.73 run=18 nbConstraintChecks=85532389 nbValidityChecks=89851825 nbPropagations=12348854 nbRevisions=32116787
55.73 nbUselessRevisions=16499577 nbAssignments=52043 nbFailedAssignments=16223 nbBacktracks=34994
55.73 nbVisitedNodes=85296 nbRestartNogoods=163
55.73 => wckTime=54.813 cpuTime=54.67 mem=26M543
55.73
55.73 global
55.73 nbConstraintChecks=90564399 nbValidityChecks=94869755 nbPropagations=12390891 nbRevisions=32207571
55.73 nbUselessRevisions=16537022 nbRestartNogoods=163 solvingWckTime=54.814 solvingCpuTime=54.67 expiredTime=no
55.73 totalExploration=no nbFoundSolutions=1 globalCpuTime=55.13
55.73 => wckTime=55.397 cpuTime=55.08 mem=26M543
55.73
55.73 s SATISFIABLE
55.73 v 24 1 18 1 15 20 17 1 25 13 23 7 2 4 16 17 1 15 13 6 5 14 11 5 7 0 4 10 14 4 20 1 10 3 8 8 6 1 9 17 19 9 12 9 22 1 3 13 21 9 2 22 23 36 43 47 64 79 85 99 104 104 114 118 119 122 130 131 148 157 166 167 180 189 189 0
55.73 d NODES 52043
55.73 d CHECKS 90564399
55.73
55.73 totalWckTime=55.479 totalCpuTime=55.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-207881-1168183711 -o ROOT/results/node25/solver-207881-1168183711 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207881-1168183711/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 1.31 1.69 7/86 3151
/proc/meminfo: memFree=1349776/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=18540 CPUtime=0
/proc/3150/stat : 3150 (runsolver) R 3145 3150 3038 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166763774 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3150/statm: 4635 279 244 17 0 2626 0
[startup+0.108548 s]
/proc/loadavg: 0.85 1.31 1.69 7/86 3151
/proc/meminfo: memFree=1349776/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=913068 CPUtime=0.08
/proc/3150/stat : 3150 (java) S 3145 3150 3038 0 -1 0 2866 0 1 0 7 1 0 0 17 0 8 0 166763774 934981632 2612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228267 2614 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.520618 s]
/proc/loadavg: 0.85 1.31 1.69 7/86 3151
/proc/meminfo: memFree=1349776/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915328 CPUtime=0.48
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 7220 0 1 0 44 4 0 0 18 0 8 0 166763774 937295872 6959 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228832 6959 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34876 s]
/proc/loadavg: 0.85 1.31 1.69 4/101 3179
/proc/meminfo: memFree=1268632/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=1.31
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 10203 0 1 0 124 7 0 0 24 0 8 0 166763774 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 9941 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166763779 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.2
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 166763783 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 9941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98804 s]
/proc/loadavg: 1.02 1.34 1.70 3/101 3179
/proc/meminfo: memFree=1245784/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=2.95
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 10208 0 1 0 288 7 0 0 25 0 8 0 166763774 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 9944 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 17 0 8 0 166763779 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.2
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 166763783 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 9944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.19058 s]
/proc/loadavg: 1.02 1.34 1.70 3/101 3179
/proc/meminfo: memFree=1035296/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=6.15
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 10833 0 1 0 606 9 0 0 25 0 8 0 166763774 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 10566 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 17 0 8 0 166763779 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.25
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 400 0 0 0 23 2 0 0 15 0 8 0 166763783 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6697 s]
/proc/loadavg: 1.25 1.38 1.70 5/101 3179
/proc/meminfo: memFree=630184/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=12.61
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 11470 0 1 0 1252 9 0 0 25 0 8 0 166763774 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 11201 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 17 0 8 0 166763779 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.27
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 410 0 0 0 25 2 0 0 15 0 8 0 166763783 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 11201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 11201 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) 915460
[startup+25.5349 s]
/proc/loadavg: 1.37 1.40 1.71 3/101 3179
/proc/meminfo: memFree=583784/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=25.47
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 11479 0 1 0 2538 9 0 0 25 0 8 0 166763774 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 11209 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166763779 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.27
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 410 0 0 0 25 2 0 0 15 0 8 0 166763783 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 11209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.1632 s]
/proc/loadavg: 1.58 1.45 1.71 3/101 3179
/proc/meminfo: memFree=583656/2055920 swapFree=4170848/4192956
[pid=3150] ppid=3145 vsize=915460 CPUtime=51.09
/proc/3150/stat : 3150 (java) R 3145 3150 3038 0 -1 0 11485 0 1 0 5100 9 0 0 25 0 8 0 166763774 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3150/statm: 228865 11215 2527 14 0 215335 0
[pid=3150/tid=3166] ppid=3145 vsize=915460 CPUtime=0.03
/proc/3150/task/3166/stat : 3166 (java) S 3145 3150 3038 0 -1 64 939 0 0 0 3 0 0 0 16 0 8 0 166763779 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3167] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3167/stat : 3167 (java) S 3145 3150 3038 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166763780 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3168] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3168/stat : 3168 (java) S 3145 3150 3038 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166763780 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3172] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3172/stat : 3172 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166763783 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3173] ppid=3145 vsize=915460 CPUtime=0.27
/proc/3150/task/3173/stat : 3173 (java) S 3145 3150 3038 0 -1 64 410 0 0 0 25 2 0 0 15 0 8 0 166763783 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3174] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3174/stat : 3174 (java) S 3145 3150 3038 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166763783 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3150/tid=3175] ppid=3145 vsize=915460 CPUtime=0
/proc/3150/task/3175/stat : 3175 (java) S 3145 3150 3038 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166763783 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 55.7675
CPU time (s): 55.6755
CPU user time (s): 55.5676
CPU system time (s): 0.107983
CPU usage (%): 99.8351
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.5676
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11577
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= 2465
involuntary context switches= 3955
runsolver used 0.05999 s user time and 0.204968 s system time
The end
Begin job on node25 on Sun Jan 7 15:28:32 UTC 2007
IDJOB= 207881
IDBENCH= 4341
FILE ID= node25/207881-1168183711
PBS_JOBID= 3479203
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-312_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207881-1168183711/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-207881-1168183711 -o ROOT/results/node25/solver-207881-1168183711 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207881-1168183711/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 18cb898c6d4e9c374a0c354fbac95ecf
RANDOM SEED= 924911670
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1350736 kB
Buffers: 50880 kB
Cached: 548140 kB
SwapCached: 2576 kB
Active: 138512 kB
Inactive: 489540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350736 kB
SwapTotal: 4192956 kB
SwapFree: 4170848 kB
Dirty: 5736 kB
Writeback: 0 kB
Mapped: 37744 kB
Slab: 62080 kB
Committed_AS: 3340132 kB
PageTables: 2232 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= 66554 MiB
End job on node25 on Sun Jan 7 15:29:30 UTC 2007