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/210978-1168204125/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=2221 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.57 => wckTime=0.258 cpuTime=0.17 mem=10M820
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
1.55 nbConstraints=2648 nbMergedConstraints=401 nbSingletonDomainVariables=360 nbConvertedConstraints=1539
1.55 nbConvertConstraintsChecks=53 nbExtensionStructures=9 nbSharedExtensionStructures=1530 nbConflictsStructures=17
1.55 nbSharedConflictsStructures=2271 nbUnbuiltConflictsStructures=40 nbSharedBinaryRepresentations=21
1.55 nbEvaluationManagers=48 nbSharedEvaluationManagers=1061 maxDegree=50 maxArity=19
1.55 => wckTime=1.232 cpuTime=0.96 mem=35M195
1.63
1.63 solver IterativeSystematicSolver being built...
1.97 => wckTime=1.66 cpuTime=1.24 mem=47M192
59.37
59.37 preprocessing
59.37 nbConstraintChecks=19550045 nbValidityChecks=209443 nbPropagations=6682 nbRevisions=117798
59.37 nbUselessRevisions=115956 nbSingletonTests=2678 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0
59.37 detectedInconsistency=no
59.37 => wckTime=57.388 cpuTime=57.05 mem=47M192
74.12
74.12 search
74.12 run=0 nbConstraintChecks=5525046 nbValidityChecks=86515 nbPropagations=8201 nbRevisions=176210
74.12 nbUselessRevisions=172729 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=68
74.12 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
74.12 => wckTime=72.141 cpuTime=71.72 mem=48M193
80.03
80.03 search
80.03 run=1 nbConstraintChecks=7774946 nbValidityChecks=137560 nbPropagations=17220 nbRevisions=386780
80.03 nbUselessRevisions=378821 nbAssignments=98 nbFailedAssignments=14 nbBacktracks=33 nbVisitedNodes=127
80.03 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
80.03 => wckTime=78.046 cpuTime=77.58 mem=48M193
82.84
82.84 search
82.84 run=2 nbConstraintChecks=8850644 nbValidityChecks=166125 nbPropagations=26706 nbRevisions=617119
82.84 nbUselessRevisions=604077 nbAssignments=137 nbFailedAssignments=20 nbBacktracks=55 nbVisitedNodes=178
82.84 nbRestartNogoods=3 mapSize=35 nbInferences=0 nbTooLargeKeys=0
82.84 => wckTime=80.857 cpuTime=80.37 mem=48M193
86.06
86.06 search
86.06 run=3 nbConstraintChecks=10079950 nbValidityChecks=208942 nbPropagations=36914 nbRevisions=877621
86.06 nbUselessRevisions=858538 nbAssignments=194 nbFailedAssignments=30 nbBacktracks=97 nbVisitedNodes=255
86.06 nbRestartNogoods=5 mapSize=54 nbInferences=0 nbTooLargeKeys=0
86.06 => wckTime=84.08 cpuTime=83.58 mem=48M193
89.19
89.19 search
89.19 run=4 nbConstraintChecks=11262289 nbValidityChecks=266024 nbPropagations=48122 nbRevisions=1178926
89.19 nbUselessRevisions=1152473 nbAssignments=269 nbFailedAssignments=44 nbBacktracks=147 nbVisitedNodes=358
89.19 nbRestartNogoods=6 mapSize=79 nbInferences=0 nbTooLargeKeys=0
89.19 => wckTime=87.207 cpuTime=86.7 mem=48M193
94.49
94.49 search
94.49 run=5 nbConstraintChecks=13265370 nbValidityChecks=341238 nbPropagations=60612 nbRevisions=1533643
94.49 nbUselessRevisions=1498110 nbAssignments=368 nbFailedAssignments=62 nbBacktracks=223 nbVisitedNodes=493
94.49 nbRestartNogoods=9 mapSize=113 nbInferences=0 nbTooLargeKeys=0
94.49 => wckTime=92.509 cpuTime=92.01 mem=48M193
102.47
102.47 search
102.47 run=6 nbConstraintChecks=16231535 nbValidityChecks=459714 nbPropagations=75205 nbRevisions=1973581
102.47 nbUselessRevisions=1926151 nbAssignments=525 nbFailedAssignments=92 nbBacktracks=339 nbVisitedNodes=710
102.47 nbRestartNogoods=11 mapSize=169 nbInferences=0 nbTooLargeKeys=0
102.47 => wckTime=100.491 cpuTime=99.98 mem=48M193
106.61
106.61 search
106.61 run=7 nbConstraintChecks=17787706 nbValidityChecks=531245 nbPropagations=91066 nbRevisions=2464925
106.61 nbUselessRevisions=2403899 nbAssignments=622 nbFailedAssignments=110 nbBacktracks=419 nbVisitedNodes=842
106.61 nbRestartNogoods=15 mapSize=204 nbInferences=0 nbTooLargeKeys=0
106.61 => wckTime=104.626 cpuTime=104.11 mem=48M193
106.61
106.61 global
106.61 nbConstraintChecks=37337751 nbValidityChecks=740688 nbPropagations=97748 nbRevisions=2582723
106.61 nbUselessRevisions=2519855 nbRestartNogoods=15 solvingWckTime=104.627 solvingCpuTime=104.11 expiredTime=no
106.61 totalExploration=yes nbFoundSolutions=0 globalCpuTime=105.42
106.61 => wckTime=106.296 cpuTime=105.36 mem=48M193
106.61
106.61 s UNSATISFIABLE
106.61 d NODES 622
106.61 d CHECKS 37337751
106.61
106.61 totalWckTime=106.378 totalCpuTime=105.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-210978-1168204125 -o ROOT/results/node45/solver-210978-1168204125 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210978-1168204125/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: 2.02 1.36 1.17 4/81 29643
/proc/meminfo: memFree=1310136/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=12008 CPUtime=0
/proc/29642/stat : 29642 (java) D 29640 29642 29224 0 -1 0 784 0 1 0 0 0 0 0 17 0 1 0 168811432 12296192 533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4727588 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29642/statm: 3002 533 440 14 0 1602 0
[startup+0.103243 s]
/proc/loadavg: 2.02 1.36 1.17 4/81 29643
/proc/meminfo: memFree=1310136/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=914988 CPUtime=0.08
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 168811432 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511314 s]
/proc/loadavg: 2.02 1.36 1.17 4/81 29643
/proc/meminfo: memFree=1310136/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915328 CPUtime=0.49
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 6537 0 1 0 45 4 0 0 18 0 8 0 168811432 937295872 6276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228832 6276 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34048 s]
/proc/loadavg: 2.02 1.36 1.17 3/88 29650
/proc/meminfo: memFree=1250752/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915644 CPUtime=1.32
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 18238 0 1 0 108 24 0 0 24 0 8 0 168811432 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228911 17975 2179 14 0 215381 0
[pid=29642/tid=29644] ppid=29640 vsize=915644 CPUtime=0.04
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 1606 0 0 0 4 0 0 0 16 0 8 0 168811436 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915644 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915644 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915644 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915644 CPUtime=0.19
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 438 0 0 0 18 1 0 0 16 0 8 0 168811440 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915644 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915644 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937619456 17975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915644
[startup+2.97776 s]
/proc/loadavg: 2.02 1.36 1.17 3/88 29650
/proc/meminfo: memFree=1236096/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=2.95
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21214 0 1 0 267 28 0 0 25 0 8 0 168811432 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228935 20949 2545 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 17 0 8 0 168811436 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.3
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 493 0 0 0 28 2 0 0 15 0 8 0 168811440 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915740
[startup+6.27335 s]
/proc/loadavg: 2.02 1.37 1.18 3/88 29650
/proc/meminfo: memFree=1236032/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=6.23
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21216 0 1 0 595 28 0 0 25 0 8 0 168811432 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228935 20950 2545 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 17 0 8 0 168811436 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.3
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 495 0 0 0 28 2 0 0 15 0 8 0 168811440 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915740
[startup+12.7495 s]
/proc/loadavg: 2.02 1.38 1.18 3/88 29650
/proc/meminfo: memFree=1235968/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=12.67
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21224 0 1 0 1239 28 0 0 25 0 8 0 168811432 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228935 20956 2545 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 16 0 8 0 168811436 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.31
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 503 0 0 0 29 2 0 0 15 0 8 0 168811440 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915740
[startup+25.5999 s]
/proc/loadavg: 2.01 1.41 1.19 3/88 29650
/proc/meminfo: memFree=1205376/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=25.46
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21227 0 1 0 2518 28 0 0 25 0 8 0 168811432 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228935 20957 2545 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 16 0 8 0 168811436 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.31
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 506 0 0 0 29 2 0 0 16 0 8 0 168811440 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915740
[startup+51.2105 s]
/proc/loadavg: 2.01 1.46 1.21 3/88 29650
/proc/meminfo: memFree=1189568/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=50.94
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21246 0 1 0 5066 28 0 0 25 0 8 0 168811432 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074119972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29642/statm: 228935 20971 2547 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 16 0 8 0 168811436 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.33
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 521 0 0 0 31 2 0 0 16 0 8 0 168811440 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915740
[startup+102.454 s]
/proc/loadavg: 1.98 1.54 1.25 3/88 29725
/proc/meminfo: memFree=1626632/2055920 swapFree=4184048/4192956
[pid=29642] ppid=29640 vsize=915740 CPUtime=101.99
/proc/29642/stat : 29642 (java) R 29640 29642 29224 0 -1 0 21271 0 1 0 10167 32 0 0 25 0 8 0 168811432 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074120807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29642/statm: 228935 20986 2548 14 0 215405 0
[pid=29642/tid=29644] ppid=29640 vsize=915740 CPUtime=0.15
/proc/29642/task/29644/stat : 29644 (java) S 29640 29642 29224 0 -1 64 4078 0 0 0 13 2 0 0 16 0 8 0 168811436 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29642/tid=29645] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29645/stat : 29645 (java) S 29640 29642 29224 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168811437 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29646] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29646/stat : 29646 (java) S 29640 29642 29224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168811437 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29647] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29647/stat : 29647 (java) S 29640 29642 29224 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168811440 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29648] ppid=29640 vsize=915740 CPUtime=0.36
/proc/29642/task/29648/stat : 29648 (java) S 29640 29642 29224 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 168811440 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29642/tid=29649] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29649/stat : 29649 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168811440 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29642/tid=29650] ppid=29640 vsize=915740 CPUtime=0
/proc/29642/task/29650/stat : 29650 (java) S 29640 29642 29224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168811440 937717760 20986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915740
Child status: 0
Real time (s): 106.642
CPU time (s): 106.172
CPU user time (s): 105.835
CPU system time (s): 0.336948
CPU usage (%): 99.559
Max. virtual memory (cumulated for all children) (KiB): 915740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.835
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21279
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= 3847
involuntary context switches= 5039
runsolver used 0.149977 s user time and 0.330949 s system time
The end
Begin job on node45 on Sun Jan 7 21:08:45 UTC 2007
IDJOB= 210978
IDBENCH= 4659
FILE ID= node45/210978-1168204125
PBS_JOBID= 3480768
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/blast-tlan2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210978-1168204125/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-210978-1168204125 -o ROOT/results/node45/solver-210978-1168204125 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210978-1168204125/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2c6041e9bcff655d81d4e48abbc6c04c
RANDOM SEED= 788702116
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.259
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.259
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: 1310552 kB
Buffers: 19316 kB
Cached: 186196 kB
SwapCached: 2704 kB
Active: 539088 kB
Inactive: 149320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310552 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 497772 kB
Slab: 41372 kB
Committed_AS: 4004556 kB
PageTables: 2768 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= 66540 MiB
End job on node45 on Sun Jan 7 21:10:32 UTC 2007