0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/275993-1169230460/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=56 nbRelationTypes=56 nbExtensionStructures=56 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=56 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.83 => wckTime=0.52 cpuTime=0.45 mem=40M477
0.91
0.91 solver LocalSearchSolver being built...
0.95 => wckTime=0.641 cpuTime=0.5 mem=11M864
0.96
0.96 s SATISFIABLE
0.96 o 25
0.96 c 31
0.96 o 30
0.96 c 26
0.96 o 34
0.96 c 22
0.97 o 38
0.97 c 18
0.97 o 41
0.97 c 15
0.97 o 42
0.97 c 14
0.98 o 43
0.98 c 13
0.98 o 45
0.98 c 11
0.98 o 46
0.98 c 10
0.99 o 47
0.99 c 9
0.99 o 48
0.99 c 8
0.99 o 49
0.99 c 7
1.02 o 50
1.02 c 6
1.06 o 51
1.06 c 5
1.07 o 52
1.07 c 4
1.13 o 53
1.13 c 3
1.61 o 54
1.61 c 2
9.56
9.57 search
9.57 run=0 nbConstraintChecks=9673594 nbAssignments=10000
9.57 => wckTime=8.61 cpuTime=8.5 mem=11M864
18.09
18.09 search
18.09 run=1 nbConstraintChecks=19306454 nbAssignments=20000
18.09 => wckTime=17.135 cpuTime=16.95 mem=11M864
27.10
27.10 search
27.10 run=2 nbConstraintChecks=29418292 nbAssignments=30000
27.10 => wckTime=26.152 cpuTime=25.87 mem=11M864
31.91
31.91 search
31.91 run=3 nbConstraintChecks=34901611 nbAssignments=35575
31.91 => wckTime=30.961 cpuTime=30.64 mem=11M864
31.91
31.91 global
31.91 nbConstraintChecks=34901611 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.91 solvingWckTime=30.959 solvingCpuTime=30.64 expiredTime=no totalExploration=no nbFoundSolutions=0
31.91 globalCpuTime=31.2
31.91 => wckTime=31.603 cpuTime=31.14 mem=11M864
31.91
31.91 solver IterativeSystematicSolver being built...
32.05 => wckTime=31.74 cpuTime=31.25 mem=22M755
32.06
32.06 preprocessing
32.06 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.06 detectedInconsistency=no
32.06 => wckTime=0.0060 cpuTime=0.0 mem=22M755
32.14
32.14 search
32.14 run=0 nbConstraintChecks=16020 nbValidityChecks=53529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.14 nbAssignments=32 nbFailedAssignments=17 nbBacktracks=13 nbVisitedNodes=59 nbRestartNogoods=0
32.14 => wckTime=0.083 cpuTime=0.06 mem=23M757
32.34
32.34 search
32.34 run=1 nbConstraintChecks=121978 nbValidityChecks=544933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.34 nbAssignments=220 nbFailedAssignments=184 nbBacktracks=28 nbVisitedNodes=429 nbRestartNogoods=1
32.34 => wckTime=0.288 cpuTime=0.24 mem=23M757
32.50
32.50 search
32.50 run=2 nbConstraintChecks=209245 nbValidityChecks=986115 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.50 nbAssignments=398 nbFailedAssignments=333 nbBacktracks=50 nbVisitedNodes=778 nbRestartNogoods=13
32.50 => wckTime=0.446 cpuTime=0.39 mem=23M757
32.74
32.74 search
32.74 run=3 nbConstraintChecks=352916 nbValidityChecks=1737381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.74 nbAssignments=651 nbFailedAssignments=545 nbBacktracks=83 nbVisitedNodes=1275 nbRestartNogoods=37
32.74 => wckTime=0.691 cpuTime=0.63 mem=23M757
33.34
33.34 search
33.34 run=4 nbConstraintChecks=739098 nbValidityChecks=3498699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.34 nbAssignments=1298 nbFailedAssignments=1137 nbBacktracks=133 nbVisitedNodes=2561 nbRestartNogoods=62
33.34 => wckTime=1.289 cpuTime=1.22 mem=23M757
33.92
33.92 search
33.92 run=5 nbConstraintChecks=1055711 nbValidityChecks=5357372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.92 nbAssignments=1926 nbFailedAssignments=1685 nbBacktracks=208 nbVisitedNodes=3811 nbRestartNogoods=74
33.92 => wckTime=1.873 cpuTime=1.78 mem=23M757
34.80
34.80 search
34.80 run=6 nbConstraintChecks=1520256 nbValidityChecks=8330247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.80 nbAssignments=3111 nbFailedAssignments=2750 nbBacktracks=321 nbVisitedNodes=6168 nbRestartNogoods=76
34.80 => wckTime=2.746 cpuTime=2.64 mem=23M757
35.93
35.93 search
35.93 run=7 nbConstraintChecks=2131255 nbValidityChecks=11817162 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.93 nbAssignments=4628 nbFailedAssignments=4091 nbBacktracks=492 nbVisitedNodes=9192 nbRestartNogoods=115
35.93 => wckTime=3.88 cpuTime=3.76 mem=23M757
37.97
37.97 search
37.97 run=8 nbConstraintChecks=3359660 nbValidityChecks=18114082 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.97 nbAssignments=6751 nbFailedAssignments=5952 nbBacktracks=748 nbVisitedNodes=13424 nbRestartNogoods=126
37.97 => wckTime=5.917 cpuTime=5.78 mem=23M757
40.28
40.28 search
40.28 run=9 nbConstraintChecks=4696745 nbValidityChecks=24903349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.28 nbAssignments=9270 nbFailedAssignments=8081 nbBacktracks=1132 nbVisitedNodes=18438 nbRestartNogoods=146
40.28 => wckTime=8.225 cpuTime=8.07 mem=23M757
43.87
43.87 search
43.87 run=10 nbConstraintChecks=6850081 nbValidityChecks=35309047 nbPropagations=0 nbRevisions=0
43.87 nbUselessRevisions=0 nbAssignments=12808 nbFailedAssignments=11039 nbBacktracks=1708 nbVisitedNodes=25473
43.87 nbRestartNogoods=171
43.87 => wckTime=11.821 cpuTime=11.62 mem=23M757
48.67
48.68 search
48.68 run=11 nbConstraintChecks=9804736 nbValidityChecks=49283941 nbPropagations=0 nbRevisions=0
48.68 nbUselessRevisions=0 nbAssignments=18295 nbFailedAssignments=15657 nbBacktracks=2572 nbVisitedNodes=36380
48.68 nbRestartNogoods=183
48.68 => wckTime=16.624 cpuTime=16.38 mem=23M757
55.24
55.24 search
55.24 run=12 nbConstraintChecks=13709827 nbValidityChecks=68985831 nbPropagations=0 nbRevisions=0
55.24 nbUselessRevisions=0 nbAssignments=26094 nbFailedAssignments=22152 nbBacktracks=3869 nbVisitedNodes=51901
55.24 nbRestartNogoods=214
55.24 => wckTime=23.188 cpuTime=22.88 mem=23M757
67.19
67.19 search
67.19 run=13 nbConstraintChecks=20980444 nbValidityChecks=104156110 nbPropagations=0 nbRevisions=0
67.19 nbUselessRevisions=0 nbAssignments=36387 nbFailedAssignments=30494 nbBacktracks=5815 nbVisitedNodes=72151
67.19 nbRestartNogoods=253
67.19 => wckTime=35.135 cpuTime=34.72 mem=23M757
80.62
80.62 search
80.62 run=14 nbConstraintChecks=29323057 nbValidityChecks=140908417 nbPropagations=0 nbRevisions=0
80.62 nbUselessRevisions=0 nbAssignments=48671 nbFailedAssignments=39855 nbBacktracks=8734 nbVisitedNodes=96427
80.62 nbRestartNogoods=293
80.62 => wckTime=48.569 cpuTime=48.03 mem=23M757
105.06
105.06 search
105.06 run=15 nbConstraintChecks=44630601 nbValidityChecks=213905375 nbPropagations=0 nbRevisions=0
105.06 nbUselessRevisions=0 nbAssignments=70746 nbFailedAssignments=57545 nbBacktracks=13112 nbVisitedNodes=139690
105.06 nbRestartNogoods=319
105.06 => wckTime=73.008 cpuTime=72.24 mem=23M757
115.32 o 55
115.32 c 1
125.51
125.51 search
125.51 run=16 nbConstraintChecks=57277838 nbValidityChecks=267702327 nbPropagations=0 nbRevisions=0
125.51 nbUselessRevisions=0 nbAssignments=89521 nbFailedAssignments=69745 nbBacktracks=19680 nbVisitedNodes=174091
125.51 nbRestartNogoods=347
125.51 => wckTime=93.463 cpuTime=92.51 mem=23M757
146.64
146.64 search
146.64 run=17 nbConstraintChecks=70543270 nbValidityChecks=318199696 nbPropagations=0 nbRevisions=0
146.64 nbUselessRevisions=0 nbAssignments=110137 nbFailedAssignments=80505 nbBacktracks=29532 nbVisitedNodes=209425
146.64 nbRestartNogoods=363
146.64 => wckTime=114.591 cpuTime=113.45 mem=23M757
182.35
182.35 search
182.35 run=18 nbConstraintChecks=92597574 nbValidityChecks=399012636 nbPropagations=0 nbRevisions=0
182.35 nbUselessRevisions=0 nbAssignments=139168 nbFailedAssignments=94753 nbBacktracks=44312 nbVisitedNodes=258225
182.35 nbRestartNogoods=383
182.35 => wckTime=150.3 cpuTime=148.82 mem=23M757
225.82
225.82 search
225.82 run=19 nbConstraintChecks=119757936 nbValidityChecks=498856530 nbPropagations=0 nbRevisions=0
225.82 nbUselessRevisions=0 nbAssignments=178298 nbFailedAssignments=113702 nbBacktracks=64494 nbVisitedNodes=323203
225.82 nbRestartNogoods=387
225.82 => wckTime=193.773 cpuTime=191.9 mem=23M757
225.83
225.83 global
225.83 nbConstraintChecks=119757936 nbValidityChecks=498856530 nbRestartNogoods=387 solvingWckTime=193.774
225.83 solvingCpuTime=191.9 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=223.21
225.83 => wckTime=225.515 cpuTime=223.15 mem=23M757
225.83
225.83 s OPTIMUM FOUND
225.83 v 1 11 4 11 14 7 12 9 0 4 7 14 8 1 0 9 4 9 1 13
225.83
225.83 totalWckTime=225.595 totalCpuTime=223.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-275993-1169230460 -o ROOT/results/node35/solver-275993-1169230460 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275993-1169230460/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: 2.00 2.00 1.94 4/80 12571
/proc/meminfo: memFree=1248536/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=18540 CPUtime=0
/proc/12570/stat : 12570 (runsolver) R 12568 12570 11735 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 271439622 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/12570/statm: 4635 279 244 17 0 2626 0
[startup+0.108333 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 12571
/proc/meminfo: memFree=1248536/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=914988 CPUtime=0.09
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 3021 0 1 0 8 1 0 0 17 0 8 0 271439622 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154012713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516382 s]
/proc/loadavg: 2.00 2.00 1.94 4/80 12571
/proc/meminfo: memFree=1248536/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915332 CPUtime=0.5
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 7578 0 1 0 46 4 0 0 18 0 8 0 271439622 937299968 7317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228833 7317 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33948 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 12578
/proc/meminfo: memFree=1193504/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=1.31
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16382 0 1 0 121 10 0 0 24 0 8 0 271439622 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16120 2475 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1701 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.11
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 271439630 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915440
[startup+2.99068 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 12578
/proc/meminfo: memFree=1193248/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=2.95
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16390 0 1 0 275 20 0 0 25 0 8 0 271439622 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16127 2477 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1701 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.12
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 327 0 0 0 12 0 0 0 16 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16127 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) 915440
[startup+6.27008 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 12578
/proc/meminfo: memFree=1193248/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=6.2
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16390 0 1 0 586 34 0 0 25 0 8 0 271439622 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16127 2477 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1701 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.12
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 327 0 0 0 12 0 0 0 16 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7619 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 12578
/proc/meminfo: memFree=1193464/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=12.63
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16392 0 1 0 1196 67 0 0 25 0 8 0 271439622 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16129 2477 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1701 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.12
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.6104 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 12578
/proc/meminfo: memFree=1193592/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=25.36
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16392 0 1 0 2408 128 0 0 25 0 8 0 271439622 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16129 2477 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1701 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.12
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915440
[startup+51.2315 s]
/proc/loadavg: 2.13 2.03 1.95 3/87 12578
/proc/meminfo: memFree=1192760/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=50.74
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16557 0 1 0 4911 163 0 0 25 0 8 0 271439622 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16289 2530 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1702 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.23
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 271439630 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16289 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915440
[startup+102.484 s]
/proc/loadavg: 2.10 2.04 1.96 3/87 12578
/proc/meminfo: memFree=1192696/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=101.52
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16563 0 1 0 9989 163 0 0 25 0 8 0 271439622 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16291 2530 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1702 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.24
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915440
[startup+162.489 s]
/proc/loadavg: 2.07 2.04 1.96 4/87 12578
/proc/meminfo: memFree=1192696/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=160.98
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16563 0 1 0 15935 163 0 0 25 0 8 0 271439622 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16291 2530 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1702 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.24
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 915440
[startup+222.507 s]
/proc/loadavg: 2.02 2.03 1.96 3/87 12578
/proc/meminfo: memFree=1192696/2055920 swapFree=4184740/4192956
[pid=12570] ppid=12568 vsize=915440 CPUtime=220.45
/proc/12570/stat : 12570 (java) R 12568 12570 11735 0 -1 0 16563 0 1 0 21882 163 0 0 25 0 8 0 271439622 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12570/statm: 228860 16291 2530 14 0 215330 0
[pid=12570/tid=12572] ppid=12568 vsize=915440 CPUtime=0.05
/proc/12570/task/12572/stat : 12572 (java) S 12568 12570 11735 0 -1 64 1702 0 0 0 5 0 0 0 16 0 8 0 271439626 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12573] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12573/stat : 12573 (java) S 12568 12570 11735 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12574] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12574/stat : 12574 (java) S 12568 12570 11735 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271439627 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12575] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12575/stat : 12575 (java) S 12568 12570 11735 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12576] ppid=12568 vsize=915440 CPUtime=0.24
/proc/12570/task/12576/stat : 12576 (java) S 12568 12570 11735 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12577] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12577/stat : 12577 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12570/tid=12578] ppid=12568 vsize=915440 CPUtime=0
/proc/12570/task/12578/stat : 12578 (java) S 12568 12570 11735 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271439630 937410560 16291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 225.848
CPU time (s): 223.763
CPU user time (s): 222.116
CPU system time (s): 1.64675
CPU usage (%): 99.0768
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.116
system time used= 1.64675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16576
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= 5588
involuntary context switches= 12654
runsolver used 0.266959 s user time and 0.748886 s system time
The end
Begin job on node35 on Fri Jan 19 18:14:20 UTC 2007
IDJOB= 275993
IDBENCH= 5203
IDSOLVER= 69
FILE ID= node35/275993-1169230460
PBS_JOBID= 3589235
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-38_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275993-1169230460/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-275993-1169230460 -o ROOT/results/node35/solver-275993-1169230460 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275993-1169230460/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9fd62ce6b863f5403cc9493ac8ec875b
RANDOM SEED= 996906669
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.234
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.234
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: 1248952 kB
Buffers: 42936 kB
Cached: 621812 kB
SwapCached: 2264 kB
Active: 236636 kB
Inactive: 498596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1248952 kB
SwapTotal: 4192956 kB
SwapFree: 4184740 kB
Dirty: 5620 kB
Writeback: 0 kB
Mapped: 87312 kB
Slab: 57008 kB
Committed_AS: 5785948 kB
PageTables: 1948 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 node35 on Fri Jan 19 18:18:06 UTC 2007