0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/225326-1168271896/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.45 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.45
0.45 relations being loaded...
0.80
0.80 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.93 => wckTime=0.582 cpuTime=0.52 mem=36M295
0.98
0.98 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.787 cpuTime=0.65 mem=16M389
1.20
1.20 preprocessing
1.20 nbConstraintChecks=504326 nbPropagations=950 nbRevisions=3383 nbUselessRevisions=2026 nbSingletonTests=52
1.20 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
1.20 => wckTime=0.064 cpuTime=0.05 mem=16M389
1.25
1.25 search
1.25 run=0 nbConstraintChecks=214404 nbPropagations=1836 nbRevisions=6727 nbUselessRevisions=3599 nbAssignments=30
1.25 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.108 cpuTime=0.08 mem=16M389
1.31
1.31 search
1.31 run=1 nbConstraintChecks=1209056 nbPropagations=6627 nbRevisions=24118 nbUselessRevisions=12328
1.31 nbAssignments=139 nbFailedAssignments=101 nbBacktracks=26 nbVisitedNodes=258 nbRestartNogoods=5 mapSize=22
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.169 cpuTime=0.14 mem=16M389
1.38
1.38 search
1.38 run=2 nbConstraintChecks=2358773 nbPropagations=14828 nbRevisions=54130 nbUselessRevisions=27510
1.38 nbAssignments=261 nbFailedAssignments=166 nbBacktracks=48 nbVisitedNodes=430 nbRestartNogoods=15 mapSize=42
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.24 cpuTime=0.2 mem=16M389
1.46
1.46 search
1.46 run=3 nbConstraintChecks=3623311 nbPropagations=27598 nbRevisions=101358 nbUselessRevisions=50827
1.46 nbAssignments=401 nbFailedAssignments=270 nbBacktracks=82 nbVisitedNodes=704 nbRestartNogoods=22 mapSize=73
1.46 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.319 cpuTime=0.28 mem=16M389
1.59
1.59 search
1.59 run=4 nbConstraintChecks=5788902 nbPropagations=47306 nbRevisions=174195 nbUselessRevisions=85975
1.59 nbAssignments=609 nbFailedAssignments=426 nbBacktracks=132 nbVisitedNodes=1106 nbRestartNogoods=26 mapSize=117
1.59 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.45 cpuTime=0.41 mem=16M389
1.75
1.75 search
1.75 run=5 nbConstraintChecks=8391702 nbPropagations=77088 nbRevisions=284097 nbUselessRevisions=138159
1.75 nbAssignments=931 nbFailedAssignments=670 nbBacktracks=208 nbVisitedNodes=1729 nbRestartNogoods=44 mapSize=183
1.75 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.613 cpuTime=0.57 mem=16M389
1.95
1.95 search
1.95 run=6 nbConstraintChecks=11847481 nbPropagations=117791 nbRevisions=436106 nbUselessRevisions=210057
1.95 nbAssignments=1278 nbFailedAssignments=901 nbBacktracks=321 nbVisitedNodes=2390 nbRestartNogoods=47
1.95 mapSize=283 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.809 cpuTime=0.76 mem=17M361
2.35
2.35 search
2.35 run=7 nbConstraintChecks=18305927 nbPropagations=183552 nbRevisions=681919 nbUselessRevisions=325224
2.35 nbAssignments=2069 nbFailedAssignments=1505 nbBacktracks=492 nbVisitedNodes=3907 nbRestartNogoods=63
2.35 mapSize=435 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=1.206 cpuTime=1.14 mem=17M361
2.79
2.79 search
2.79 run=8 nbConstraintChecks=26254718 nbPropagations=275824 nbRevisions=1026773 nbUselessRevisions=486763
2.79 nbAssignments=2867 nbFailedAssignments=2044 nbBacktracks=748 nbVisitedNodes=5434 nbRestartNogoods=67
2.79 mapSize=657 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=1.65 cpuTime=1.58 mem=17M361
3.60
3.60 search
3.60 run=9 nbConstraintChecks=40431900 nbPropagations=423412 nbRevisions=1576028 nbUselessRevisions=742611
3.60 nbAssignments=4613 nbFailedAssignments=3388 nbBacktracks=1132 nbVisitedNodes=8802 nbRestartNogoods=76
3.60 mapSize=997 nbInferences=0 nbTooLargeKeys=0
3.60 => wckTime=2.463 cpuTime=2.38 mem=17M361
3.64
3.64 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=17M361)
4.60
4.60 search
4.60 run=10 nbConstraintChecks=59435530 nbPropagations=631627 nbRevisions=2358468 nbUselessRevisions=1108988
4.60 nbAssignments=6448 nbFailedAssignments=4643 nbBacktracks=1710 nbVisitedNodes=12307 nbRestartNogoods=82
4.60 => wckTime=3.457 cpuTime=3.36 mem=17M361
6.03
6.03 search
6.03 run=11 nbConstraintChecks=86861340 nbPropagations=945178 nbRevisions=3532177 nbUselessRevisions=1656531
6.03 nbAssignments=9744 nbFailedAssignments=7070 nbBacktracks=2577 nbVisitedNodes=18669 nbRestartNogoods=102
6.03 => wckTime=4.89 cpuTime=4.8 mem=17M361
8.42
8.42 search
8.42 run=12 nbConstraintChecks=134519229 nbPropagations=1413070 nbRevisions=5295810 nbUselessRevisions=2481798
8.42 nbAssignments=14421 nbFailedAssignments=10445 nbBacktracks=3875 nbVisitedNodes=27676 nbRestartNogoods=116
8.42 => wckTime=7.282 cpuTime=7.19 mem=17M361
11.54
11.54 search
11.54 run=13 nbConstraintChecks=193453695 nbPropagations=2123567 nbRevisions=7965114 nbUselessRevisions=3725669
11.54 nbAssignments=22232 nbFailedAssignments=16308 nbBacktracks=5821 nbVisitedNodes=42853 nbRestartNogoods=126
11.54 => wckTime=10.398 cpuTime=10.3 mem=17M361
16.08
16.08 search
16.08 run=14 nbConstraintChecks=281420878 nbPropagations=3160446 nbRevisions=11852053 nbUselessRevisions=5534143
16.08 nbAssignments=32400 nbFailedAssignments=23552 nbBacktracks=8741 nbVisitedNodes=62264 nbRestartNogoods=140
16.08 => wckTime=14.945 cpuTime=14.85 mem=17M361
23.08
23.08 search
23.08 run=15 nbConstraintChecks=418572187 nbPropagations=4704371 nbRevisions=17637829 nbUselessRevisions=8227482
23.08 nbAssignments=48216 nbFailedAssignments=34986 nbBacktracks=13119 nbVisitedNodes=92582 nbRestartNogoods=153
23.08 => wckTime=21.938 cpuTime=21.84 mem=17M361
34.00
34.00 search
34.00 run=16 nbConstraintChecks=635534943 nbPropagations=7013944 nbRevisions=26317213 nbUselessRevisions=12278815
34.00 nbAssignments=72600 nbFailedAssignments=52800 nbBacktracks=19687 nbVisitedNodes=139445 nbRestartNogoods=158
34.00 => wckTime=32.859 cpuTime=32.75 mem=17M361
50.65
50.65 search
50.65 run=17 nbConstraintChecks=960117772 nbPropagations=10540200 nbRevisions=39507262 nbUselessRevisions=18428013
50.65 nbAssignments=111025 nbFailedAssignments=81369 nbBacktracks=29539 nbVisitedNodes=213501 nbRestartNogoods=178
50.65 => wckTime=49.513 cpuTime=49.38 mem=17M361
75.12
75.12 search
75.12 run=18 nbConstraintChecks=1437676965 nbPropagations=15859548 nbRevisions=59366281 nbUselessRevisions=27683747
75.12 nbAssignments=167552 nbFailedAssignments=123115 nbBacktracks=44317 nbVisitedNodes=322525 nbRestartNogoods=200
75.12 => wckTime=73.98 cpuTime=73.85 mem=17M361
114.26
114.26 search
114.26 run=19 nbConstraintChecks=2205163029 nbPropagations=23978585 nbRevisions=89723753 nbUselessRevisions=41841553
114.26 nbAssignments=255131 nbFailedAssignments=188524 nbBacktracks=66485 nbVisitedNodes=491535 nbRestartNogoods=223
114.26 => wckTime=113.125 cpuTime=112.96 mem=17M361
171.76
171.76 search
171.76 run=20 nbConstraintChecks=3346816600 nbPropagations=36121482 nbRevisions=135155106 nbUselessRevisions=63065132
171.76 nbAssignments=380103 nbFailedAssignments=280238 nbBacktracks=99737 nbVisitedNodes=731611 nbRestartNogoods=235
171.76 => wckTime=170.621 cpuTime=170.41 mem=17M361
231.87
231.88 search
231.88 run=21 nbConstraintChecks=4560756673 nbPropagations=52304486 nbRevisions=195776204 nbUselessRevisions=91410586
231.88 nbAssignments=501532 nbFailedAssignments=366120 nbBacktracks=135285 nbVisitedNodes=962809 nbRestartNogoods=236
231.88 => wckTime=230.736 cpuTime=230.48 mem=17M361
231.88
231.88 global
231.88 nbConstraintChecks=4561260999 nbPropagations=52305436 nbRevisions=195779587 nbUselessRevisions=91412612
231.88 nbRestartNogoods=236 solvingWckTime=230.737 solvingCpuTime=230.48 expiredTime=no totalExploration=yes
231.88 nbFoundSolutions=0 globalCpuTime=231.2
231.88 => wckTime=231.529 cpuTime=231.14 mem=17M361
231.88
231.88 s UNSATISFIABLE
231.88 d NODES 501532
231.88 d CHECKS 4561260999
231.88
231.88 totalWckTime=231.606 totalCpuTime=231.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-225326-1168271896 -o ROOT/results/node21/solver-225326-1168271896 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225326-1168271896/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=1784 CPUtime=0
/proc/23733/stat : 23733 (java) D 23731 23733 23050 0 -1 0 165 0 0 0 0 0 0 0 21 0 1 0 175584198 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/23733/statm: 446 136 102 14 0 91 0
[startup+0.106396 s]
/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=907676 CPUtime=0.04
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 2396 0 1 0 3 1 0 0 19 0 4 0 175584198 929460224 2143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 226919 2144 1189 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.514476 s]
/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915328 CPUtime=0.44
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 6993 0 1 0 39 5 0 0 16 0 8 0 175584198 937295872 6732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 228832 6732 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33562 s]
/proc/loadavg: 0.92 0.98 1.15 2/85 23741
/proc/meminfo: memFree=827376/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=1.26
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14363 0 1 0 117 9 0 0 16 0 8 0 175584198 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14101 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.14
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 355 0 0 0 14 0 0 0 15 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.98794 s]
/proc/loadavg: 0.92 0.98 1.15 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=2.9
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14382 0 1 0 281 9 0 0 17 0 8 0 175584198 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 228866 14119 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 17 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.17
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 372 0 0 0 17 0 0 0 16 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.27256 s]
/proc/loadavg: 0.93 0.98 1.15 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=6.17
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14389 0 1 0 608 9 0 0 20 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915464
[startup+12.7528 s]
/proc/loadavg: 0.93 0.98 1.15 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=12.65
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 1256 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464
[startup+25.5982 s]
/proc/loadavg: 0.95 0.98 1.14 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=25.49
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 2540 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915464
[startup+51.2951 s]
/proc/loadavg: 0.96 0.98 1.14 2/85 23741
/proc/meminfo: memFree=827120/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=51.16
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 5107 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915464
[startup+102.578 s]
/proc/loadavg: 0.98 0.98 1.13 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=102.41
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 10231 10 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915464
[startup+162.6 s]
/proc/loadavg: 0.99 0.98 1.12 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=162.39
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 16229 10 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 915464
[startup+222.653 s]
/proc/loadavg: 0.99 0.98 1.10 2/91 23889
/proc/meminfo: memFree=825600/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=222.41
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 22224 17 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.41
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 231.932
CPU time (s): 231.646
CPU user time (s): 231.457
CPU system time (s): 0.188971
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.457
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14397
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= 5518
involuntary context switches= 9659
runsolver used 0.277957 s user time and 0.618905 s system time
The end
Begin job on node21 on Mon Jan 8 15:58:16 UTC 2007
IDJOB= 225326
IDBENCH= 5845
FILE ID= node21/225326-1168271896
PBS_JOBID= 3483169
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225326-1168271896/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-225326-1168271896 -o ROOT/results/node21/solver-225326-1168271896 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225326-1168271896/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ac0e5fd51cdfeaeb41cf7ea716924ba
RANDOM SEED= 503734210
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
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.261
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: 874376 kB
Buffers: 10792 kB
Cached: 1094964 kB
SwapCached: 2304 kB
Active: 584768 kB
Inactive: 545248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 874376 kB
SwapTotal: 4192956 kB
SwapFree: 4156316 kB
Dirty: 3544 kB
Writeback: 0 kB
Mapped: 33296 kB
Slab: 37116 kB
Committed_AS: 3594680 kB
PageTables: 1792 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 node21 on Mon Jan 8 16:02:09 UTC 2007