0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/228493-1168298970/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8222 maxDegree=26
0.61 maxArity=2
0.61 => wckTime=0.3 cpuTime=0.21 mem=10M852
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.511 cpuTime=0.34 mem=14M819
0.88
0.88 preprocessing
0.88 nbConstraintChecks=32185 nbPropagations=912 nbRevisions=5596 nbUselessRevisions=4347 nbSingletonTests=53
0.88 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.053 cpuTime=0.03 mem=14M819
0.90
0.90 search
0.90 run=0 nbConstraintChecks=13858 nbPropagations=1233 nbRevisions=9137 nbUselessRevisions=7210 nbAssignments=22
0.90 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.076 cpuTime=0.05 mem=14M819
0.92
0.92 search
0.92 run=1 nbConstraintChecks=40323 nbPropagations=2983 nbRevisions=25084 nbUselessRevisions=20046 nbAssignments=51
0.92 nbFailedAssignments=12 nbBacktracks=26 nbVisitedNodes=82 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.095 cpuTime=0.06 mem=14M819
0.94
0.94 search
0.94 run=2 nbConstraintChecks=75869 nbPropagations=5409 nbRevisions=49734 nbUselessRevisions=40007 nbAssignments=93
0.94 nbFailedAssignments=26 nbBacktracks=48 nbVisitedNodes=149 nbRestartNogoods=4 mapSize=41 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.111 cpuTime=0.08 mem=14M819
0.95
0.95 search
0.95 run=3 nbConstraintChecks=123684 nbPropagations=8790 nbRevisions=87463 nbUselessRevisions=70775
0.95 nbAssignments=162 nbFailedAssignments=52 nbBacktracks=83 nbVisitedNodes=263 nbRestartNogoods=7 mapSize=72
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.127 cpuTime=0.09 mem=14M819
0.98
0.98 search
0.98 run=4 nbConstraintChecks=187177 nbPropagations=13402 nbRevisions=142388 nbUselessRevisions=115795
0.98 nbAssignments=242 nbFailedAssignments=75 nbBacktracks=133 nbVisitedNodes=393 nbRestartNogoods=10 mapSize=111
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.148 cpuTime=0.11 mem=14M819
1.01
1.01 search
1.01 run=5 nbConstraintChecks=296828 nbPropagations=20166 nbRevisions=225454 nbUselessRevisions=183790
1.01 nbAssignments=377 nbFailedAssignments=119 nbBacktracks=208 nbVisitedNodes=598 nbRestartNogoods=13 mapSize=171
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.187 cpuTime=0.14 mem=14M819
1.06
1.06 search
1.06 run=6 nbConstraintChecks=452109 nbPropagations=29801 nbRevisions=349198 nbUselessRevisions=285112
1.06 nbAssignments=558 nbFailedAssignments=181 nbBacktracks=322 nbVisitedNodes=902 nbRestartNogoods=17 mapSize=263
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.231 cpuTime=0.18 mem=14M819
1.13
1.13 search
1.13 run=7 nbConstraintChecks=684571 nbPropagations=43706 nbRevisions=538832 nbUselessRevisions=441392
1.13 nbAssignments=837 nbFailedAssignments=282 nbBacktracks=492 nbVisitedNodes=1380 nbRestartNogoods=20 mapSize=414
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.302 cpuTime=0.25 mem=14M819
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1035615 nbPropagations=63936 nbRevisions=820893 nbUselessRevisions=673879
1.23 nbAssignments=1235 nbFailedAssignments=416 nbBacktracks=748 nbVisitedNodes=2060 nbRestartNogoods=24
1.23 mapSize=639 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.401 cpuTime=0.34 mem=14M819
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1487151 nbPropagations=92501 nbRevisions=1227546 nbUselessRevisions=1010472
1.36 nbAssignments=1822 nbFailedAssignments=613 nbBacktracks=1133 nbVisitedNodes=3038 nbRestartNogoods=28
1.36 mapSize=952 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.534 cpuTime=0.46 mem=14M819
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=14M819)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=2209408 nbPropagations=134292 nbRevisions=1826931 nbUselessRevisions=1507037
1.54 nbAssignments=2679 nbFailedAssignments=888 nbBacktracks=1709 nbVisitedNodes=4468 nbRestartNogoods=31
1.54 => wckTime=0.716 cpuTime=0.62 mem=14M819
1.77
1.77 search
1.77 run=11 nbConstraintChecks=3186939 nbPropagations=194489 nbRevisions=2705817 nbUselessRevisions=2237700
1.77 nbAssignments=3983 nbFailedAssignments=1318 nbBacktracks=2578 nbVisitedNodes=6649 nbRestartNogoods=35
1.77 => wckTime=0.94 cpuTime=0.85 mem=14M819
2.15
2.15 search
2.15 run=12 nbConstraintChecks=4885607 nbPropagations=285324 nbRevisions=4027430 nbUselessRevisions=3331883
2.15 nbAssignments=5962 nbFailedAssignments=1992 nbBacktracks=3877 nbVisitedNodes=9986 nbRestartNogoods=37
2.15 => wckTime=1.32 cpuTime=1.22 mem=14M819
2.63
2.63 search
2.63 run=13 nbConstraintChecks=7013504 nbPropagations=416076 nbRevisions=5944982 nbUselessRevisions=4923975
2.63 nbAssignments=8825 nbFailedAssignments=2900 nbBacktracks=5825 nbVisitedNodes=14719 nbRestartNogoods=45
2.63 => wckTime=1.804 cpuTime=1.7 mem=14M819
3.44
3.44 search
3.44 run=14 nbConstraintChecks=10610612 nbPropagations=613264 nbRevisions=8846858 nbUselessRevisions=7334291
3.44 nbAssignments=13247 nbFailedAssignments=4396 nbBacktracks=8744 nbVisitedNodes=22149 nbRestartNogoods=53
3.44 => wckTime=2.615 cpuTime=2.5 mem=14M819
4.71
4.71 search
4.71 run=15 nbConstraintChecks=16403800 nbPropagations=912942 nbRevisions=13250746 nbUselessRevisions=10979960
4.71 nbAssignments=19849 nbFailedAssignments=6612 nbBacktracks=13123 nbVisitedNodes=33245 nbRestartNogoods=64
4.71 => wckTime=3.883 cpuTime=3.76 mem=14M819
6.47
6.47 search
6.47 run=16 nbConstraintChecks=24223321 nbPropagations=1357079 nbRevisions=19810375 nbUselessRevisions=16422717
6.47 nbAssignments=29716 nbFailedAssignments=9901 nbBacktracks=19695 nbVisitedNodes=49768 nbRestartNogoods=73
6.48 => wckTime=5.649 cpuTime=5.5 mem=14M819
8.97
8.97 search
8.97 run=17 nbConstraintChecks=35739857 nbPropagations=2013246 nbRevisions=29576484 nbUselessRevisions=24547896
8.97 nbAssignments=44386 nbFailedAssignments=14702 nbBacktracks=29547 nbVisitedNodes=74186 nbRestartNogoods=78
8.97 => wckTime=8.148 cpuTime=7.98 mem=14M819
9.63
9.63 search
9.63 run=18 nbConstraintChecks=38926010 nbPropagations=2729330 nbRevisions=40222211 nbUselessRevisions=33404554
9.63 nbAssignments=48559 nbFailedAssignments=16031 nbBacktracks=32351 nbVisitedNodes=81062 nbRestartNogoods=89
9.63 => wckTime=8.805 cpuTime=8.64 mem=14M819
9.63
9.63 global
9.63 nbConstraintChecks=38958195 nbPropagations=2730242 nbRevisions=40227807 nbUselessRevisions=33408901
9.63 nbRestartNogoods=89 solvingWckTime=8.806 solvingCpuTime=8.64 expiredTime=no totalExploration=no
9.63 nbFoundSolutions=1 globalCpuTime=9.03
9.63 => wckTime=9.319 cpuTime=8.98 mem=14M819
9.63
9.63 s SATISFIABLE
9.63 v 7 5 10 4 2 0 7 0 1 4 5 9 2 5 1 3 9 8 5 7 7 5 6 5 4 5 9 8 7 2 8 8 4 1 7 5 2 6 3 0
9.63 d NODES 48559
9.63 d CHECKS 38958195
9.63
9.63 totalWckTime=9.4 totalCpuTime=9.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-228493-1168298970 -o ROOT/results/node4/solver-228493-1168298970 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228493-1168298970/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.56 1.14 1.15 4/95 2195
/proc/meminfo: memFree=1280816/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=1784 CPUtime=0
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 178292592 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/2194/statm: 446 140 106 14 0 91 0
[startup+0.105965 s]
/proc/loadavg: 1.56 1.14 1.15 4/95 2195
/proc/meminfo: memFree=1280816/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=914988 CPUtime=0.09
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 3000 0 1 0 8 1 0 0 17 0 8 0 178292592 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073443465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2194/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514002 s]
/proc/loadavg: 1.56 1.14 1.15 4/95 2195
/proc/meminfo: memFree=1280816/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=915328 CPUtime=0.49
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 6420 0 1 0 45 4 0 0 18 0 8 0 178292592 937295872 6159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2194/statm: 228832 6159 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33708 s]
/proc/loadavg: 1.60 1.16 1.15 3/102 2202
/proc/meminfo: memFree=1257080/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=915456 CPUtime=1.3
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 8669 0 1 0 123 7 0 0 24 0 8 0 178292592 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2194/statm: 228864 8407 2524 14 0 215334 0
[pid=2194/tid=2196] ppid=2192 vsize=915456 CPUtime=0.03
/proc/2194/task/2196/stat : 2196 (java) S 2192 2194 1744 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178292596 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2197] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2197/stat : 2197 (java) S 2192 2194 1744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178292596 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2198] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2198/stat : 2198 (java) S 2192 2194 1744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178292596 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2199] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2199/stat : 2199 (java) S 2192 2194 1744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178292599 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2200] ppid=2192 vsize=915456 CPUtime=0.23
/proc/2194/task/2200/stat : 2200 (java) S 2192 2194 1744 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 178292599 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2201] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2201/stat : 2201 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178292599 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2202] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2202/stat : 2202 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178292600 937426944 8407 18446744073709551615 134512640 134570532 4294956464 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) 915456
[startup+2.99023 s]
/proc/loadavg: 1.60 1.16 1.15 4/102 2202
/proc/meminfo: memFree=1256824/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=915456 CPUtime=2.94
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 8696 0 1 0 287 7 0 0 25 0 8 0 178292592 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2194/statm: 228864 8433 2524 14 0 215334 0
[pid=2194/tid=2196] ppid=2192 vsize=915456 CPUtime=0.03
/proc/2194/task/2196/stat : 2196 (java) S 2192 2194 1744 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178292596 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2197] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2197/stat : 2197 (java) S 2192 2194 1744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178292596 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2198] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2198/stat : 2198 (java) S 2192 2194 1744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178292596 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2199] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2199/stat : 2199 (java) S 2192 2194 1744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178292599 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2200] ppid=2192 vsize=915456 CPUtime=0.26
/proc/2194/task/2200/stat : 2200 (java) S 2192 2194 1744 0 -1 64 393 0 0 0 24 2 0 0 16 0 8 0 178292599 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2201] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2201/stat : 2201 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178292599 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2202] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2202/stat : 2202 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178292600 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.26955 s]
/proc/loadavg: 1.60 1.16 1.15 3/102 2202
/proc/meminfo: memFree=1256760/2055920 swapFree=4182144/4192956
[pid=2194] ppid=2192 vsize=915456 CPUtime=6.19
/proc/2194/stat : 2194 (java) R 2192 2194 1744 0 -1 0 8702 0 1 0 612 7 0 0 25 0 8 0 178292592 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2194/statm: 228864 8439 2524 14 0 215334 0
[pid=2194/tid=2196] ppid=2192 vsize=915456 CPUtime=0.03
/proc/2194/task/2196/stat : 2196 (java) S 2192 2194 1744 0 -1 64 228 0 0 0 3 0 0 0 17 0 8 0 178292596 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2197] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2197/stat : 2197 (java) S 2192 2194 1744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178292596 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2198] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2198/stat : 2198 (java) S 2192 2194 1744 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178292596 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2199] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2199/stat : 2199 (java) S 2192 2194 1744 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178292599 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2200] ppid=2192 vsize=915456 CPUtime=0.26
/proc/2194/task/2200/stat : 2200 (java) S 2192 2194 1744 0 -1 64 394 0 0 0 24 2 0 0 16 0 8 0 178292599 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2201] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2201/stat : 2201 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178292599 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2194/tid=2202] ppid=2192 vsize=915456 CPUtime=0
/proc/2194/task/2202/stat : 2202 (java) S 2192 2194 1744 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178292600 937426944 8439 18446744073709551615 134512640 134570532 4294956464 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) 915456
Child status: 0
Real time (s): 9.66962
CPU time (s): 9.54755
CPU user time (s): 9.45856
CPU system time (s): 0.088986
CPU usage (%): 98.7375
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.45856
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8801
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= 1282
involuntary context switches= 1817
runsolver used 0.020996 s user time and 0.038994 s system time
The end
Begin job on node4 on Mon Jan 8 23:29:30 UTC 2007
IDJOB= 228493
IDBENCH= 6201
FILE ID= node4/228493-1168298970
PBS_JOBID= 3502156
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228493-1168298970/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-228493-1168298970 -o ROOT/results/node4/solver-228493-1168298970 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228493-1168298970/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ec24b8706bbeba143d2e7e82cfb50d7
RANDOM SEED= 742281281
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.223
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.223
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: 1281232 kB
Buffers: 95176 kB
Cached: 535352 kB
SwapCached: 2552 kB
Active: 428372 kB
Inactive: 284036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1281232 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 5424 kB
Writeback: 0 kB
Mapped: 100248 kB
Slab: 46756 kB
Committed_AS: 5939624 kB
PageTables: 2596 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= 66314 MiB
End job on node4 on Mon Jan 8 23:29:40 UTC 2007