Trace number 233708

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 325.235 326.438

DiagnosticValue
CHECKS252146189
NODES4477

General information on the benchmark

Nametaillard/os-taillard-15/
os-taillard-15-100-9.xml
MD5SUMbf3ae01f7ee0d46a4b8c500f7d319d1f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.649901
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size935
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3150
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/233708-1168327477/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.49	     nbVariables=225  nbDomainTypes=225  minDomainSize=837  maxDomainSize=935
0.49	       =>  wckTime=0.169  cpuTime=0.13  mem=12M755
0.49	   
0.49	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
203.87	   
203.87	   INFO : Stopping converting binary constraints (cpu=200.01, mem = 242M912)
204.16	     nbConstraints=3150  nbConvertedConstraints=973  nbConvertConstraintsChecks=766462639  nbExtensionStructures=973
204.16	     nbSharedExtensionStructures=0  nbConflictsStructures=973  nbSharedConflictsStructures=0
204.16	     nbSharedBinaryRepresentations=528631  nbEvaluationManagers=2177  nbSharedEvaluationManagers=0  maxDegree=28
204.16	     maxArity=2
204.16	       =>  wckTime=203.839  cpuTime=200.24  mem=259M106
204.86	   
204.86	   solver IterativeSystematicSolver being built... 
205.10	       =>  wckTime=204.784  cpuTime=200.45  mem=266M115
241.41	   
241.41	   preprocessing
241.41	     nbConstraintChecks=95391947  nbValidityChecks=36102489  nbPropagations=4170  nbRevisions=65446
241.41	     nbUselessRevisions=61650  nbSingletonTests=227  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0
241.41	     detectedInconsistency=no
241.41	       =>  wckTime=36.295  cpuTime=36.16  mem=266M115
253.84	   
253.84	   search
253.84	     run=0  nbConstraintChecks=31232287  nbValidityChecks=20441579  nbPropagations=6793  nbRevisions=107419
253.84	     nbUselessRevisions=99686  nbAssignments=160  nbFailedAssignments=26  nbBacktracks=10  nbVisitedNodes=197
253.84	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
253.84	       =>  wckTime=48.722  cpuTime=48.55  mem=269M165
314.41	   
314.41	   search
314.41	     run=1  nbConstraintChecks=124111180  nbValidityChecks=606708833  nbPropagations=80760  nbRevisions=1310233
314.41	     nbUselessRevisions=1223122  nbAssignments=4141  nbFailedAssignments=369  nbBacktracks=25  nbVisitedNodes=974
314.41	     nbRestartNogoods=25  mapSize=25  nbInferences=0  nbTooLargeKeys=0
314.41	       =>  wckTime=109.293  cpuTime=108.95  mem=250M176
326.37	   
326.37	   search
326.37	     run=2  nbConstraintChecks=156754242  nbValidityChecks=631885763  nbPropagations=158644  nbRevisions=2568765
326.37	     nbUselessRevisions=2396708  nbAssignments=4477  nbFailedAssignments=478  nbBacktracks=27  nbVisitedNodes=1421
326.37	     nbRestartNogoods=40  mapSize=27  nbInferences=0  nbTooLargeKeys=0
326.37	       =>  wckTime=121.251  cpuTime=120.9  mem=252M807
326.37	   
326.37	   global
326.37	     nbConstraintChecks=252146189  nbValidityChecks=667988252  nbPropagations=162814  nbRevisions=2634211
326.37	     nbUselessRevisions=2458358  nbRestartNogoods=40  solvingWckTime=121.252  solvingCpuTime=120.9  expiredTime=no
326.37	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=321.41
326.37	       =>  wckTime=326.047  cpuTime=321.36  mem=252M807
326.37	   
326.37	s SATISFIABLE
326.37	v 126 863 355 0 676 403 416 556 193 274 772 688 478 429 47 617 455 263 696 81 331 395 0 836 657 771 566 740 511 176 838 527 455 176 805 436 881 466 245 554 698 331 657 614 0 456 140 408 587 563 850 0 734 774 648 180 216 365 564 297 617 676 290 215 837 725 447 823 764 556 122 0 416 900 317 900 726 0 196 815 381 182 623 330 463 534 233 666 104 373 476 378 791 726 848 692 261 166 0 74 534 337 436 365 624 228 724 378 308 463 827 0 556 89 155 786 528 654 838 624 288 245 384 0 175 402 869 608 456 800 433 97 733 625 527 548 0 194 383 351 89 648 758 587 144 692 850 460 498 267 478 47 228 774 297 384 0 517 703 160 907 563 821 74 403 488 142 843 263 233 0 395 608 791 195 355 666 836 890 726 267 604 703 333 902 39 896 196 449 0 517 787 308 351 81 456 478 648 74 288 142 375 556 842 703 747 0 196 160 787 337 304 727 97 545 60 648 455 257 836 170 703 0 746 416 
326.37	d NODES 4477
326.37	d CHECKS 252146189
326.37	   
326.37	   totalWckTime=326.128  totalCpuTime=321.41

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node22/watcher-233708-1168327477 -o ROOT/results/node22/solver-233708-1168327477 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/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: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=18540 CPUtime=0
/proc/29899/stat : 29899 (runsolver) R 29897 29899 29722 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 181142147 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/29899/statm: 4635 279 244 17 0 2626 0

[startup+0.102115 s]
/proc/loadavg: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=913068 CPUtime=0.08
/proc/29899/stat : 29899 (java) S 29897 29899 29722 0 -1 0 2888 0 1 0 6 2 0 0 17 0 8 0 181142147 934981632 2634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228267 2634 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510176 s]
/proc/loadavg: 2.74 2.34 2.05 2/87 29900
/proc/meminfo: memFree=1021848/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915328 CPUtime=0.49
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 7495 0 1 0 44 5 0 0 18 0 8 0 181142147 937295872 7234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228832 7234 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3313 s]
/proc/loadavg: 2.76 2.35 2.06 3/94 29907
/proc/meminfo: memFree=981088/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=1.3
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 12641 0 1 0 122 8 0 0 25 0 8 0 181142147 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 12379 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181142151 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.97855 s]
/proc/loadavg: 2.76 2.35 2.06 3/94 29907
/proc/meminfo: memFree=979168/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=2.94
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 13295 0 1 0 286 8 0 0 25 0 8 0 181142147 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 13032 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181142151 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 13032 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.26706 s]
/proc/loadavg: 2.70 2.34 2.06 3/94 29907
/proc/meminfo: memFree=973856/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=6.22
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 14560 0 1 0 613 9 0 0 25 0 8 0 181142147 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 14297 2167 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181142151 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181142152 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181142152 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 14297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915632

[startup+12.7521 s]
/proc/loadavg: 2.64 2.33 2.06 4/94 29907
/proc/meminfo: memFree=946016/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=12.66
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 21290 0 1 0 1255 11 0 0 25 0 8 0 181142147 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 21026 2178 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.13
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 4694 0 0 0 12 1 0 0 16 0 8 0 181142151 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.16
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 21026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915632

[startup+25.612 s]
/proc/loadavg: 2.54 2.32 2.06 3/94 29907
/proc/meminfo: memFree=946016/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=25.47
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 21301 0 1 0 2535 12 0 0 25 0 8 0 181142147 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 21037 2178 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.13
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 4694 0 0 0 12 1 0 0 16 0 8 0 181142151 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.17
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 423 0 0 0 17 0 0 0 17 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 21037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915632

[startup+51.228 s]
/proc/loadavg: 2.33 2.29 2.05 3/94 29907
/proc/meminfo: memFree=910432/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=50.96
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 30186 0 1 0 5077 19 0 0 25 0 8 0 181142147 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 29920 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.43
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 13568 0 0 0 36 7 0 0 16 0 8 0 181142151 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.18
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 29920 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915632

[startup+102.459 s]
/proc/loadavg: 2.14 2.24 2.05 3/94 29907
/proc/meminfo: memFree=868256/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=101.95
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 40706 0 1 0 10170 25 0 0 25 0 8 0 181142147 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 40439 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=0.87
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 24086 0 0 0 75 12 0 0 16 0 8 0 181142151 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.18
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 430 0 0 0 18 0 0 0 16 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 40439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915632

[startup+162.538 s]
/proc/loadavg: 2.08 2.21 2.05 3/94 29907
/proc/meminfo: memFree=787744/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=161.75
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 60799 0 1 0 16140 35 0 0 25 0 8 0 181142147 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29899/statm: 228908 60528 2179 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=1.7
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 44170 0 0 0 150 20 0 0 16 0 8 0 181142151 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.19
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 435 0 0 0 19 0 0 0 17 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 60528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915632

[startup+222.632 s]
/proc/loadavg: 2.03 2.17 2.04 3/95 29971
/proc/meminfo: memFree=754968/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=221.57
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 77119 0 1 0 22111 46 0 0 25 0 8 0 181142147 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29899/statm: 228908 76836 2545 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=3.12
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 59992 0 0 0 285 27 0 0 16 0 8 0 181142151 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.3
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 491 0 0 0 29 1 0 0 15 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 915632

[startup+282.662 s]
/proc/loadavg: 2.13 2.17 2.05 3/101 30052
/proc/meminfo: memFree=498800/2055920 swapFree=4157544/4192956
[pid=29899] ppid=29897 vsize=915632 CPUtime=281.52
/proc/29899/stat : 29899 (java) R 29897 29899 29722 0 -1 0 77157 0 1 0 28103 49 0 0 25 0 8 0 181142147 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074022101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29899/statm: 228908 76861 2548 14 0 215378 0
[pid=29899/tid=29901] ppid=29897 vsize=915632 CPUtime=3.12
/proc/29899/task/29901/stat : 29901 (java) S 29897 29899 29722 0 -1 64 59992 0 0 0 285 27 0 0 16 0 8 0 181142151 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29899/tid=29902] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29902/stat : 29902 (java) S 29897 29899 29722 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29903] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29903/stat : 29903 (java) S 29897 29899 29722 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181142152 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29904] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29904/stat : 29904 (java) S 29897 29899 29722 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29905] ppid=29897 vsize=915632 CPUtime=0.35
/proc/29899/task/29905/stat : 29905 (java) S 29897 29899 29722 0 -1 64 517 0 0 0 34 1 0 0 16 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29899/tid=29906] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29906/stat : 29906 (java) S 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29899/tid=29907] ppid=29897 vsize=915632 CPUtime=0
/proc/29899/task/29907/stat : 29907 (java) R 29897 29899 29722 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181142155 937607168 76861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.52
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 326.438
CPU time (s): 325.235
CPU user time (s): 324.677
CPU system time (s): 0.557915
CPU usage (%): 99.6312
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.677
system time used= 0.557915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79400
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= 8156
involuntary context switches= 13348

runsolver used 0.350946 s user time and 1.10183 s system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue Jan  9 07:24:37 UTC 2007


IDJOB= 233708
IDBENCH= 6628
FILE ID= node22/233708-1168327477

PBS_JOBID= 3503019

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-100-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-233708-1168327477 -o ROOT/results/node22/solver-233708-1168327477 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233708-1168327477/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bf3ae01f7ee0d46a4b8c500f7d319d1f

RANDOM SEED= 743832421

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.279
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.279
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:       1022328 kB
Buffers:         11716 kB
Cached:         895168 kB
SwapCached:      11252 kB
Active:         428472 kB
Inactive:       551980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1022328 kB
SwapTotal:     4192956 kB
SwapFree:      4157544 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:          92344 kB
Slab:            37948 kB
Committed_AS:  3484516 kB
PageTables:       2320 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 node22 on Tue Jan  9 07:30:04 UTC 2007