0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/248193-1168398482/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=112 maxDomainSize=112
0.40 => wckTime=0.106 cpuTime=0.09 mem=7M927
0.40
0.40 predicates being loaded...
0.47
0.47 constraints being loaded...
0.60 nbConstraints=80 nbUnbuiltConflictsStructures=80 nbSharedBinaryRepresentations=0 nbEvaluationManagers=80
0.60 nbSharedEvaluationManagers=0 maxDegree=12 maxArity=10
0.60 => wckTime=0.313 cpuTime=0.22 mem=12M803
0.64
0.64 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.531 cpuTime=0.37 mem=18M706
5.29
5.29 preprocessing
5.29 nbConstraintChecks=11394999 nbValidityChecks=3916 nbPropagations=288 nbRevisions=125 nbUselessRevisions=30
5.29 nbSingletonTests=122 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=1288 detectedInconsistency=no
5.29 => wckTime=4.469 cpuTime=4.4 mem=18M706
5.40
5.40 search
5.40 run=0 nbConstraintChecks=158943 nbValidityChecks=2289 nbPropagations=369 nbRevisions=207 nbUselessRevisions=52
5.40 nbAssignments=21 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=27 nbRestartNogoods=0 mapSize=9
5.40 nbInferences=0 nbTooLargeKeys=0
5.40 => wckTime=4.577 cpuTime=4.5 mem=18M706
5.59
5.59 search
5.59 run=1 nbConstraintChecks=502023 nbValidityChecks=5277 nbPropagations=885 nbRevisions=557
5.59 nbUselessRevisions=145 nbAssignments=65 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=79
5.59 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
5.59 => wckTime=4.771 cpuTime=4.69 mem=18M706
7.01
7.01 search
7.01 run=2 nbConstraintChecks=2809479 nbValidityChecks=14953 nbPropagations=1680 nbRevisions=1302
7.01 nbUselessRevisions=288 nbAssignments=173 nbFailedAssignments=67 nbBacktracks=50 nbVisitedNodes=241
7.01 nbRestartNogoods=10 mapSize=43 nbInferences=0 nbTooLargeKeys=0
7.01 => wckTime=6.189 cpuTime=6.09 mem=19M681
12.99
12.99 search
12.99 run=3 nbConstraintChecks=13284186 nbValidityChecks=114102 nbPropagations=8692 nbRevisions=7361
12.99 nbUselessRevisions=1680 nbAssignments=2619 nbFailedAssignments=492 nbBacktracks=84 nbVisitedNodes=1132
12.99 nbRestartNogoods=61 mapSize=59 nbInferences=0 nbTooLargeKeys=0
12.99 => wckTime=12.164 cpuTime=11.99 mem=19M681
17.55
17.55 search
17.55 run=4 nbConstraintChecks=21423849 nbValidityChecks=155379 nbPropagations=18618 nbRevisions=15742
17.55 nbUselessRevisions=3354 nbAssignments=3547 nbFailedAssignments=1069 nbBacktracks=136 nbVisitedNodes=2340
17.55 nbRestartNogoods=91 mapSize=78 nbInferences=0 nbTooLargeKeys=0
17.55 => wckTime=16.73 cpuTime=16.52 mem=19M681
31.28
31.28 search
31.28 run=5 nbConstraintChecks=43011743 nbValidityChecks=280595 nbPropagations=35736 nbRevisions=29602
31.28 nbUselessRevisions=5172 nbAssignments=5662 nbFailedAssignments=3105 nbBacktracks=213 nbVisitedNodes=6491
31.28 nbRestartNogoods=93 mapSize=112 nbInferences=0 nbTooLargeKeys=0
31.28 => wckTime=30.457 cpuTime=30.11 mem=19M681
38.24
38.24 search
38.24 run=6 nbConstraintChecks=54204009 nbValidityChecks=347470 nbPropagations=56086 nbRevisions=45953
38.24 nbUselessRevisions=7131 nbAssignments=6726 nbFailedAssignments=3978 nbBacktracks=332 nbVisitedNodes=8364
38.24 nbRestartNogoods=110 mapSize=169 nbInferences=0 nbTooLargeKeys=0
38.24 => wckTime=37.416 cpuTime=37.01 mem=19M681
43.86
43.86 search
43.86 run=7 nbConstraintChecks=66441748 nbValidityChecks=464276 nbPropagations=80703 nbRevisions=66267
43.86 nbUselessRevisions=10325 nbAssignments=8163 nbFailedAssignments=4032 nbBacktracks=504 nbVisitedNodes=8652
43.86 nbRestartNogoods=232 mapSize=296 nbInferences=0 nbTooLargeKeys=0
43.86 => wckTime=43.041 cpuTime=42.59 mem=19M681
46.05
46.05 search
46.05 run=8 nbConstraintChecks=70393562 nbValidityChecks=497238 nbPropagations=106686 nbRevisions=87810
46.05 nbUselessRevisions=13780 nbAssignments=8566 nbFailedAssignments=4135 nbBacktracks=761 nbVisitedNodes=9158
46.05 nbRestartNogoods=242 mapSize=492 nbInferences=0 nbTooLargeKeys=0
46.05 => wckTime=45.231 cpuTime=44.77 mem=19M681
49.65
49.65 search
49.65 run=9 nbConstraintChecks=76717811 nbValidityChecks=586457 nbPropagations=135583 nbRevisions=112337
49.65 nbUselessRevisions=17750 nbAssignments=9317 nbFailedAssignments=4441 nbBacktracks=1146 nbVisitedNodes=10168
49.65 nbRestartNogoods=263 mapSize=760 nbInferences=0 nbTooLargeKeys=0
49.65 => wckTime=48.823 cpuTime=48.33 mem=19M681
52.60
52.60 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=20M656)
54.45
54.45 search
54.45 run=10 nbConstraintChecks=85411498 nbValidityChecks=683172 nbPropagations=167559 nbRevisions=139816
54.45 nbUselessRevisions=22402 nbAssignments=10151 nbFailedAssignments=4640 nbBacktracks=1723 nbVisitedNodes=11153
54.45 nbRestartNogoods=278
54.45 => wckTime=53.629 cpuTime=53.09 mem=20M656
65.04
65.04 search
65.04 run=11 nbConstraintChecks=103814506 nbValidityChecks=882389 nbPropagations=206126 nbRevisions=173701
65.04 nbUselessRevisions=28298 nbAssignments=11711 nbFailedAssignments=5223 nbBacktracks=2587 nbVisitedNodes=13198
65.04 nbRestartNogoods=290
65.04 => wckTime=64.22 cpuTime=63.6 mem=20M656
80.57
80.57 search
80.57 run=12 nbConstraintChecks=130964209 nbValidityChecks=1192370 nbPropagations=253138 nbRevisions=215239
80.57 nbUselessRevisions=35390 nbAssignments=14048 nbFailedAssignments=6213 nbBacktracks=3884 nbVisitedNodes=16489
80.57 nbRestartNogoods=312
80.57 => wckTime=79.744 cpuTime=78.99 mem=20M656
102.51
102.51 search
102.51 run=13 nbConstraintChecks=168056114 nbValidityChecks=1593709 nbPropagations=308789 nbRevisions=263966
102.51 nbUselessRevisions=43250 nbAssignments=16776 nbFailedAssignments=7715 nbBacktracks=4749 nbVisitedNodes=20458
102.51 nbRestartNogoods=363
102.51 => wckTime=101.684 cpuTime=100.76 mem=20M656
102.51
102.51 global
102.51 nbConstraintChecks=179451113 nbValidityChecks=1597625 nbPropagations=309077 nbRevisions=264091
102.51 nbUselessRevisions=43280 nbRestartNogoods=363 solvingWckTime=101.685 solvingCpuTime=100.76 expiredTime=no
102.51 totalExploration=no nbFoundSolutions=1 globalCpuTime=101.19
102.51 => wckTime=102.218 cpuTime=101.14 mem=20M656
102.51
102.51 s SATISFIABLE
102.51 v 43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 59 2 17 83 59 37 23 107 29 5 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19 23 47 13 2 89 59 3 73 103 7 5 73 59 3 53 53 47 107 103 13 59 29 43 61 97 53 41 53 47 107 47 47 7 73 19 67 17 23 23 97 7 37 47 71 41 2 103 67 71 83 59 17 97 113
102.51 d NODES 16776
102.51 d CHECKS 179451113
102.51
102.51 totalWckTime=102.296 totalCpuTime=101.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-248193-1168398482 -o ROOT/results/node39/solver-248193-1168398482 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248193-1168398482/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.84 1.63 1.86 5/81 32592
/proc/meminfo: memFree=923584/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=1500 CPUtime=0
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 188248008 1536000 69 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11060918 0 0 4096 0 0 0 0 17 1 0 0
/proc/32591/statm: 363 60 45 14 0 8 0
[startup+0.102876 s]
/proc/loadavg: 0.84 1.63 1.86 5/81 32592
/proc/meminfo: memFree=923584/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=914988 CPUtime=0.08
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 3073 0 1 0 7 1 0 0 24 0 8 0 188248008 936947712 2819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155081504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510923 s]
/proc/loadavg: 0.84 1.63 1.86 5/81 32592
/proc/meminfo: memFree=923584/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=0.49
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 7171 0 1 0 45 4 0 0 25 0 8 0 188248008 937431040 6910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 6910 2156 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33198 s]
/proc/loadavg: 0.94 1.64 1.86 3/88 32599
/proc/meminfo: memFree=896328/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=1.3
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9570 0 1 0 124 6 0 0 25 0 8 0 188248008 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9308 2541 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 188248011 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.15
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 359 0 0 0 15 0 0 0 15 0 8 0 188248015 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9308 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.96914 s]
/proc/loadavg: 0.94 1.64 1.86 3/88 32599
/proc/meminfo: memFree=896328/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=2.92
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9576 0 1 0 286 6 0 0 25 0 8 0 188248008 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9312 2541 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 17 0 8 0 188248011 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.16
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 364 0 0 0 16 0 0 0 16 0 8 0 188248015 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26744 s]
/proc/loadavg: 0.94 1.64 1.86 3/88 32599
/proc/meminfo: memFree=895896/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=6.19
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9711 0 1 0 613 6 0 0 25 0 8 0 188248008 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9445 2544 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 17 0 8 0 188248011 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.18
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 378 0 0 0 18 0 0 0 15 0 8 0 188248015 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.732 s]
/proc/loadavg: 1.10 1.65 1.86 3/88 32599
/proc/meminfo: memFree=895832/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=12.61
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9744 0 1 0 1254 7 0 0 25 0 8 0 188248008 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9474 2544 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 188248011 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.21
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 396 0 0 0 21 0 0 0 15 0 8 0 188248015 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.5872 s]
/proc/loadavg: 1.24 1.66 1.86 3/88 32599
/proc/meminfo: memFree=895832/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=25.35
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9775 0 1 0 2528 7 0 0 25 0 8 0 188248008 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9499 2544 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 188248011 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.23
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 408 0 0 0 23 0 0 0 16 0 8 0 188248015 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9499 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2796 s]
/proc/loadavg: 1.50 1.69 1.86 3/88 32599
/proc/meminfo: memFree=895256/2055920 swapFree=4187312/4192956
[pid=32591] ppid=32589 vsize=915460 CPUtime=50.84
/proc/32591/stat : 32591 (java) R 32589 32591 31521 0 -1 0 9967 0 1 0 5077 7 0 0 25 0 8 0 188248008 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32591/statm: 228865 9690 2544 14 0 215335 0
[pid=32591/tid=32593] ppid=32589 vsize=915460 CPUtime=0.02
/proc/32591/task/32593/stat : 32593 (java) S 32589 32591 31521 0 -1 64 231 0 0 0 2 0 0 0 16 0 8 0 188248011 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32594] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32594/stat : 32594 (java) S 32589 32591 31521 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188248012 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32595] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32595/stat : 32595 (java) S 32589 32591 31521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188248012 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32596] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32596/stat : 32596 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 188248015 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32597] ppid=32589 vsize=915460 CPUtime=0.24
/proc/32591/task/32597/stat : 32597 (java) S 32589 32591 31521 0 -1 64 411 0 0 0 23 1 0 0 15 0 8 0 188248015 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32598] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32598/stat : 32598 (java) S 32589 32591 31521 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 188248015 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32591/tid=32599] ppid=32589 vsize=915460 CPUtime=0
/proc/32591/task/32599/stat : 32599 (java) S 32589 32591 31521 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 188248015 937431040 9690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 102.554
CPU time (s): 101.677
CPU user time (s): 101.594
CPU system time (s): 0.082987
CPU usage (%): 99.1446
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.594
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10099
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= 3344
involuntary context switches= 5810
runsolver used 0.113982 s user time and 0.263959 s system time
The end
Begin job on node39 on Wed Jan 10 03:08:02 UTC 2007
IDJOB= 248193
IDBENCH= 11688
FILE ID= node39/248193-1168398482
PBS_JOBID= 3522905
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-80-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248193-1168398482/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-248193-1168398482 -o ROOT/results/node39/solver-248193-1168398482 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/248193-1168398482/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 55be556606c3d1ac1e77cc8f75621132
RANDOM SEED= 874169135
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.236
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.236
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: 924256 kB
Buffers: 52884 kB
Cached: 364216 kB
SwapCached: 1440 kB
Active: 776384 kB
Inactive: 298564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 924256 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 672960 kB
Slab: 40828 kB
Committed_AS: 4607016 kB
PageTables: 3116 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= 66563 MiB
End job on node39 on Wed Jan 10 03:09:47 UTC 2007