0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/277277-1169264303/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=16 nbDomainTypes=16 minDomainSize=109 maxDomainSize=187
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M887
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.78 nbConstraints=48 nbConvertedConstraints=48 nbConvertConstraintsChecks=1051516 nbExtensionStructures=48
0.78 nbSharedExtensionStructures=0 nbConflictsStructures=48 nbSharedConflictsStructures=0
0.78 nbSharedBinaryRepresentations=6865 maxDegree=6 maxArity=2
0.78 => wckTime=0.486 cpuTime=0.45 mem=9M813
0.82
0.82 solver LocalSearchSolver being built...
0.86 => wckTime=0.564 cpuTime=0.49 mem=5M904
0.86
0.86 s SATISFIABLE
0.86 o 25
0.86 c 23
0.87 o 29
0.87 c 19
0.87 o 32
0.87 c 16
0.87 o 35
0.87 c 13
0.87 o 37
0.87 c 11
0.87 o 38
0.87 c 10
0.87 o 39
0.87 c 9
0.87 o 41
0.87 c 7
0.88 o 42
0.88 c 6
0.88 o 43
0.88 c 5
0.88 o 44
0.88 c 4
0.88 o 45
0.88 c 3
1.60 o 46
1.60 c 2
6.56
6.56 search
6.56 run=0 nbConstraintChecks=53504701 nbAssignments=10000
6.56 => wckTime=5.703 cpuTime=5.68 mem=5M904
12.37
12.37 search
12.37 run=1 nbConstraintChecks=107239271 nbAssignments=20000
12.37 => wckTime=11.512 cpuTime=11.44 mem=5M904
18.39
18.39 search
18.39 run=2 nbConstraintChecks=162784651 nbAssignments=30000
18.39 => wckTime=17.534 cpuTime=17.43 mem=5M904
24.16
24.16 search
24.16 run=3 nbConstraintChecks=216029350 nbAssignments=40000
24.16 => wckTime=23.303 cpuTime=23.18 mem=5M904
29.92
29.92 search
29.92 run=4 nbConstraintChecks=269332449 nbAssignments=50000
29.92 => wckTime=29.062 cpuTime=28.93 mem=5M904
31.74
31.74 search
31.74 run=5 nbConstraintChecks=286126116 nbAssignments=53289
31.74 => wckTime=30.879 cpuTime=30.74 mem=5M904
31.74
31.74 global
31.74 nbConstraintChecks=286126116 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.74 solvingWckTime=30.877 solvingCpuTime=30.74 expiredTime=no totalExploration=no nbFoundSolutions=0
31.74 globalCpuTime=31.27
31.74 => wckTime=31.444 cpuTime=31.23 mem=5M904
31.74
31.74 solver IterativeSystematicSolver being built...
31.87 => wckTime=31.571 cpuTime=31.32 mem=15M853
31.92
31.92 preprocessing
31.92 nbConstraintChecks=126199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=6
31.92 detectedInconsistency=no
31.92 => wckTime=0.054 cpuTime=0.03 mem=15M853
32.09
32.09 search
32.09 run=0 nbConstraintChecks=1855950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=226
32.09 nbFailedAssignments=208 nbBacktracks=10 nbVisitedNodes=445 nbRestartNogoods=0
32.09 => wckTime=0.225 cpuTime=0.2 mem=16M861
32.54
32.54 search
32.54 run=1 nbConstraintChecks=6315129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=685
32.54 nbFailedAssignments=646 nbBacktracks=25 nbVisitedNodes=1357 nbRestartNogoods=120
32.54 => wckTime=0.671 cpuTime=0.64 mem=16M861
32.65
32.65 search
32.65 run=2 nbConstraintChecks=7219368 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=772
32.65 nbFailedAssignments=704 nbBacktracks=47 nbVisitedNodes=1524 nbRestartNogoods=193
32.65 => wckTime=0.78 cpuTime=0.74 mem=16M861
32.86
32.86 search
32.86 run=3 nbConstraintChecks=9636684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1080
32.86 nbFailedAssignments=972 nbBacktracks=80 nbVisitedNodes=2133 nbRestartNogoods=237
32.86 => wckTime=0.995 cpuTime=0.95 mem=16M861
35.64
35.64 search
35.64 run=4 nbConstraintChecks=36888128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3403
35.64 nbFailedAssignments=3238 nbBacktracks=130 nbVisitedNodes=6772 nbRestartNogoods=302
35.64 => wckTime=3.775 cpuTime=3.69 mem=16M861
37.21
37.21 search
37.21 run=5 nbConstraintChecks=49540717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4389
37.21 nbFailedAssignments=4145 nbBacktracks=205 nbVisitedNodes=8740 nbRestartNogoods=549
37.21 => wckTime=5.348 cpuTime=5.26 mem=16M861
41.38
41.38 search
41.38 run=6 nbConstraintChecks=95465147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8356
41.38 nbFailedAssignments=7994 nbBacktracks=318 nbVisitedNodes=16669 nbRestartNogoods=658
41.38 => wckTime=9.51 cpuTime=9.39 mem=16M861
44.00
44.00 search
44.00 run=7 nbConstraintChecks=126448774 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10558
44.00 nbFailedAssignments=10020 nbBacktracks=488 nbVisitedNodes=21066 nbRestartNogoods=687
44.00 => wckTime=12.131 cpuTime=12.0 mem=16M861
48.57
48.57 search
48.57 run=8 nbConstraintChecks=170413714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13873
48.57 nbFailedAssignments=13077 nbBacktracks=744 nbVisitedNodes=27693 nbRestartNogoods=910
48.57 => wckTime=16.699 cpuTime=16.55 mem=16M861
64.96
64.96 search
64.96 run=9 nbConstraintChecks=295900154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23126
64.96 nbFailedAssignments=21943 nbBacktracks=1128 nbVisitedNodes=46187 nbRestartNogoods=983
64.96 => wckTime=33.089 cpuTime=32.85 mem=16M861
97.59
97.59 search
97.59 run=10 nbConstraintChecks=541475840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40275
97.59 nbFailedAssignments=38512 nbBacktracks=1704 nbVisitedNodes=80441 nbRestartNogoods=1004
97.59 => wckTime=65.727 cpuTime=65.34 mem=16M861
127.25
127.25 search
127.25 run=11 nbConstraintChecks=765159253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57956
127.25 nbFailedAssignments=55325 nbBacktracks=2568 nbVisitedNodes=115777 nbRestartNogoods=1090
127.25 => wckTime=95.381 cpuTime=94.85 mem=16M861
165.66
165.66 search
165.66 run=12 nbConstraintChecks=1031395676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78416
165.66 nbFailedAssignments=74486 nbBacktracks=3865 nbVisitedNodes=156580 nbRestartNogoods=1121
165.66 => wckTime=133.792 cpuTime=133.07 mem=16M861
235.82
235.82 search
235.82 run=13 nbConstraintChecks=1443987260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111712
235.82 nbFailedAssignments=105835 nbBacktracks=5811 nbVisitedNodes=223122 nbRestartNogoods=1244
235.82 => wckTime=203.956 cpuTime=202.89 mem=16M861
308.99
308.99 search
308.99 run=14 nbConstraintChecks=1864233408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146360
308.99 nbFailedAssignments=138131 nbBacktracks=8164 nbVisitedNodes=292386 nbRestartNogoods=1408
308.99 => wckTime=277.123 cpuTime=275.71 mem=16M861
308.99
308.99 global
308.99 nbConstraintChecks=1864359607 nbRestartNogoods=1408 solvingWckTime=277.124 solvingCpuTime=275.71 expiredTime=no
308.99 totalExploration=yes nbFoundSolutions=0 globalCpuTime=307.07
308.99 => wckTime=308.696 cpuTime=307.03 mem=16M861
308.99
308.99 s OPTIMUM FOUND
308.99 v 102 7 171 113 113 83 0 43 49 178 122 10 9 101 106 33
308.99
308.99 totalWckTime=308.774 totalCpuTime=307.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-277277-1169264303 -o ROOT/results/node12/solver-277277-1169264303 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277277-1169264303/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.98 1.99 4/93 632
/proc/meminfo: memFree=1346608/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=172 CPUtime=0
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 274825340 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/631/statm: 43 24 18 14 0 3 0
[startup+0.107212 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 632
/proc/meminfo: memFree=1346608/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=914988 CPUtime=0.08
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 3068 0 1 0 7 1 0 0 23 0 8 0 274825340 936947712 2814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228747 2814 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515285 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 632
/proc/meminfo: memFree=1346608/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=0.49
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 6475 0 1 0 46 3 0 0 25 0 8 0 274825340 937435136 6214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073586880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 6214 2170 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33643 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 639
/proc/meminfo: memFree=1327800/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=1.32
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 7403 0 1 0 124 8 0 0 25 0 8 0 274825340 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 7141 2499 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 253 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.09
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 274825347 937435136 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937439232 7141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 7141 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.97873 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 639
/proc/meminfo: memFree=1327736/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=2.95
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 7407 0 1 0 276 19 0 0 25 0 8 0 274825340 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 7144 2499 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 253 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937439232 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.09
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 322 0 0 0 9 0 0 0 16 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27232 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 639
/proc/meminfo: memFree=1327736/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=6.25
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 7407 0 1 0 582 43 0 0 25 0 8 0 274825340 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 7144 2499 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 253 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937439232 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.09
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 322 0 0 0 9 0 0 0 16 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 7144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915464
[startup+12.7493 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 639
/proc/meminfo: memFree=1327736/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915468 CPUtime=12.67
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 7411 0 1 0 1182 85 0 0 25 0 8 0 274825340 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228867 7148 2499 14 0 215337 0
[pid=631/tid=633] ppid=629 vsize=915468 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 253 0 0 0 2 0 0 0 16 0 8 0 274825344 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915468 CPUtime=0.09
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 326 0 0 0 9 0 0 0 16 0 8 0 274825347 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915468 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937439232 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915468
[startup+25.5996 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 639
/proc/meminfo: memFree=1327736/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=25.48
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 7411 0 1 0 2383 165 0 0 25 0 8 0 274825340 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073637614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 7148 2499 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 253 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.09
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 326 0 0 0 9 0 0 0 16 0 8 0 274825347 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 7148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464
[startup+51.2982 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 639
/proc/meminfo: memFree=1321528/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=51.05
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 9058 0 1 0 4900 205 0 0 25 0 8 0 274825340 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 8788 2549 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.2
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 274825347 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915464
[startup+102.584 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 639
/proc/meminfo: memFree=1321464/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=102.08
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 9066 0 1 0 10003 205 0 0 25 0 8 0 274825340 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 8796 2549 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.21
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 384 0 0 0 20 1 0 0 17 0 8 0 274825347 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 915464
[startup+162.609 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 639
/proc/meminfo: memFree=1321464/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=161.84
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 9070 0 1 0 15978 206 0 0 25 0 8 0 274825340 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 8799 2549 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.21
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 274825347 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 8799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 915464
[startup+222.623 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 639
/proc/meminfo: memFree=1321400/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=221.58
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 9073 0 1 0 21952 206 0 0 25 0 8 0 274825340 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073636394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 8802 2549 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.21
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 274825347 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.58
Current children cumulated vsize (KiB) 915464
[startup+282.64 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 639
/proc/meminfo: memFree=1321336/2055920 swapFree=4160348/4192956
[pid=631] ppid=629 vsize=915464 CPUtime=281.27
/proc/631/stat : 631 (java) R 629 631 31840 0 -1 0 9077 0 1 0 27921 206 0 0 25 0 8 0 274825340 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/631/statm: 228866 8806 2549 14 0 215336 0
[pid=631/tid=633] ppid=629 vsize=915464 CPUtime=0.02
/proc/631/task/633/stat : 633 (java) S 629 631 31840 0 -1 64 254 0 0 0 2 0 0 0 16 0 8 0 274825344 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=634] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/634/stat : 634 (java) S 629 631 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274825344 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=635] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/635/stat : 635 (java) S 629 631 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274825344 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=636] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/636/stat : 636 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274825347 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=637] ppid=629 vsize=915464 CPUtime=0.21
/proc/631/task/637/stat : 637 (java) S 629 631 31840 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 274825347 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=638] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/638/stat : 638 (java) S 629 631 31840 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274825347 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=631/tid=639] ppid=629 vsize=915464 CPUtime=0
/proc/631/task/639/stat : 639 (java) S 629 631 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274825347 937435136 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.27
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 309.058
CPU time (s): 307.534
CPU user time (s): 305.464
CPU system time (s): 2.07069
CPU usage (%): 99.507
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.464
system time used= 2.07069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9175
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= 7409
involuntary context switches= 12628
runsolver used 0.316951 s user time and 0.825874 s system time
The end
Begin job on node12 on Sat Jan 20 03:38:23 UTC 2007
IDJOB= 277277
IDBENCH= 6547
IDSOLVER= 68
FILE ID= node12/277277-1169264303
PBS_JOBID= 3607288
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-4/os-taillard-4-95-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277277-1169264303/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-277277-1169264303 -o ROOT/results/node12/solver-277277-1169264303 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277277-1169264303/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22deb5457756fdb090779f1d2eaee199
RANDOM SEED= 516018148
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.265
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.265
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: 1347024 kB
Buffers: 59524 kB
Cached: 513924 kB
SwapCached: 5164 kB
Active: 291056 kB
Inactive: 343332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1347024 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 80232 kB
Slab: 59328 kB
Committed_AS: 8396892 kB
PageTables: 2188 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= 66561 MiB
End job on node12 on Sat Jan 20 03:43:32 UTC 2007