Trace number 252979

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 ACUNSAT 149.97 150.142

DiagnosticValue
CHECKS267015113
NODES3740662

General information on the benchmark

Namecoloring/
myciel-5g-5-ext.xml
MD5SUM6350e3a68b258bb6cda8764f11403dc3
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.08
SatisfiableNO
(Un)Satisfiability was proved
Number of variables47
Number of constraints236
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension236
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/252979-1168087717/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=47  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.38	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.38	   
0.38	   relations being loaded...
0.38	   
0.38	   constraints being loaded...
0.45	     nbConstraints=236  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=235
0.45	     nbConflictsStructures=1  nbSharedConflictsStructures=235  nbSharedBinaryRepresentations=5  maxDegree=23  maxArity=2
0.45	       =>  wckTime=0.164  cpuTime=0.14  mem=8M918
0.48	   
0.49	   solver IterativeSystematicSolver being built... 
0.64	       =>  wckTime=0.351  cpuTime=0.27  mem=13M385
0.64	   
0.64	   preprocessing
0.64	     nbConstraintChecks=0  nbPropagations=47  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.64	     detectedInconsistency=no
0.64	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M385
0.68	   
0.68	   search
0.68	     run=0  nbConstraintChecks=1494  nbPropagations=282  nbRevisions=544  nbUselessRevisions=266  nbAssignments=26
0.68	     nbFailedAssignments=4  nbBacktracks=12  nbVisitedNodes=38  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.68	     nbTooLargeKeys=0
0.68	       =>  wckTime=0.036  cpuTime=0.02  mem=14M360
0.69	   
0.69	   search
0.69	     run=1  nbConstraintChecks=3812  nbPropagations=884  nbRevisions=2009  nbUselessRevisions=994  nbAssignments=56
0.69	     nbFailedAssignments=11  nbBacktracks=27  nbVisitedNodes=84  nbRestartNogoods=1  mapSize=24  nbInferences=0
0.69	     nbTooLargeKeys=0
0.69	       =>  wckTime=0.053  cpuTime=0.03  mem=14M360
0.70	   
0.70	   search
0.70	     run=2  nbConstraintChecks=6566  nbPropagations=1886  nbRevisions=4595  nbUselessRevisions=2269  nbAssignments=102
0.71	     nbFailedAssignments=24  nbBacktracks=51  nbVisitedNodes=154  nbRestartNogoods=2  mapSize=45  nbInferences=0
0.71	     nbTooLargeKeys=0
0.71	       =>  wckTime=0.064  cpuTime=0.04  mem=14M360
0.72	   
0.72	   search
0.72	     run=3  nbConstraintChecks=9840  nbPropagations=3356  nbRevisions=8547  nbUselessRevisions=4253  nbAssignments=158
0.72	     nbFailedAssignments=36  nbBacktracks=88  nbVisitedNodes=238  nbRestartNogoods=3  mapSize=69  nbInferences=0
0.72	     nbTooLargeKeys=0
0.72	       =>  wckTime=0.076  cpuTime=0.05  mem=14M360
0.73	   
0.73	   search
0.73	     run=4  nbConstraintChecks=15826  nbPropagations=5543  nbRevisions=15028  nbUselessRevisions=7654  nbAssignments=235
0.73	     nbFailedAssignments=52  nbBacktracks=139  nbVisitedNodes=354  nbRestartNogoods=4  mapSize=104  nbInferences=0
0.73	     nbTooLargeKeys=0
0.73	       =>  wckTime=0.086  cpuTime=0.06  mem=14M360
0.74	   
0.74	   search
0.74	     run=5  nbConstraintChecks=26730  nbPropagations=8956  nbRevisions=26010  nbUselessRevisions=13353
0.74	     nbAssignments=369  nbFailedAssignments=101  nbBacktracks=215  nbVisitedNodes=573  nbRestartNogoods=6  mapSize=162
0.74	     nbInferences=0  nbTooLargeKeys=0
0.74	       =>  wckTime=0.101  cpuTime=0.07  mem=14M360
0.76	   
0.76	   search
0.76	     run=6  nbConstraintChecks=43579  nbPropagations=14146  nbRevisions=44086  nbUselessRevisions=22937
0.76	     nbAssignments=561  nbFailedAssignments=167  nbBacktracks=329  nbVisitedNodes=884  nbRestartNogoods=7  mapSize=257
0.76	     nbInferences=0  nbTooLargeKeys=0
0.76	       =>  wckTime=0.12  cpuTime=0.09  mem=14M360
0.78	   
0.78	   search
0.78	     run=7  nbConstraintChecks=61040  nbPropagations=21450  nbRevisions=69808  nbUselessRevisions=36787
0.78	     nbAssignments=810  nbFailedAssignments=233  nbBacktracks=501  nbVisitedNodes=1270  nbRestartNogoods=12  mapSize=380
0.78	     nbInferences=0  nbTooLargeKeys=0
0.78	       =>  wckTime=0.139  cpuTime=0.1  mem=14M360
0.82	   
0.82	   search
0.82	     run=8  nbConstraintChecks=95311  nbPropagations=32509  nbRevisions=109870  nbUselessRevisions=57960
0.82	     nbAssignments=1216  nbFailedAssignments=370  nbBacktracks=757  nbVisitedNodes=1936  nbRestartNogoods=15
0.82	     mapSize=586  nbInferences=0  nbTooLargeKeys=0
0.82	       =>  wckTime=0.175  cpuTime=0.14  mem=14M360
0.87	   
0.87	   search
0.87	     run=9  nbConstraintChecks=137933  nbPropagations=47857  nbRevisions=168136  nbUselessRevisions=89607
0.87	     nbAssignments=1783  nbFailedAssignments=541  nbBacktracks=1146  nbVisitedNodes=2843  nbRestartNogoods=21
0.87	     mapSize=906  nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.227  cpuTime=0.17  mem=14M360
0.88	   
0.88	   INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M360)
0.92	   
0.92	   search
0.92	     run=10  nbConstraintChecks=205956  nbPropagations=70165  nbRevisions=255340  nbUselessRevisions=138174
0.92	     nbAssignments=2634  nbFailedAssignments=801  nbBacktracks=1723  nbVisitedNodes=4199  nbRestartNogoods=24
0.92	       =>  wckTime=0.28  cpuTime=0.21  mem=14M360
0.98	   
0.98	   search
0.98	     run=11  nbConstraintChecks=311956  nbPropagations=103934  nbRevisions=388263  nbUselessRevisions=212368
0.98	     nbAssignments=3896  nbFailedAssignments=1186  nbBacktracks=2588  nbVisitedNodes=6220  nbRestartNogoods=29
0.98	       =>  wckTime=0.34  cpuTime=0.27  mem=14M360
1.06	   
1.06	   search
1.06	     run=12  nbConstraintChecks=444685  nbPropagations=152875  nbRevisions=579780  nbUselessRevisions=320179
1.06	     nbAssignments=5794  nbFailedAssignments=1773  nbBacktracks=3886  nbVisitedNodes=9262  nbRestartNogoods=34
1.06	       =>  wckTime=0.42  cpuTime=0.35  mem=14M360
1.19	   
1.19	   search
1.19	     run=13  nbConstraintChecks=671352  nbPropagations=224989  nbRevisions=870697  nbUselessRevisions=486545
1.19	     nbAssignments=8776  nbFailedAssignments=2795  nbBacktracks=5833  nbVisitedNodes=14204  nbRestartNogoods=41
1.19	       =>  wckTime=0.546  cpuTime=0.48  mem=14M360
1.38	   
1.38	   search
1.38	     run=14  nbConstraintChecks=1016144  nbPropagations=333357  nbRevisions=1316914  nbUselessRevisions=744807
1.38	     nbAssignments=13051  nbFailedAssignments=4143  nbBacktracks=8753  nbVisitedNodes=21051  nbRestartNogoods=48
1.38	       =>  wckTime=0.739  cpuTime=0.67  mem=14M360
1.66	   
1.66	   search
1.66	     run=15  nbConstraintChecks=1527535  nbPropagations=495265  nbRevisions=1987363  nbUselessRevisions=1133113
1.66	     nbAssignments=19496  nbFailedAssignments=6198  nbBacktracks=13135  nbVisitedNodes=31565  nbRestartNogoods=52
1.66	       =>  wckTime=1.016  cpuTime=0.94  mem=14M360
2.05	   
2.05	   search
2.05	     run=16  nbConstraintChecks=2238618  nbPropagations=733815  nbRevisions=2970405  nbUselessRevisions=1700542
2.05	     nbAssignments=28900  nbFailedAssignments=9022  nbBacktracks=19704  nbVisitedNodes=46414  nbRestartNogoods=55
2.05	       =>  wckTime=1.407  cpuTime=1.34  mem=14M360
2.65	   
2.65	   search
2.65	     run=17  nbConstraintChecks=3366152  nbPropagations=1088983  nbRevisions=4448883  nbUselessRevisions=2557650
2.65	     nbAssignments=43184  nbFailedAssignments=13442  nbBacktracks=29557  nbVisitedNodes=69713  nbRestartNogoods=63
2.65	       =>  wckTime=2.012  cpuTime=1.94  mem=14M360
3.56	   
3.56	   search
3.56	     run=18  nbConstraintChecks=5021546  nbPropagations=1622485  nbRevisions=6655097  nbUselessRevisions=3832146
3.56	     nbAssignments=64780  nbFailedAssignments=20249  nbBacktracks=44335  nbVisitedNodes=104027  nbRestartNogoods=71
3.56	       =>  wckTime=2.918  cpuTime=2.85  mem=14M360
4.89	   
4.89	   search
4.89	     run=19  nbConstraintChecks=7476061  nbPropagations=2409192  nbRevisions=9947393  nbUselessRevisions=5743067
4.89	     nbAssignments=96942  nbFailedAssignments=30226  nbBacktracks=66506  nbVisitedNodes=156457  nbRestartNogoods=81
4.89	       =>  wckTime=4.252  cpuTime=4.17  mem=14M360
6.91	   
6.91	   search
6.91	     run=20  nbConstraintChecks=11139875  nbPropagations=3588253  nbRevisions=14863047  nbUselessRevisions=8598103
6.91	     nbAssignments=145562  nbFailedAssignments=45582  nbBacktracks=99758  nbVisitedNodes=233490  nbRestartNogoods=90
6.91	       =>  wckTime=6.27  cpuTime=6.19  mem=14M360
9.62	   
9.62	   search
9.62	     run=21  nbConstraintChecks=16069663  nbPropagations=5284416  nbRevisions=21969808  nbUselessRevisions=12749314
9.62	     nbAssignments=215509  nbFailedAssignments=65637  nbBacktracks=149636  nbVisitedNodes=344129  nbRestartNogoods=100
9.62	       =>  wckTime=8.976  cpuTime=8.89  mem=14M360
13.99	   
13.99	   search
13.99	     run=22  nbConstraintChecks=24043183  nbPropagations=7841909  nbRevisions=32623564  nbUselessRevisions=18978523
13.99	     nbAssignments=322558  nbFailedAssignments=97856  nbBacktracks=224455  nbVisitedNodes=511874  nbRestartNogoods=111
13.99	       =>  wckTime=13.349  cpuTime=13.27  mem=14M360
20.76	   
20.76	   search
20.76	     run=23  nbConstraintChecks=36494480  nbPropagations=11700928  nbRevisions=48858386  nbUselessRevisions=28520300
20.76	     nbAssignments=487005  nbFailedAssignments=150066  nbBacktracks=336682  nbVisitedNodes=775859  nbRestartNogoods=118
20.76	       =>  wckTime=20.117  cpuTime=20.04  mem=14M360
30.80	   
30.80	   search
30.80	     run=24  nbConstraintChecks=54519575  nbPropagations=17527835  nbRevisions=73141146  nbUselessRevisions=42761324
30.80	     nbAssignments=732702  nbFailedAssignments=227413  nbBacktracks=505023  nbVisitedNodes=1165344  nbRestartNogoods=126
30.80	       =>  wckTime=30.156  cpuTime=30.08  mem=14M360
45.48	   
45.48	   search
45.48	     run=25  nbConstraintChecks=81273056  nbPropagations=26117685  nbRevisions=109232229  nbUselessRevisions=63957456
45.48	     nbAssignments=1099262  nbFailedAssignments=341449  nbBacktracks=757534  nbVisitedNodes=1749513
45.48	     nbRestartNogoods=137
45.48	       =>  wckTime=44.838  cpuTime=44.73  mem=14M360
66.69	   
66.69	   search
66.69	     run=26  nbConstraintChecks=118961142  nbPropagations=38869903  nbRevisions=162041187  nbUselessRevisions=94913070
66.69	     nbAssignments=1639429  nbFailedAssignments=502838  nbBacktracks=1136302  nbVisitedNodes=2603350
66.69	     nbRestartNogoods=152
66.69	       =>  wckTime=66.053  cpuTime=65.93  mem=14M360
99.18	   
99.18	   search
99.18	     run=27  nbConstraintChecks=177187429  nbPropagations=57776383  nbRevisions=240797012  nbUselessRevisions=141115438
99.18	     nbAssignments=2460201  nbFailedAssignments=755441  nbBacktracks=1704455  nbVisitedNodes=3902090
99.18	     nbRestartNogoods=163
99.18	       =>  wckTime=98.537  cpuTime=98.37  mem=14M360
148.32	   
148.32	   search
148.32	     run=28  nbConstraintChecks=264077929  nbPropagations=86072520  nbRevisions=358308505  nbUselessRevisions=210124133
148.32	     nbAssignments=3690954  nbFailedAssignments=1133955  nbBacktracks=2556683  nbVisitedNodes=5844717
148.32	     nbRestartNogoods=183
148.32	       =>  wckTime=147.684  cpuTime=147.47  mem=14M360
150.11	   
150.11	   search
150.11	     run=29  nbConstraintChecks=267015113  nbPropagations=114729267  nbRevisions=477126599  nbUselessRevisions=279865938
150.11	     nbAssignments=3740662  nbFailedAssignments=1148040  nbBacktracks=2592307  nbVisitedNodes=5921183
150.11	     nbRestartNogoods=194
150.11	       =>  wckTime=149.465  cpuTime=149.25  mem=14M360
150.11	   
150.11	   global
150.11	     nbConstraintChecks=267015113  nbPropagations=114729314  nbRevisions=477126599  nbUselessRevisions=279865938
150.11	     nbRestartNogoods=194  solvingWckTime=149.466  solvingCpuTime=149.26  expiredTime=no  totalExploration=yes
150.11	     nbFoundSolutions=0  globalCpuTime=149.57
150.11	       =>  wckTime=149.819  cpuTime=149.53  mem=14M360
150.11	   
150.11	s UNSATISFIABLE
150.11	d NODES 3740662
150.11	d CHECKS 267015113
150.11	   
150.11	   totalWckTime=149.896  totalCpuTime=149.57

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node59/watcher-252979-1168087717 -o ROOT/results/node59/solver-252979-1168087717 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/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: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=1788 CPUtime=0
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 356 0 0 0 0 0 0 0 18 0 1 0 157169763 1830912 150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10109050 0 0 4096 0 0 0 0 17 0 0 0
/proc/26848/statm: 446 158 123 14 0 91 0

[startup+0.107499 s]
/proc/loadavg: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=914988 CPUtime=0.09
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 3117 0 1 0 8 1 0 0 24 0 8 0 157169763 936947712 2863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228747 2864 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515544 s]
/proc/loadavg: 1.92 1.98 1.80 4/80 26849
/proc/meminfo: memFree=1464032/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=0.5
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 6887 0 1 0 46 4 0 0 25 0 8 0 157169763 937435136 6625 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 6625 2371 14 0 215336 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915464

[startup+1.33664 s]
/proc/loadavg: 1.92 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1441000/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=1.31
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8470 0 1 0 126 5 0 0 25 0 8 0 157169763 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8208 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 361 0 0 0 15 1 0 0 15 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.97381 s]
/proc/loadavg: 1.93 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440872/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=2.95
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8480 0 1 0 290 5 0 0 25 0 8 0 157169763 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8217 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 361 0 0 0 15 1 0 0 15 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8217 18446744073709551615 134512640 134570532 4294956480 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.17617 s]
/proc/loadavg: 1.93 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=6.14
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8487 0 1 0 609 5 0 0 25 0 8 0 157169763 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8223 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915464

[startup+12.6429 s]
/proc/loadavg: 1.94 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=12.61
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8492 0 1 0 1256 5 0 0 25 0 8 0 157169763 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722151 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8228 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.80 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=25.47
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8497 0 1 0 2541 6 0 0 25 0 8 0 157169763 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8233 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464

[startup+51.2011 s]
/proc/loadavg: 1.96 1.98 1.81 3/87 26856
/proc/meminfo: memFree=1440944/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=51.13
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8502 0 1 0 5107 6 0 0 25 0 8 0 157169763 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8238 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 362 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915464

[startup+102.499 s]
/proc/loadavg: 1.98 1.98 1.82 3/87 26856
/proc/meminfo: memFree=1440880/2055920 swapFree=4192812/4192956
[pid=26848] ppid=26846 vsize=915464 CPUtime=102.38
/proc/26848/stat : 26848 (java) R 26846 26848 26560 0 -1 0 8508 0 1 0 10232 6 0 0 25 0 8 0 157169763 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26848/statm: 228866 8244 2513 14 0 215336 0
[pid=26848/tid=26850] ppid=26846 vsize=915464 CPUtime=0.02
/proc/26848/task/26850/stat : 26850 (java) S 26846 26848 26560 0 -1 64 146 0 0 0 2 0 0 0 16 0 8 0 157169766 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26851] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26851/stat : 26851 (java) S 26846 26848 26560 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157169767 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26852] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26852/stat : 26852 (java) S 26846 26848 26560 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157169767 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26853] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26853/stat : 26853 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26854] ppid=26846 vsize=915464 CPUtime=0.16
/proc/26848/task/26854/stat : 26854 (java) S 26846 26848 26560 0 -1 64 363 0 0 0 15 1 0 0 16 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26855] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26855/stat : 26855 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26848/tid=26856] ppid=26846 vsize=915464 CPUtime=0
/proc/26848/task/26856/stat : 26856 (java) S 26846 26848 26560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157169770 937435136 8244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 150.142
CPU time (s): 149.97
CPU user time (s): 149.879
CPU system time (s): 0.090986
CPU usage (%): 99.8854
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.879
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8604
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= 3994
involuntary context switches= 4923

runsolver used 0.185971 s user time and 0.399939 s system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Jan  6 12:48:38 UTC 2007


IDJOB= 252979
IDBENCH= 12974
FILE ID= node59/252979-1168087717

PBS_JOBID= 3476579

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-5-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-252979-1168087717 -o ROOT/results/node59/solver-252979-1168087717 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/252979-1168087717/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6350e3a68b258bb6cda8764f11403dc3

RANDOM SEED= 397266302

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.239
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.239
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:       1464448 kB
Buffers:         46768 kB
Cached:         424744 kB
SwapCached:          0 kB
Active:         102396 kB
Inactive:       414236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:          65336 kB
Slab:            60112 kB
Committed_AS:  3764504 kB
PageTables:       1964 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= 66548 MiB



End job on node59 on Sat Jan  6 12:51:09 UTC 2007