0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/237218-1168347084/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=86 nbDomainTypes=3 minDomainSize=2 maxDomainSize=71
0.39 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.39
0.39 predicates being loaded...
0.46
0.46 constraints being loaded...
0.56 nbConstraints=101 nbMergedConstraints=40 nbConvertedConstraints=4 nbConvertConstraintsChecks=257
0.56 nbExtensionStructures=1 nbSharedExtensionStructures=3 nbConflictsStructures=5 nbSharedConflictsStructures=79
0.56 nbUnbuiltConflictsStructures=11 nbSharedBinaryRepresentations=1 nbEvaluationManagers=15
0.56 nbSharedEvaluationManagers=82 maxDegree=19 maxArity=10
0.56 => wckTime=0.272 cpuTime=0.2 mem=10M885
0.59
0.59 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.474 cpuTime=0.34 mem=15M361
1.38
1.38 preprocessing
1.38 nbConstraintChecks=760921 nbValidityChecks=77 nbPropagations=186 nbRevisions=120 nbUselessRevisions=106
1.38 nbSingletonTests=91 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
1.38 => wckTime=0.616 cpuTime=0.6 mem=15M361
2.57
2.57 search
2.57 run=0 nbConstraintChecks=1484819 nbValidityChecks=670 nbPropagations=261 nbRevisions=354
2.57 nbUselessRevisions=269 nbAssignments=26 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=33
2.57 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.57 => wckTime=1.809 cpuTime=1.78 mem=15M361
3.75
3.75 search
3.75 run=1 nbConstraintChecks=2971333 nbValidityChecks=1468 nbPropagations=615 nbRevisions=913
3.75 nbUselessRevisions=671 nbAssignments=64 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=69
3.75 nbRestartNogoods=3 mapSize=15 nbInferences=0 nbTooLargeKeys=0
3.75 => wckTime=2.985 cpuTime=2.95 mem=15M361
4.92
4.92 search
4.92 run=2 nbConstraintChecks=4468381 nbValidityChecks=2549 nbPropagations=1085 nbRevisions=1706
4.92 nbUselessRevisions=1241 nbAssignments=118 nbFailedAssignments=38 nbBacktracks=50 nbVisitedNodes=148
4.92 nbRestartNogoods=5 mapSize=33 nbInferences=0 nbTooLargeKeys=0
4.92 => wckTime=4.162 cpuTime=4.12 mem=15M361
6.07
6.07 search
6.07 run=3 nbConstraintChecks=5962493 nbValidityChecks=3841 nbPropagations=1725 nbRevisions=2913
6.07 nbUselessRevisions=2050 nbAssignments=182 nbFailedAssignments=53 nbBacktracks=83 nbVisitedNodes=218
6.07 nbRestartNogoods=10 mapSize=53 nbInferences=0 nbTooLargeKeys=0
6.07 => wckTime=5.312 cpuTime=5.27 mem=15M361
6.68
6.68 search
6.68 run=4 nbConstraintChecks=6721935 nbValidityChecks=7291 nbPropagations=2807 nbRevisions=5426
6.68 nbUselessRevisions=3372 nbAssignments=327 nbFailedAssignments=136 nbBacktracks=134 nbVisitedNodes=446
6.68 nbRestartNogoods=12 mapSize=102 nbInferences=0 nbTooLargeKeys=0
6.68 => wckTime=5.914 cpuTime=5.87 mem=15M361
8.64
8.64 search
8.64 run=5 nbConstraintChecks=9217811 nbValidityChecks=16770 nbPropagations=4488 nbRevisions=10687
8.64 nbUselessRevisions=6458 nbAssignments=491 nbFailedAssignments=205 nbBacktracks=212 nbVisitedNodes=692
8.64 nbRestartNogoods=17 mapSize=173 nbInferences=0 nbTooLargeKeys=0
8.64 => wckTime=7.877 cpuTime=7.8 mem=15M361
11.16
11.16 search
11.16 run=6 nbConstraintChecks=12413829 nbValidityChecks=32121 nbPropagations=7035 nbRevisions=20461
11.16 nbUselessRevisions=12555 nbAssignments=705 nbFailedAssignments=298 nbBacktracks=325 nbVisitedNodes=1033
11.16 nbRestartNogoods=22 mapSize=273 nbInferences=0 nbTooLargeKeys=0
11.16 => wckTime=10.396 cpuTime=10.31 mem=15M361
23.24
23.24 search
23.24 run=7 nbConstraintChecks=27667770 nbValidityChecks=47907 nbPropagations=10667 nbRevisions=34512
23.24 nbUselessRevisions=21504 nbAssignments=1027 nbFailedAssignments=438 nbBacktracks=502 nbVisitedNodes=1495
23.24 nbRestartNogoods=26 mapSize=399 nbInferences=0 nbTooLargeKeys=0
23.24 => wckTime=22.475 cpuTime=22.38 mem=15M361
26.37
26.37 search
26.37 run=8 nbConstraintChecks=31626022 nbValidityChecks=81372 nbPropagations=16262 nbRevisions=58827
26.37 nbUselessRevisions=37563 nbAssignments=1491 nbFailedAssignments=636 nbBacktracks=758 nbVisitedNodes=2230
26.37 nbRestartNogoods=29 mapSize=608 nbInferences=0 nbTooLargeKeys=0
26.37 => wckTime=25.606 cpuTime=25.52 mem=15M361
30.98
30.98 search
30.98 run=9 nbConstraintChecks=37527035 nbValidityChecks=123659 nbPropagations=24388 nbRevisions=96858
30.98 nbUselessRevisions=63544 nbAssignments=2168 nbFailedAssignments=877 nbBacktracks=1143 nbVisitedNodes=3161
30.98 nbRestartNogoods=39 mapSize=867 nbInferences=0 nbTooLargeKeys=0
30.98 => wckTime=30.219 cpuTime=30.12 mem=15M361
34.23
34.23 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=15M361)
35.69
35.69 search
35.69 run=10 nbConstraintChecks=43611802 nbValidityChecks=178243 nbPropagations=35781 nbRevisions=152982
35.69 nbUselessRevisions=102022 nbAssignments=3072 nbFailedAssignments=1173 nbBacktracks=1720 nbVisitedNodes=4433
35.69 nbRestartNogoods=48
35.69 => wckTime=34.929 cpuTime=34.82 mem=15M361
39.02
39.02 search
39.02 run=11 nbConstraintChecks=47882486 nbValidityChecks=258436 nbPropagations=51973 nbRevisions=237717
39.02 nbUselessRevisions=160667 nbAssignments=4395 nbFailedAssignments=1623 nbBacktracks=2585 nbVisitedNodes=6297
39.02 nbRestartNogoods=57
39.02 => wckTime=38.254 cpuTime=38.13 mem=15M361
42.72
42.72 search
42.72 run=12 nbConstraintChecks=52579392 nbValidityChecks=284272 nbPropagations=70821 nbRevisions=331279
42.72 nbUselessRevisions=224348 nbAssignments=5266 nbFailedAssignments=2054 nbBacktracks=2939 nbVisitedNodes=7599
42.72 nbRestartNogoods=63
42.72 => wckTime=41.962 cpuTime=41.83 mem=15M361
42.72
42.72 global
42.72 nbConstraintChecks=53340313 nbValidityChecks=284349 nbPropagations=71007 nbRevisions=331399
42.72 nbUselessRevisions=224454 nbRestartNogoods=63 solvingWckTime=41.963 solvingCpuTime=41.83 expiredTime=no
42.72 totalExploration=no nbFoundSolutions=1 globalCpuTime=42.21
42.72 => wckTime=42.438 cpuTime=42.17 mem=15M361
42.73
42.73 s SATISFIABLE
42.73 v 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 12 8 5 2 1 28
42.73 d NODES 5266
42.73 d CHECKS 53340313
42.73
42.73 totalWckTime=42.514 totalCpuTime=42.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-237218-1168347084 -o ROOT/results/node55/solver-237218-1168347084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237218-1168347084/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.94 1.97 1.85 4/81 19966
/proc/meminfo: memFree=1733248/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=1784 CPUtime=0
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 183106686 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/19965/statm: 446 163 128 14 0 91 0
[startup+0.107362 s]
/proc/loadavg: 1.94 1.97 1.85 4/81 19966
/proc/meminfo: memFree=1733248/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=914988 CPUtime=0.09
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 3128 0 1 0 8 1 0 0 24 0 8 0 183106686 936947712 2874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228747 2874 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515402 s]
/proc/loadavg: 1.94 1.97 1.85 4/81 19966
/proc/meminfo: memFree=1733248/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=0.5
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 6842 0 1 0 46 4 0 0 25 0 8 0 183106686 937431040 6581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 6581 2164 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.33648 s]
/proc/loadavg: 1.95 1.97 1.85 3/88 19973
/proc/meminfo: memFree=1709576/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=1.32
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 8673 0 1 0 126 6 0 0 25 0 8 0 183106686 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 8411 2541 14 0 215335 0
[pid=19965/tid=19967] ppid=19963 vsize=915460 CPUtime=0.02
/proc/19965/task/19967/stat : 19967 (java) S 19963 19965 19898 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 183106690 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19968] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19968/stat : 19968 (java) S 19963 19965 19898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183106690 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19969] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19969/stat : 19969 (java) S 19963 19965 19898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183106690 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19970] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19970/stat : 19970 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183106693 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19971] ppid=19963 vsize=915460 CPUtime=0.15
/proc/19965/task/19971/stat : 19971 (java) S 19963 19965 19898 0 -1 64 353 0 0 0 15 0 0 0 15 0 8 0 183106693 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19972] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19972/stat : 19972 (java) S 19963 19965 19898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183106693 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19973] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19973/stat : 19973 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183106693 937431040 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97364 s]
/proc/loadavg: 1.95 1.97 1.85 3/88 19973
/proc/meminfo: memFree=1709128/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=2.96
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 8781 0 1 0 290 6 0 0 25 0 8 0 183106686 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 8518 2544 14 0 215335 0
[pid=19965/tid=19967] ppid=19963 vsize=915460 CPUtime=0.02
/proc/19965/task/19967/stat : 19967 (java) S 19963 19965 19898 0 -1 64 145 0 0 0 2 0 0 0 17 0 8 0 183106690 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19968] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19968/stat : 19968 (java) S 19963 19965 19898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183106690 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19969] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19969/stat : 19969 (java) S 19963 19965 19898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183106690 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19970] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19970/stat : 19970 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183106693 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19971] ppid=19963 vsize=915460 CPUtime=0.17
/proc/19965/task/19971/stat : 19971 (java) S 19963 19965 19898 0 -1 64 363 0 0 0 17 0 0 0 15 0 8 0 183106693 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19972] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19972/stat : 19972 (java) S 19963 19965 19898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183106693 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19973] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19973/stat : 19973 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183106693 937431040 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.27196 s]
/proc/loadavg: 1.95 1.97 1.85 3/88 19973
/proc/meminfo: memFree=1709064/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=6.26
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 8805 0 1 0 620 6 0 0 25 0 8 0 183106686 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 8538 2544 14 0 215335 0
[pid=19965/tid=19967] ppid=19963 vsize=915460 CPUtime=0.02
/proc/19965/task/19967/stat : 19967 (java) S 19963 19965 19898 0 -1 64 145 0 0 0 2 0 0 0 17 0 8 0 183106690 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19968] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19968/stat : 19968 (java) S 19963 19965 19898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183106690 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19969] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19969/stat : 19969 (java) S 19963 19965 19898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183106690 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19970] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19970/stat : 19970 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183106693 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19971] ppid=19963 vsize=915460 CPUtime=0.18
/proc/19965/task/19971/stat : 19971 (java) S 19963 19965 19898 0 -1 64 375 0 0 0 18 0 0 0 15 0 8 0 183106693 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19972] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19972/stat : 19972 (java) S 19963 19965 19898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183106693 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19973] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19973/stat : 19973 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183106693 937431040 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915460
[startup+12.7386 s]
/proc/loadavg: 1.96 1.97 1.85 3/88 19973
/proc/meminfo: memFree=1709064/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=12.69
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 8830 0 1 0 1263 6 0 0 25 0 8 0 183106686 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 8559 2544 14 0 215335 0
[pid=19965/tid=19967] ppid=19963 vsize=915460 CPUtime=0.02
/proc/19965/task/19967/stat : 19967 (java) S 19963 19965 19898 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 183106690 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19968] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19968/stat : 19968 (java) S 19963 19965 19898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183106690 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19969] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19969/stat : 19969 (java) S 19963 19965 19898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183106690 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19970] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19970/stat : 19970 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183106693 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19971] ppid=19963 vsize=915460 CPUtime=0.19
/proc/19965/task/19971/stat : 19971 (java) S 19963 19965 19898 0 -1 64 382 0 0 0 19 0 0 0 15 0 8 0 183106693 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19972] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19972/stat : 19972 (java) S 19963 19965 19898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183106693 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19973] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19973/stat : 19973 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183106693 937431040 8559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915460
[startup+25.6008 s]
/proc/loadavg: 1.96 1.97 1.85 3/88 19973
/proc/meminfo: memFree=1709064/2055920 swapFree=4192192/4192956
[pid=19965] ppid=19963 vsize=915460 CPUtime=25.55
/proc/19965/stat : 19965 (java) R 19963 19965 19898 0 -1 0 8846 0 1 0 2549 6 0 0 25 0 8 0 183106686 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19965/statm: 228865 8573 2544 14 0 215335 0
[pid=19965/tid=19967] ppid=19963 vsize=915460 CPUtime=0.02
/proc/19965/task/19967/stat : 19967 (java) S 19963 19965 19898 0 -1 64 145 0 0 0 2 0 0 0 17 0 8 0 183106690 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19968] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19968/stat : 19968 (java) S 19963 19965 19898 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183106690 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19969] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19969/stat : 19969 (java) S 19963 19965 19898 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 183106690 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19970] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19970/stat : 19970 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 183106693 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19971] ppid=19963 vsize=915460 CPUtime=0.2
/proc/19965/task/19971/stat : 19971 (java) S 19963 19965 19898 0 -1 64 386 0 0 0 20 0 0 0 16 0 8 0 183106693 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19972] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19972/stat : 19972 (java) S 19963 19965 19898 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 183106693 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19965/tid=19973] ppid=19963 vsize=915460 CPUtime=0
/proc/19965/task/19973/stat : 19973 (java) S 19963 19965 19898 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183106693 937431040 8573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 42.7867
CPU time (s): 42.6835
CPU user time (s): 42.6025
CPU system time (s): 0.080987
CPU usage (%): 99.7589
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.6025
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8983
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= 2115
involuntary context switches= 2459
runsolver used 0.06199 s user time and 0.12798 s system time
The end
Begin job on node55 on Tue Jan 9 12:51:24 UTC 2007
IDJOB= 237218
IDBENCH= 6907
FILE ID= node55/237218-1168347084
PBS_JOBID= 3503602
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/zhou/radi.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237218-1168347084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-237218-1168347084 -o ROOT/results/node55/solver-237218-1168347084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237218-1168347084/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 942448fd93a6e21e517036cbd5fb8d4b
RANDOM SEED= 313013457
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.218
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 : 5931.00
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.218
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: 1733728 kB
Buffers: 25952 kB
Cached: 165268 kB
SwapCached: 268 kB
Active: 169188 kB
Inactive: 96840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733728 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 92672 kB
Slab: 41324 kB
Committed_AS: 4852236 kB
PageTables: 1936 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= 66558 MiB
End job on node55 on Tue Jan 9 12:52:07 UTC 2007