0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218324-1168252117/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.71
0.71 constraints being loaded...
0.88 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.88 => wckTime=0.561 cpuTime=0.5 mem=44M575
0.96
0.96 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.823 cpuTime=0.64 mem=21M491
1.23
1.23 preprocessing
1.23 nbConstraintChecks=22273 nbValidityChecks=36485 nbPropagations=207 nbRevisions=2043 nbUselessRevisions=1702
1.23 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.23 => wckTime=0.087 cpuTime=0.05 mem=21M491
1.28
1.28 search
1.28 run=0 nbConstraintChecks=25494 nbValidityChecks=50510 nbPropagations=535 nbRevisions=5737
1.28 nbUselessRevisions=4655 nbAssignments=29 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=52
1.28 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.141 cpuTime=0.1 mem=22M475
1.37
1.37 search
1.37 run=1 nbConstraintChecks=81502 nbValidityChecks=159176 nbPropagations=1652 nbRevisions=18204
1.37 nbUselessRevisions=14431 nbAssignments=90 nbFailedAssignments=56 nbBacktracks=26 nbVisitedNodes=167
1.37 nbRestartNogoods=4 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.226 cpuTime=0.18 mem=22M475
1.45
1.45 search
1.45 run=2 nbConstraintChecks=129142 nbValidityChecks=256871 nbPropagations=3353 nbRevisions=37483
1.45 nbUselessRevisions=29622 nbAssignments=143 nbFailedAssignments=82 nbBacktracks=48 nbVisitedNodes=262
1.45 nbRestartNogoods=10 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.306 cpuTime=0.25 mem=22M475
1.56
1.56 search
1.56 run=3 nbConstraintChecks=205203 nbValidityChecks=417018 nbPropagations=6075 nbRevisions=68036
1.56 nbUselessRevisions=53666 nbAssignments=238 nbFailedAssignments=140 nbBacktracks=81 nbVisitedNodes=438
1.56 nbRestartNogoods=14 mapSize=78 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.418 cpuTime=0.35 mem=22M475
1.70
1.70 search
1.70 run=4 nbConstraintChecks=308260 nbValidityChecks=619648 nbPropagations=10150 nbRevisions=113733
1.70 nbUselessRevisions=89837 nbAssignments=364 nbFailedAssignments=201 nbBacktracks=133 nbVisitedNodes=649
1.70 nbRestartNogoods=21 mapSize=124 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.553 cpuTime=0.48 mem=22M475
1.92
1.92 search
1.92 run=5 nbConstraintChecks=470157 nbValidityChecks=954155 nbPropagations=16209 nbRevisions=182227
1.92 nbUselessRevisions=144021 nbAssignments=551 nbFailedAssignments=309 nbBacktracks=209 nbVisitedNodes=1003
1.92 nbRestartNogoods=25 mapSize=198 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.783 cpuTime=0.7 mem=22M475
2.19
2.19 search
2.19 run=6 nbConstraintChecks=682539 nbValidityChecks=1380314 nbPropagations=25282 nbRevisions=284827
2.19 nbUselessRevisions=225233 nbAssignments=816 nbFailedAssignments=457 nbBacktracks=323 nbVisitedNodes=1493
2.19 nbRestartNogoods=30 mapSize=306 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.051 cpuTime=0.97 mem=22M475
2.74
2.74 search
2.74 run=7 nbConstraintChecks=1108502 nbValidityChecks=2234391 nbPropagations=39369 nbRevisions=450651
2.74 nbUselessRevisions=356889 nbAssignments=1306 nbFailedAssignments=773 nbBacktracks=493 nbVisitedNodes=2428
2.74 nbRestartNogoods=41 mapSize=468 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.595 cpuTime=1.5 mem=22M475
3.39
3.39 search
3.39 run=8 nbConstraintChecks=1606288 nbValidityChecks=3235819 nbPropagations=60105 nbRevisions=694413
3.39 nbUselessRevisions=550483 nbAssignments=1869 nbFailedAssignments=1077 nbBacktracks=749 nbVisitedNodes=3477
3.39 nbRestartNogoods=47 mapSize=714 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=2.249 cpuTime=2.12 mem=22M475
4.73
4.73 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=22M475)
5.13
5.13 search
5.13 run=9 nbConstraintChecks=3001348 nbValidityChecks=6046009 nbPropagations=95508 nbRevisions=1108511
5.13 nbUselessRevisions=874882 nbAssignments=3388 nbFailedAssignments=2200 nbBacktracks=1133 nbVisitedNodes=6415
5.13 nbRestartNogoods=58
5.13 => wckTime=3.985 cpuTime=3.84 mem=22M475
6.56
6.56 search
6.56 run=10 nbConstraintChecks=4170088 nbValidityChecks=8473453 nbPropagations=147039 nbRevisions=1708643
6.56 nbUselessRevisions=1346492 nbAssignments=4840 nbFailedAssignments=3072 nbBacktracks=1709 nbVisitedNodes=9144
6.56 nbRestartNogoods=72
6.56 => wckTime=5.421 cpuTime=5.25 mem=22M475
9.00
9.00 search
9.00 run=11 nbConstraintChecks=6162705 nbValidityChecks=12502431 nbPropagations=224289 nbRevisions=2609205
9.00 nbUselessRevisions=2055687 nbAssignments=7225 nbFailedAssignments=4583 nbBacktracks=2573 nbVisitedNodes=13662
9.00 nbRestartNogoods=83
9.00 => wckTime=7.858 cpuTime=7.67 mem=22M475
12.03
12.03 search
12.03 run=12 nbConstraintChecks=8632806 nbValidityChecks=17658730 nbPropagations=335943 nbRevisions=3905901
12.03 nbUselessRevisions=3078226 nbAssignments=10337 nbFailedAssignments=6393 nbBacktracks=3871 nbVisitedNodes=19477
12.03 nbRestartNogoods=92
12.03 => wckTime=10.891 cpuTime=10.67 mem=22M475
17.59
17.59 search
17.59 run=13 nbConstraintChecks=13199098 nbValidityChecks=27016820 nbPropagations=507829 nbRevisions=5912099
17.59 nbUselessRevisions=4663637 nbAssignments=15752 nbFailedAssignments=9851 nbBacktracks=5818 nbVisitedNodes=29859
17.59 nbRestartNogoods=111
17.59 => wckTime=16.446 cpuTime=16.17 mem=22M475
19.36
19.36 search
19.36 run=14 nbConstraintChecks=14629468 nbValidityChecks=30051185 nbPropagations=699777 nbRevisions=8154560
19.36 nbUselessRevisions=6435770 nbAssignments=17657 nbFailedAssignments=10948 nbBacktracks=6606 nbVisitedNodes=33416
19.36 nbRestartNogoods=124
19.36 => wckTime=18.217 cpuTime=17.92 mem=22M475
19.36
19.36 global
19.36 nbConstraintChecks=14651741 nbValidityChecks=30087670 nbPropagations=699984 nbRevisions=8156603
19.36 nbUselessRevisions=6437472 nbRestartNogoods=124 solvingWckTime=18.218 solvingCpuTime=17.93 expiredTime=no
19.36 totalExploration=no nbFoundSolutions=1 globalCpuTime=18.62
19.36 => wckTime=19.044 cpuTime=18.58 mem=22M475
19.36
19.36 s SATISFIABLE
19.36 v 3 5 5 12 1 9 6 7 7 18 11 13 1 11 0 5 11 16 9 16
19.36 d NODES 17657
19.36 d CHECKS 14651741
19.36
19.36 totalWckTime=19.125 totalCpuTime=18.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-218324-1168252117 -o ROOT/results/node23/solver-218324-1168252117 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218324-1168252117/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.92 1.82 1.48 4/95 10889
/proc/meminfo: memFree=1628240/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=11868 CPUtime=0
/proc/10888/stat : 10888 (java) D 10886 10888 10696 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 173606060 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2495268 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10888/statm: 2967 515 425 14 0 1602 0
[startup+0.103314 s]
/proc/loadavg: 1.92 1.82 1.48 4/95 10889
/proc/meminfo: memFree=1628240/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=914988 CPUtime=0.09
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 2985 0 1 0 7 2 0 0 17 0 8 0 173606060 936947712 2731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2962396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51135 s]
/proc/loadavg: 1.92 1.82 1.48 4/95 10889
/proc/meminfo: memFree=1628240/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=915328 CPUtime=0.49
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 7464 0 1 0 44 5 0 0 18 0 8 0 173606060 937295872 7203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228832 7203 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33451 s]
/proc/loadavg: 1.92 1.82 1.48 5/102 10896
/proc/meminfo: memFree=1568472/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=915460 CPUtime=1.3
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 17674 0 1 0 120 10 0 0 24 0 8 0 173606060 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228865 17412 2527 14 0 215335 0
[pid=10888/tid=10890] ppid=10886 vsize=915460 CPUtime=0.07
/proc/10888/task/10890/stat : 10890 (java) S 10886 10888 10696 0 -1 64 1886 0 0 0 7 0 0 0 16 0 8 0 173606064 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10891] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10891/stat : 10891 (java) S 10886 10888 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10892] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10892/stat : 10892 (java) S 10886 10888 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10893] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10893/stat : 10893 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173606068 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10894] ppid=10886 vsize=915460 CPUtime=0.18
/proc/10888/task/10894/stat : 10894 (java) S 10886 10888 10696 0 -1 64 354 0 0 0 17 1 0 0 15 0 8 0 173606068 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10895] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10895/stat : 10895 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173606068 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10896] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10896/stat : 10896 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173606068 937431040 17412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98083 s]
/proc/loadavg: 1.92 1.82 1.48 3/102 10896
/proc/meminfo: memFree=1568152/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=915460 CPUtime=2.92
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 17692 0 1 0 282 10 0 0 25 0 8 0 173606060 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228865 17428 2527 14 0 215335 0
[pid=10888/tid=10890] ppid=10886 vsize=915460 CPUtime=0.07
/proc/10888/task/10890/stat : 10890 (java) S 10886 10888 10696 0 -1 64 1886 0 0 0 7 0 0 0 17 0 8 0 173606064 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10891] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10891/stat : 10891 (java) S 10886 10888 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10892] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10892/stat : 10892 (java) S 10886 10888 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10893] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10893/stat : 10893 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173606068 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10894] ppid=10886 vsize=915460 CPUtime=0.21
/proc/10888/task/10894/stat : 10894 (java) S 10886 10888 10696 0 -1 64 371 0 0 0 20 1 0 0 15 0 8 0 173606068 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10895] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10895/stat : 10895 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173606068 937431040 17428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10896] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10896/stat : 10896 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173606068 937431040 17428 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) 915460
[startup+6.27547 s]
/proc/loadavg: 1.93 1.82 1.48 3/102 10896
/proc/meminfo: memFree=1568088/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=915460 CPUtime=6.19
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 17707 0 1 0 609 10 0 0 25 0 8 0 173606060 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228865 17441 2527 14 0 215335 0
[pid=10888/tid=10890] ppid=10886 vsize=915460 CPUtime=0.07
/proc/10888/task/10890/stat : 10890 (java) S 10886 10888 10696 0 -1 64 1886 0 0 0 7 0 0 0 17 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10891] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10891/stat : 10891 (java) S 10886 10888 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10892] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10892/stat : 10892 (java) S 10886 10888 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10893] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10893/stat : 10893 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10894] ppid=10886 vsize=915460 CPUtime=0.24
/proc/10888/task/10894/stat : 10894 (java) S 10886 10888 10696 0 -1 64 386 0 0 0 23 1 0 0 16 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10895] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10895/stat : 10895 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10896] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10896/stat : 10896 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7657 s]
/proc/loadavg: 1.93 1.83 1.48 3/102 10896
/proc/meminfo: memFree=1568088/2055920 swapFree=4191880/4192956
[pid=10888] ppid=10886 vsize=915460 CPUtime=12.62
/proc/10888/stat : 10888 (java) R 10886 10888 10696 0 -1 0 17708 0 1 0 1252 10 0 0 25 0 8 0 173606060 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10888/statm: 228865 17441 2527 14 0 215335 0
[pid=10888/tid=10890] ppid=10886 vsize=915460 CPUtime=0.07
/proc/10888/task/10890/stat : 10890 (java) S 10886 10888 10696 0 -1 64 1886 0 0 0 7 0 0 0 16 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10891] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10891/stat : 10891 (java) S 10886 10888 10696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10892] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10892/stat : 10892 (java) S 10886 10888 10696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173606064 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10893] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10893/stat : 10893 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10894] ppid=10886 vsize=915460 CPUtime=0.24
/proc/10888/task/10894/stat : 10894 (java) S 10886 10888 10696 0 -1 64 386 0 0 0 23 1 0 0 16 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10895] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10895/stat : 10895 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10888/tid=10896] ppid=10886 vsize=915460 CPUtime=0
/proc/10888/task/10896/stat : 10896 (java) S 10886 10888 10696 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173606068 937431040 17441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 19.4185
CPU time (s): 19.1811
CPU user time (s): 19.0591
CPU system time (s): 0.121981
CPU usage (%): 98.7775
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.0591
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17716
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= 1460
involuntary context switches= 2239
runsolver used 0.028995 s user time and 0.074988 s system time
The end
Begin job on node23 on Mon Jan 8 10:28:37 UTC 2007
IDJOB= 218324
IDBENCH= 5226
FILE ID= node23/218324-1168252117
PBS_JOBID= 3481931
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218324-1168252117/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-218324-1168252117 -o ROOT/results/node23/solver-218324-1168252117 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218324-1168252117/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f0f35ac60ef0860cbde30d7b6992e3d
RANDOM SEED= 147237575
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.265
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.265
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: 1628656 kB
Buffers: 43696 kB
Cached: 94032 kB
SwapCached: 448 kB
Active: 301396 kB
Inactive: 71200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1628656 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3044 kB
Writeback: 0 kB
Mapped: 261316 kB
Slab: 38960 kB
Committed_AS: 4429556 kB
PageTables: 2720 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= 66557 MiB
End job on node23 on Mon Jan 8 10:28:57 UTC 2007