0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/197947-1168126511/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=9 nbDomainTypes=1 minDomainSize=45 maxDomainSize=45
0.46 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
0.76 nbConstraints=246 nbMergedConstraints=336 nbConvertedConstraints=36 nbConvertConstraintsChecks=93150
0.76 nbExtensionStructures=1 nbSharedExtensionStructures=35 nbConflictsStructures=2 nbSharedConflictsStructures=118
0.76 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=1 nbEvaluationManagers=2
0.76 nbSharedEvaluationManagers=208 maxDegree=92 maxArity=4
0.76 => wckTime=0.4 cpuTime=0.28 mem=11M827
0.79
0.79 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.62 cpuTime=0.43 mem=16M584
1.25
1.25 preprocessing
1.25 nbConstraintChecks=200188 nbValidityChecks=292465 nbPropagations=232 nbRevisions=21562 nbUselessRevisions=20642
1.25 nbSingletonTests=47 nbEffectiveSingletonTests=7 nbESACBranches=14 nbRemovedValues=86 detectedInconsistency=no
1.25 => wckTime=0.269 cpuTime=0.24 mem=16M584
1.43
1.43 search
1.43 run=0 nbConstraintChecks=174130 nbValidityChecks=199863 nbPropagations=377 nbRevisions=33431
1.43 nbUselessRevisions=32151 nbAssignments=23 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=47
1.43 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.455 cpuTime=0.42 mem=16M584
1.68
1.68 search
1.68 run=1 nbConstraintChecks=389749 nbValidityChecks=502506 nbPropagations=957 nbRevisions=85111
1.68 nbUselessRevisions=81983 nbAssignments=61 nbFailedAssignments=34 nbBacktracks=27 nbVisitedNodes=118
1.68 nbRestartNogoods=0 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.7 cpuTime=0.65 mem=16M584
2.01
2.01 search
2.01 run=2 nbConstraintChecks=692139 nbValidityChecks=960413 nbPropagations=1837 nbRevisions=165561
2.01 nbUselessRevisions=159533 nbAssignments=125 nbFailedAssignments=71 nbBacktracks=49 nbVisitedNodes=235
2.01 nbRestartNogoods=0 mapSize=47 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=1.036 cpuTime=0.98 mem=16M584
2.77
2.77 search
2.77 run=3 nbConstraintChecks=1298848 nbValidityChecks=2327784 nbPropagations=3857 nbRevisions=348407
2.77 nbUselessRevisions=335842 nbAssignments=388 nbFailedAssignments=194 nbBacktracks=83 nbVisitedNodes=546
2.77 nbRestartNogoods=12 mapSize=78 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=1.79 cpuTime=1.72 mem=16M584
3.25
3.25 search
3.25 run=4 nbConstraintChecks=1671166 nbValidityChecks=3304953 nbPropagations=7004 nbRevisions=615655
3.25 nbUselessRevisions=592854 nbAssignments=674 nbFailedAssignments=342 nbBacktracks=134 nbVisitedNodes=938
3.25 nbRestartNogoods=24 mapSize=127 nbInferences=0 nbTooLargeKeys=0
3.25 => wckTime=2.273 cpuTime=2.19 mem=16M584
4.11
4.11 search
4.11 run=5 nbConstraintChecks=2380111 nbValidityChecks=4637207 nbPropagations=11462 nbRevisions=997816
4.11 nbUselessRevisions=957888 nbAssignments=1028 nbFailedAssignments=620 nbBacktracks=209 nbVisitedNodes=1616
4.11 nbRestartNogoods=26 mapSize=187 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=3.128 cpuTime=3.03 mem=16M584
5.59
5.59 search
5.59 run=6 nbConstraintChecks=3592427 nbValidityChecks=7008271 nbPropagations=18364 nbRevisions=1599194
5.59 nbUselessRevisions=1527692 nbAssignments=1700 nbFailedAssignments=1174 nbBacktracks=323 nbVisitedNodes=2905
5.59 nbRestartNogoods=30 mapSize=274 nbInferences=0 nbTooLargeKeys=0
5.59 => wckTime=4.612 cpuTime=4.49 mem=16M584
7.56
7.56 search
7.56 run=7 nbConstraintChecks=5223702 nbValidityChecks=9983651 nbPropagations=28801 nbRevisions=2504157
7.56 nbUselessRevisions=2383793 nbAssignments=2637 nbFailedAssignments=1927 nbBacktracks=493 nbVisitedNodes=4695
7.56 nbRestartNogoods=35 mapSize=414 nbInferences=0 nbTooLargeKeys=0
7.56 => wckTime=6.585 cpuTime=6.43 mem=16M584
8.67
8.67 search
8.67 run=8 nbConstraintChecks=6054600 nbValidityChecks=11743030 nbPropagations=42923 nbRevisions=3664946
8.67 nbUselessRevisions=3482224 nbAssignments=3624 nbFailedAssignments=2653 nbBacktracks=749 nbVisitedNodes=6619
8.67 nbRestartNogoods=36 mapSize=662 nbInferences=0 nbTooLargeKeys=0
8.67 => wckTime=7.69 cpuTime=7.52 mem=16M584
12.51
12.51 search
12.51 run=9 nbConstraintChecks=9180523 nbValidityChecks=17929812 nbPropagations=64230 nbRevisions=5458861
12.51 nbUselessRevisions=5171832 nbAssignments=5607 nbFailedAssignments=4235 nbBacktracks=1133 nbVisitedNodes=10402
12.51 nbRestartNogoods=47 mapSize=964 nbInferences=0 nbTooLargeKeys=0
12.51 => wckTime=11.53 cpuTime=11.33 mem=16M584
13.31
13.31 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=16M584)
17.78
17.78 search
17.78 run=10 nbConstraintChecks=13385041 nbValidityChecks=26532456 nbPropagations=96747 nbRevisions=8221544
17.78 nbUselessRevisions=7771280 nbAssignments=8625 nbFailedAssignments=6609 nbBacktracks=1709 nbVisitedNodes=16112
17.78 nbRestartNogoods=64
17.78 => wckTime=16.804 cpuTime=16.54 mem=17M560
25.23
25.23 search
25.23 run=11 nbConstraintChecks=19306712 nbValidityChecks=38582302 nbPropagations=146342 nbRevisions=12467674
25.23 nbUselessRevisions=11766912 nbAssignments=13244 nbFailedAssignments=10357 nbBacktracks=2576
25.23 nbVisitedNodes=25063 nbRestartNogoods=81
25.23 => wckTime=24.248 cpuTime=23.92 mem=17M560
35.29
35.29 search
35.29 run=12 nbConstraintChecks=27259741 nbValidityChecks=54309548 nbPropagations=220444 nbRevisions=18819101
35.29 nbUselessRevisions=17751773 nbAssignments=19801 nbFailedAssignments=15613 nbBacktracks=3873
35.29 nbVisitedNodes=37804 nbRestartNogoods=86
35.29 => wckTime=34.312 cpuTime=33.89 mem=17M560
48.23
48.23 search
48.23 run=13 nbConstraintChecks=37480259 nbValidityChecks=74194867 nbPropagations=327081 nbRevisions=27990665
48.23 nbUselessRevisions=26401031 nbAssignments=28664 nbFailedAssignments=22523 nbBacktracks=5819
48.23 nbVisitedNodes=54959 nbRestartNogoods=105
48.23 => wckTime=47.254 cpuTime=46.71 mem=17M560
69.00
69.00 search
69.00 run=14 nbConstraintChecks=53965619 nbValidityChecks=105608949 nbPropagations=484964 nbRevisions=41715931
69.00 nbUselessRevisions=39362746 nbAssignments=42448 nbFailedAssignments=33384 nbBacktracks=8740
69.00 nbVisitedNodes=81693 nbRestartNogoods=119
69.00 => wckTime=68.022 cpuTime=67.3 mem=17M560
72.59
72.59 search
72.59 run=15 nbConstraintChecks=56854905 nbValidityChecks=110806395 nbPropagations=651456 nbRevisions=56203457
72.59 nbUselessRevisions=53045462 nbAssignments=44701 nbFailedAssignments=35125 nbBacktracks=9243
72.59 nbVisitedNodes=86066 nbRestartNogoods=130
72.59 => wckTime=71.613 cpuTime=70.85 mem=17M560
72.59
72.59 global
72.59 nbConstraintChecks=57055093 nbValidityChecks=111098860 nbPropagations=651688 nbRevisions=56225019
72.59 nbUselessRevisions=53066104 nbRestartNogoods=130 solvingWckTime=71.614 solvingCpuTime=70.86 expiredTime=no
72.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=71.36
72.59 => wckTime=72.237 cpuTime=71.3 mem=17M560
72.60
72.60 s SATISFIABLE
72.60 v 0 1 5 12 25 27 35 41 44
72.60 d NODES 44701
72.60 d CHECKS 57055093
72.60
72.60 totalWckTime=72.32 totalCpuTime=71.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-197947-1168126511 -o ROOT/results/node5/solver-197947-1168126511 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197947-1168126511/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.66 1.87 1.85 4/88 24439
/proc/meminfo: memFree=1291040/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=18540 CPUtime=0
/proc/24438/stat : 24438 (runsolver) R 24436 24438 23273 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 141266058 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24438/statm: 4635 279 244 17 0 2626 0
[startup+0.102827 s]
/proc/loadavg: 1.66 1.87 1.85 4/88 24439
/proc/meminfo: memFree=1291040/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=907808 CPUtime=0.05
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 2417 0 1 0 4 1 0 0 16 0 4 0 141266058 929595392 2164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642226 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 226952 2164 1195 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.51087 s]
/proc/loadavg: 1.66 1.87 1.85 4/88 24439
/proc/meminfo: memFree=1291040/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915328 CPUtime=0.44
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 6190 0 1 0 41 3 0 0 18 0 8 0 141266058 937295872 5929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228832 5929 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33196 s]
/proc/loadavg: 1.66 1.87 1.85 3/95 24446
/proc/meminfo: memFree=1265704/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=1.26
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9127 0 1 0 119 7 0 0 24 0 8 0 141266058 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8865 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 141266066 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.21
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 141266070 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915556
[startup+2.96915 s]
/proc/loadavg: 1.66 1.87 1.85 3/95 24446
/proc/meminfo: memFree=1265320/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=2.89
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9150 0 1 0 281 8 0 0 25 0 8 0 141266058 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8886 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 17 0 8 0 141266066 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.23
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 141266070 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915556
[startup+6.17451 s]
/proc/loadavg: 1.69 1.88 1.85 3/95 24446
/proc/meminfo: memFree=1265384/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=6.06
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9186 0 1 0 598 8 0 0 25 0 8 0 141266058 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8919 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 17 0 8 0 141266066 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.26
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 407 0 0 0 25 1 0 0 15 0 8 0 141266070 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915556
[startup+12.6452 s]
/proc/loadavg: 1.71 1.88 1.85 3/95 24446
/proc/meminfo: memFree=1265064/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=12.47
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9220 0 1 0 1239 8 0 0 25 0 8 0 141266058 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868688 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8951 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 141266066 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.27
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 409 0 0 0 26 1 0 0 15 0 8 0 141266070 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8951 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915556
[startup+25.5177 s]
/proc/loadavg: 1.77 1.88 1.85 3/95 24446
/proc/meminfo: memFree=1265512/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=25.22
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9232 0 1 0 2514 8 0 0 25 0 8 0 141266058 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8962 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 141266066 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.27
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 413 0 0 0 26 1 0 0 16 0 8 0 141266070 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 915556
[startup+51.1336 s]
/proc/loadavg: 1.85 1.89 1.86 3/95 24446
/proc/meminfo: memFree=1265192/2055920 swapFree=4192812/4192956
[pid=24438] ppid=24436 vsize=915556 CPUtime=50.61
/proc/24438/stat : 24438 (java) R 24436 24438 23273 0 -1 0 9238 0 1 0 5052 9 0 0 25 0 8 0 141266058 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073692448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24438/statm: 228889 8968 2543 14 0 215359 0
[pid=24438/tid=24440] ppid=24436 vsize=915556 CPUtime=0.02
/proc/24438/task/24440/stat : 24440 (java) S 24436 24438 23273 0 -1 64 158 0 0 0 2 0 0 0 16 0 8 0 141266066 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24441] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24441/stat : 24441 (java) S 24436 24438 23273 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 141266067 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24442] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24442/stat : 24442 (java) S 24436 24438 23273 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 141266067 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24443] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24443/stat : 24443 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 141266070 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24444] ppid=24436 vsize=915556 CPUtime=0.27
/proc/24438/task/24444/stat : 24444 (java) S 24436 24438 23273 0 -1 64 413 0 0 0 26 1 0 0 16 0 8 0 141266070 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24445] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24445/stat : 24445 (java) S 24436 24438 23273 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 141266070 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24438/tid=24446] ppid=24436 vsize=915556 CPUtime=0
/proc/24438/task/24446/stat : 24446 (java) S 24436 24438 23273 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 141266070 937529344 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 72.6153
CPU time (s): 71.8951
CPU user time (s): 71.7941
CPU system time (s): 0.100984
CPU usage (%): 99.0081
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.7941
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9334
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= 2724
involuntary context switches= 4270
runsolver used 0.096985 s user time and 0.235964 s system time
The end
Begin job on node5 on Sat Jan 6 23:35:12 UTC 2007
IDJOB= 197947
IDBENCH= 3524
FILE ID= node5/197947-1168126511
PBS_JOBID= 3477169
Free space on /tmp= 66333 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-44-9-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197947-1168126511/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-197947-1168126511 -o ROOT/results/node5/solver-197947-1168126511 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197947-1168126511/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 27cf7a85cbc3d2aa0786ee556d9a6628
RANDOM SEED= 57404774
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.240
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.240
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: 1291456 kB
Buffers: 61528 kB
Cached: 561624 kB
SwapCached: 0 kB
Active: 178768 kB
Inactive: 497928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1291456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 74172 kB
Slab: 72632 kB
Committed_AS: 3412392 kB
PageTables: 2196 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= 66333 MiB
End job on node5 on Sat Jan 6 23:36:29 UTC 2007