0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=pfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/276437-1169237538/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.45 => wckTime=0.099 cpuTime=0.08 mem=6M910
0.45
0.45 relations being loaded...
0.62
0.62 constraints being loaded...
0.71 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.71 => wckTime=0.356 cpuTime=0.3 mem=21M739
0.75
0.75 solver LocalSearchSolver being built...
0.80 => wckTime=0.443 cpuTime=0.34 mem=6M328
0.81
0.81 s SATISFIABLE
0.81 o 22
0.81 c 81
0.81 o 26
0.81 c 77
0.81 o 30
0.81 c 73
0.81 o 34
0.81 c 69
0.81 o 38
0.81 c 65
0.81 o 42
0.81 c 61
0.81 o 45
0.82 c 58
0.82 o 46
0.82 c 57
0.82 o 49
0.82 c 54
0.82 o 51
0.82 c 52
0.82 o 53
0.82 c 50
0.82 o 55
0.82 c 48
0.82 o 58
0.82 c 45
0.82 o 59
0.82 c 44
0.82 o 61
0.82 c 42
0.82 o 63
0.82 c 40
0.82 o 65
0.82 c 38
0.83 o 67
0.83 c 36
0.83 o 69
0.83 c 34
0.83 o 71
0.83 c 32
0.83 o 72
0.83 c 31
0.83 o 73
0.83 c 30
0.83 o 74
0.83 c 29
0.83 o 75
0.83 c 28
0.83 o 76
0.83 c 27
0.83 o 78
0.83 c 25
0.83 o 79
0.83 c 24
0.83 o 81
0.83 c 22
0.83 o 82
0.83 c 21
0.84 o 83
0.84 c 20
0.84 o 84
0.84 c 19
0.84 o 85
0.84 c 18
0.84 o 86
0.84 c 17
0.84 o 87
0.84 c 16
0.86 o 88
0.86 c 15
0.86 o 89
0.86 c 14
0.86 o 90
0.86 c 13
0.86 o 91
0.86 c 12
0.87 o 92
0.87 c 11
0.89 o 93
0.89 c 10
0.89 o 94
0.89 c 9
0.90 o 95
0.90 c 8
0.95 o 96
0.95 c 7
0.97 o 97
0.97 c 6
1.75 o 98
1.75 c 5
3.04 o 99
3.04 c 4
3.09 o 100
3.09 c 3
5.85
5.85 search
5.85 run=0 nbConstraintChecks=42092260 nbAssignments=10000
5.85 => wckTime=5.051 cpuTime=5.02 mem=6M328
11.30
11.30 search
11.30 run=1 nbConstraintChecks=89779133 nbAssignments=20000
11.30 => wckTime=10.504 cpuTime=10.45 mem=6M328
16.41
16.41 search
16.41 run=2 nbConstraintChecks=134552089 nbAssignments=30000
16.41 => wckTime=15.617 cpuTime=15.56 mem=6M328
21.56
21.56 search
21.56 run=3 nbConstraintChecks=179237438 nbAssignments=40000
21.56 => wckTime=20.761 cpuTime=20.7 mem=6M328
26.48
26.48 search
26.48 run=4 nbConstraintChecks=221660328 nbAssignments=50000
26.48 => wckTime=25.684 cpuTime=25.62 mem=6M328
31.99
31.99 search
31.99 run=5 nbConstraintChecks=270128823 nbAssignments=60000
31.99 => wckTime=31.193 cpuTime=31.13 mem=6M328
33.13
33.13 search
33.13 run=6 nbConstraintChecks=280114389 nbAssignments=62488
33.13 => wckTime=32.337 cpuTime=32.28 mem=6M328
33.13
33.13 global
33.13 nbConstraintChecks=280114389 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.13 solvingWckTime=32.333 solvingCpuTime=32.28 expiredTime=no totalExploration=no nbFoundSolutions=0
33.13 globalCpuTime=32.67
33.13 => wckTime=32.781 cpuTime=32.62 mem=6M328
33.13
33.13 solver IterativeSystematicSolver being built...
33.25 => wckTime=32.901 cpuTime=32.71 mem=17M235
33.26
33.26 preprocessing
33.26 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.26 detectedInconsistency=no
33.26 => wckTime=0.0060 cpuTime=0.01 mem=17M235
34.12
34.12 search
34.12 run=0 nbConstraintChecks=4905551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=436
34.12 nbFailedAssignments=411 nbBacktracks=10 nbVisitedNodes=858 nbRestartNogoods=0
34.12 => wckTime=0.867 cpuTime=0.83 mem=17M235
34.66
34.67 search
34.67 run=1 nbConstraintChecks=7751831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=780
34.67 nbFailedAssignments=726 nbBacktracks=25 nbVisitedNodes=1532 nbRestartNogoods=140
34.67 => wckTime=1.41 cpuTime=1.37 mem=17M235
34.97
34.97 search
34.97 run=2 nbConstraintChecks=9422562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1016
34.97 nbFailedAssignments=928 nbBacktracks=47 nbVisitedNodes=1992 nbRestartNogoods=239
34.97 => wckTime=1.718 cpuTime=1.67 mem=17M235
35.94
35.94 search
35.94 run=3 nbConstraintChecks=13779780 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1368
35.94 nbFailedAssignments=1240 nbBacktracks=80 nbVisitedNodes=2689 nbRestartNogoods=367
35.94 => wckTime=2.687 cpuTime=2.64 mem=17M235
36.89
36.89 search
36.89 run=4 nbConstraintChecks=19545658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1974
36.89 nbFailedAssignments=1787 nbBacktracks=130 nbVisitedNodes=3892 nbRestartNogoods=404
36.89 => wckTime=3.64 cpuTime=3.58 mem=17M235
41.32
41.32 search
41.32 run=5 nbConstraintChecks=48463916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4343
41.32 nbFailedAssignments=4063 nbBacktracks=205 nbVisitedNodes=8612 nbRestartNogoods=470
41.32 => wckTime=8.068 cpuTime=8.0 mem=17M235
44.08
44.08 search
44.08 run=6 nbConstraintChecks=68818250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6255
44.08 nbFailedAssignments=5847 nbBacktracks=318 nbVisitedNodes=12418 nbRestartNogoods=515
44.08 => wckTime=10.826 cpuTime=10.75 mem=17M235
48.60
48.60 search
48.60 run=7 nbConstraintChecks=94139914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8482
48.60 nbFailedAssignments=7897 nbBacktracks=488 nbVisitedNodes=16859 nbRestartNogoods=579
48.60 => wckTime=15.342 cpuTime=15.26 mem=17M235
51.88
51.88 search
51.88 run=8 nbConstraintChecks=107735121 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9641
51.88 nbFailedAssignments=8794 nbBacktracks=744 nbVisitedNodes=19162 nbRestartNogoods=653
51.88 => wckTime=18.63 cpuTime=18.54 mem=17M235
56.07
56.07 search
56.07 run=9 nbConstraintChecks=131106224 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11433
56.07 nbFailedAssignments=10194 nbBacktracks=1128 nbVisitedNodes=22734 nbRestartNogoods=667
56.07 => wckTime=22.818 cpuTime=22.71 mem=17M235
62.93
62.93 search
62.93 run=10 nbConstraintChecks=158266030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13987
62.93 nbFailedAssignments=12162 nbBacktracks=1704 nbVisitedNodes=27822 nbRestartNogoods=673
62.93 => wckTime=29.672 cpuTime=29.56 mem=17M235
72.38
72.38 search
72.38 run=11 nbConstraintChecks=200361809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18037
72.38 nbFailedAssignments=15340 nbBacktracks=2568 nbVisitedNodes=35875 nbRestartNogoods=696
72.38 => wckTime=39.121 cpuTime=39.01 mem=17M235
82.32
82.32 search
82.32 run=12 nbConstraintChecks=235887603 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21613
82.32 nbFailedAssignments=17615 nbBacktracks=3865 nbVisitedNodes=42738 nbRestartNogoods=716
82.32 => wckTime=49.063 cpuTime=48.94 mem=17M235
99.86
99.86 search
99.86 run=13 nbConstraintChecks=307883753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28057
99.86 nbFailedAssignments=22107 nbBacktracks=5811 nbVisitedNodes=55506 nbRestartNogoods=774
99.86 => wckTime=66.602 cpuTime=66.45 mem=17M235
122.56
122.56 search
122.56 run=14 nbConstraintChecks=396043445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36416
122.56 nbFailedAssignments=27537 nbBacktracks=8730 nbVisitedNodes=72147 nbRestartNogoods=824
122.56 => wckTime=89.306 cpuTime=89.15 mem=17M235
127.10 o 101
127.10 c 2
154.14
154.15 search
154.15 run=15 nbConstraintChecks=520756844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48230
154.15 nbFailedAssignments=34970 nbBacktracks=13108 nbVisitedNodes=95075 nbRestartNogoods=858
154.15 => wckTime=120.89 cpuTime=120.7 mem=17M235
194.20 o 102
194.20 c 1
197.22
197.22 search
197.22 run=16 nbConstraintChecks=663969797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62676
197.22 nbFailedAssignments=42841 nbBacktracks=19677 nbVisitedNodes=121159 nbRestartNogoods=876
197.22 => wckTime=163.967 cpuTime=163.73 mem=17M235
224.64
224.64 search
224.64 run=17 nbConstraintChecks=746537574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71999
224.64 nbFailedAssignments=46863 nbBacktracks=24979 nbVisitedNodes=135620 nbRestartNogoods=886
224.64 => wckTime=191.383 cpuTime=191.14 mem=17M235
224.64
224.64 global
224.64 nbConstraintChecks=746537574 nbRestartNogoods=886 solvingWckTime=191.385 solvingCpuTime=191.14 expiredTime=no
224.64 totalExploration=yes nbFoundSolutions=2 globalCpuTime=223.9
224.64 => wckTime=224.286 cpuTime=223.85 mem=17M235
224.64
224.64 s OPTIMUM FOUND
224.64 v 43 77 31 69 33 20 4 5 64 4 79 78 62 44 75 38 15 72 48 31 23 72 9 49 30 38 22 0 10 30 47 18 32 32 68 1 53 57 58 5
224.64
224.64 totalWckTime=224.36 totalCpuTime=223.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-276437-1169237538 -o ROOT/results/node58/solver-276437-1169237538 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276437-1169237538/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.99 1.97 4/73 27671
/proc/meminfo: memFree=1352032/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=172 CPUtime=0
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272151812 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4870948 0 0 4096 0 0 0 0 17 0 0 0
/proc/27670/statm: 43 24 18 14 0 3 0
[startup+0.108421 s]
/proc/loadavg: 1.92 1.99 1.97 4/73 27671
/proc/meminfo: memFree=1352032/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=907676 CPUtime=0.05
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 2404 0 1 0 4 1 0 0 20 0 4 0 272151812 929460224 2151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 226919 2152 1191 14 0 214502 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907676
[startup+0.516459 s]
/proc/loadavg: 1.92 1.99 1.97 4/73 27671
/proc/meminfo: memFree=1352032/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915332 CPUtime=0.44
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 6824 0 1 0 40 4 0 0 25 0 8 0 272151812 937299968 6563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570526 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228833 6564 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.33953 s]
/proc/loadavg: 1.93 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1321128/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=1.26
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10436 0 1 0 116 10 0 0 25 0 8 0 272151812 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10174 2476 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915448 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272151820 937418752 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.11
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 272151824 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444
[startup+2.98567 s]
/proc/loadavg: 1.93 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1321064/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=2.9
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10440 0 1 0 269 21 0 0 25 0 8 0 272151812 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10177 2476 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.11
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 334 0 0 0 11 0 0 0 15 0 8 0 272151824 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915448 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937418752 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915444
[startup+6.26496 s]
/proc/loadavg: 1.93 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1320936/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=6.18
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10442 0 1 0 574 44 0 0 25 0 8 0 272151812 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10179 2476 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.12
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.7615 s]
/proc/loadavg: 1.94 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1320936/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=12.66
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10442 0 1 0 1178 88 0 0 25 0 8 0 272151812 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10179 2476 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.12
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444
[startup+25.6127 s]
/proc/loadavg: 1.95 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1321000/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=25.5
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10442 0 1 0 2365 185 0 0 25 0 8 0 272151812 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10179 2476 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.12
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915448 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937418752 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915444
[startup+51.2309 s]
/proc/loadavg: 1.97 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1320808/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=51.1
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10598 0 1 0 4874 236 0 0 25 0 8 0 272151812 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10329 2527 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.21
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 272151824 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915444
[startup+102.461 s]
/proc/loadavg: 1.98 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1320808/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=102.26
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10600 0 1 0 9990 236 0 0 25 0 8 0 272151812 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10330 2527 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.22
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 392 0 0 0 21 1 0 0 17 0 8 0 272151824 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915444
[startup+162.544 s]
/proc/loadavg: 1.99 1.99 1.97 3/80 27678
/proc/meminfo: memFree=1320744/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=162.3
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10601 0 1 0 15994 236 0 0 25 0 8 0 272151812 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10331 2527 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.22
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 915444
[startup+222.63 s]
/proc/loadavg: 1.99 1.99 1.97 4/80 27678
/proc/meminfo: memFree=1320744/2055920 swapFree=4184236/4192956
[pid=27670] ppid=27668 vsize=915444 CPUtime=222.34
/proc/27670/stat : 27670 (java) R 27668 27670 26930 0 -1 0 10602 0 1 0 21998 236 0 0 25 0 8 0 272151812 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27670/statm: 228861 10331 2527 14 0 215331 0
[pid=27670/tid=27672] ppid=27668 vsize=915444 CPUtime=0.03
/proc/27670/task/27672/stat : 27672 (java) S 27668 27670 26930 0 -1 64 357 0 0 0 3 0 0 0 16 0 8 0 272151820 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27673] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27673/stat : 27673 (java) S 27668 27670 26930 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272151821 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27674] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27674/stat : 27674 (java) S 27668 27670 26930 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272151821 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27675] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27675/stat : 27675 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27676] ppid=27668 vsize=915444 CPUtime=0.22
/proc/27670/task/27676/stat : 27676 (java) S 27668 27670 26930 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27677] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27677/stat : 27677 (java) S 27668 27670 26930 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27670/tid=27678] ppid=27668 vsize=915444 CPUtime=0
/proc/27670/task/27678/stat : 27678 (java) S 27668 27670 26930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272151824 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 224.677
CPU time (s): 224.371
CPU user time (s): 221.996
CPU system time (s): 2.37464
CPU usage (%): 99.8636
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.996
system time used= 2.37464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10615
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= 5744
involuntary context switches= 6656
runsolver used 0.315951 s user time and 0.702893 s system time
The end
Begin job on node58 on Fri Jan 19 20:12:18 UTC 2007
IDJOB= 276437
IDBENCH= 5768
IDSOLVER= 69
FILE ID= node58/276437-1169237538
PBS_JOBID= 3589297
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276437-1169237538/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-276437-1169237538 -o ROOT/results/node58/solver-276437-1169237538 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276437-1169237538/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3f166abd9c5ab3f07fb1a58b80c8c711
RANDOM SEED= 232427133
TIME LIMIT= 2400 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: 1352512 kB
Buffers: 49448 kB
Cached: 558536 kB
SwapCached: 2792 kB
Active: 133028 kB
Inactive: 500304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1352512 kB
SwapTotal: 4192956 kB
SwapFree: 4184236 kB
Dirty: 6464 kB
Writeback: 0 kB
Mapped: 32748 kB
Slab: 55572 kB
Committed_AS: 4364632 kB
PageTables: 1696 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= 66559 MiB
End job on node58 on Fri Jan 19 20:16:03 UTC 2007