Trace number 282998

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
AbsconMax 109 PFCOPTIMUM 87.2847 88.0964

General information on the benchmark

Namecoloring/
geom-30a-3-ext.xml
MD5SUM988fc81fbaf808399fb7936f353f616c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints70
Best CPU time to get the best result obtained on this benchmark0.364943
SatisfiableNO
(Un)Satisfiability was proved
Number of variables30
Number of constraints81
Maximum constraint arity2
Maximum domain size3
Number of constraints which are defined in extension81
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/282998-1169325048/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=30  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.42	   
0.42	   constraints being loaded...
0.47	     nbConstraints=81  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=80
0.47	     nbConflictsStructures=1  nbSharedConflictsStructures=80  nbSharedBinaryRepresentations=3  maxDegree=10  maxArity=2
0.47	       =>  wckTime=0.151  cpuTime=0.11  mem=7M885
0.50	   
0.50	   solver LocalSearchSolver being built... 
0.55	       =>  wckTime=0.235  cpuTime=0.15  mem=5M399
0.55	
0.55	s SATISFIABLE
0.55	o 55
0.55	c 26
0.55	o 58
0.55	c 23
0.55	o 61
0.55	c 20
0.55	o 64
0.55	c 17
0.55	o 65
0.55	c 16
0.55	o 67
0.55	c 14
0.56	o 68
0.56	c 13
0.57	o 69
0.57	c 12
0.60	o 70
0.60	c 11
1.44	   
1.44	   search
1.44	     run=0  nbConstraintChecks=1670142  nbAssignments=10000
1.44	       =>  wckTime=0.893  cpuTime=0.87  mem=5M399
2.23	   
2.23	   search
2.23	     run=1  nbConstraintChecks=3336358  nbAssignments=20000
2.23	       =>  wckTime=1.685  cpuTime=1.66  mem=5M399
3.02	   
3.02	   search
3.02	     run=2  nbConstraintChecks=5006237  nbAssignments=30000
3.02	       =>  wckTime=2.47  cpuTime=2.43  mem=5M399
3.81	   
3.81	   search
3.81	     run=3  nbConstraintChecks=6699018  nbAssignments=40000
3.81	       =>  wckTime=3.262  cpuTime=3.21  mem=5M399
4.60	   
4.60	   search
4.60	     run=4  nbConstraintChecks=8368565  nbAssignments=50000
4.60	       =>  wckTime=4.053  cpuTime=4.0  mem=5M399
5.38	   
5.38	   search
5.38	     run=5  nbConstraintChecks=10053610  nbAssignments=60000
5.38	       =>  wckTime=4.836  cpuTime=4.79  mem=5M399
6.17	   
6.17	   search
6.17	     run=6  nbConstraintChecks=11721589  nbAssignments=70000
6.17	       =>  wckTime=5.627  cpuTime=5.57  mem=5M399
6.97	   
6.97	   search
6.97	     run=7  nbConstraintChecks=13385166  nbAssignments=80000
6.97	       =>  wckTime=6.418  cpuTime=6.34  mem=5M399
7.75	   
7.75	   search
7.75	     run=8  nbConstraintChecks=15048316  nbAssignments=90000
7.75	       =>  wckTime=7.199  cpuTime=7.12  mem=5M399
8.54	   
8.54	   search
8.54	     run=9  nbConstraintChecks=16718376  nbAssignments=100000
8.54	       =>  wckTime=7.99  cpuTime=7.91  mem=5M399
9.33	   
9.33	   search
9.33	     run=10  nbConstraintChecks=18386667  nbAssignments=110000
9.33	       =>  wckTime=8.781  cpuTime=8.68  mem=5M399
10.12	   
10.12	   search
10.12	     run=11  nbConstraintChecks=20061441  nbAssignments=120000
10.12	       =>  wckTime=9.569  cpuTime=9.47  mem=5M399
10.90	   
10.90	   search
10.90	     run=12  nbConstraintChecks=21722266  nbAssignments=130000
10.90	       =>  wckTime=10.355  cpuTime=10.25  mem=5M399
11.70	   
11.70	   search
11.70	     run=13  nbConstraintChecks=23410130  nbAssignments=140000
11.70	       =>  wckTime=11.15  cpuTime=11.04  mem=5M399
12.49	   
12.49	   search
12.49	     run=14  nbConstraintChecks=25070247  nbAssignments=150000
12.49	       =>  wckTime=11.947  cpuTime=11.82  mem=5M399
13.28	   
13.28	   search
13.28	     run=15  nbConstraintChecks=26751940  nbAssignments=160000
13.28	       =>  wckTime=12.737  cpuTime=12.61  mem=5M399
14.08	   
14.08	   search
14.08	     run=16  nbConstraintChecks=28419775  nbAssignments=170000
14.08	       =>  wckTime=13.535  cpuTime=13.4  mem=5M399
14.88	   
14.88	   search
14.88	     run=17  nbConstraintChecks=30072778  nbAssignments=180000
14.88	       =>  wckTime=14.331  cpuTime=14.18  mem=5M399
15.67	   
15.67	   search
15.67	     run=18  nbConstraintChecks=31737846  nbAssignments=190000
15.67	       =>  wckTime=15.119  cpuTime=14.97  mem=5M399
16.46	   
16.46	   search
16.46	     run=19  nbConstraintChecks=33397236  nbAssignments=200000
16.46	       =>  wckTime=15.915  cpuTime=15.76  mem=5M399
17.26	   
17.26	   search
17.26	     run=20  nbConstraintChecks=35064311  nbAssignments=210000
17.26	       =>  wckTime=16.714  cpuTime=16.55  mem=5M399
18.06	   
18.06	   search
18.06	     run=21  nbConstraintChecks=36735771  nbAssignments=220000
18.06	       =>  wckTime=17.508  cpuTime=17.34  mem=5M399
18.85	   
18.85	   search
18.85	     run=22  nbConstraintChecks=38393162  nbAssignments=230000
18.85	       =>  wckTime=18.3  cpuTime=18.13  mem=5M399
19.64	   
19.64	   search
19.64	     run=23  nbConstraintChecks=40055841  nbAssignments=240000
19.64	       =>  wckTime=19.096  cpuTime=18.91  mem=5M399
20.44	   
20.44	   search
20.44	     run=24  nbConstraintChecks=41711450  nbAssignments=250000
20.44	       =>  wckTime=19.894  cpuTime=19.7  mem=5M399
21.23	   
21.23	   search
21.23	     run=25  nbConstraintChecks=43386786  nbAssignments=260000
21.23	       =>  wckTime=20.684  cpuTime=20.49  mem=5M399
22.03	   
22.03	   search
22.03	     run=26  nbConstraintChecks=45053980  nbAssignments=270000
22.03	       =>  wckTime=21.481  cpuTime=21.28  mem=5M399
22.82	   
22.82	   search
22.82	     run=27  nbConstraintChecks=46737546  nbAssignments=280000
22.82	       =>  wckTime=22.275  cpuTime=22.06  mem=5M399
23.61	   
23.61	   search
23.61	     run=28  nbConstraintChecks=48399428  nbAssignments=290000
23.61	       =>  wckTime=23.062  cpuTime=22.85  mem=5M399
24.40	   
24.40	   search
24.40	     run=29  nbConstraintChecks=50067724  nbAssignments=300000
24.40	       =>  wckTime=23.85  cpuTime=23.63  mem=5M399
25.19	   
25.19	   search
25.19	     run=30  nbConstraintChecks=51725642  nbAssignments=310000
25.19	       =>  wckTime=24.641  cpuTime=24.41  mem=5M399
25.98	   
25.98	   search
25.98	     run=31  nbConstraintChecks=53401615  nbAssignments=320000
25.98	       =>  wckTime=25.431  cpuTime=25.19  mem=5M399
26.77	   
26.77	   search
26.77	     run=32  nbConstraintChecks=55062442  nbAssignments=330000
26.77	       =>  wckTime=26.219  cpuTime=25.97  mem=5M399
27.56	   
27.56	   search
27.56	     run=33  nbConstraintChecks=56751643  nbAssignments=340000
27.56	       =>  wckTime=27.014  cpuTime=26.76  mem=5M399
28.35	   
28.35	   search
28.35	     run=34  nbConstraintChecks=58415360  nbAssignments=350000
28.35	       =>  wckTime=27.806  cpuTime=27.55  mem=5M399
29.14	   
29.14	   search
29.14	     run=35  nbConstraintChecks=60078521  nbAssignments=360000
29.14	       =>  wckTime=28.588  cpuTime=28.32  mem=5M399
29.93	   
29.93	   search
29.93	     run=36  nbConstraintChecks=61734545  nbAssignments=370000
29.93	       =>  wckTime=29.381  cpuTime=29.11  mem=5M399
30.72	   
30.72	   search
30.72	     run=37  nbConstraintChecks=63402897  nbAssignments=380000
30.72	       =>  wckTime=30.175  cpuTime=29.9  mem=5M399
30.89	   
30.89	   search
30.89	     run=38  nbConstraintChecks=63743648  nbAssignments=382104
30.89	       =>  wckTime=30.34  cpuTime=30.06  mem=5M399
30.89	   
30.89	   global
30.89	     nbConstraintChecks=63743648  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.89	     solvingWckTime=30.337  solvingCpuTime=30.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.89	     globalCpuTime=30.27
30.89	       =>  wckTime=30.574  cpuTime=30.21  mem=5M399
30.89	   
30.89	   solver IterativeSystematicSolver being built... 
31.02	       =>  wckTime=30.707  cpuTime=30.32  mem=16M438
31.03	   
31.03	   preprocessing
31.03	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.03	     detectedInconsistency=no
31.03	       =>  wckTime=0.0020  cpuTime=0.0  mem=16M438
31.06	   
31.06	   search
31.06	     run=0  nbConstraintChecks=6919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37
31.06	     nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=56  nbRestartNogoods=0
31.06	       =>  wckTime=0.036  cpuTime=0.02  mem=16M438
31.09	   
31.09	   search
31.09	     run=1  nbConstraintChecks=20989  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=96
31.09	     nbFailedAssignments=35  nbBacktracks=26  nbVisitedNodes=158  nbRestartNogoods=3
31.09	       =>  wckTime=0.068  cpuTime=0.04  mem=16M438
31.11	   
31.11	   search
31.11	     run=2  nbConstraintChecks=35360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=159
31.11	     nbFailedAssignments=59  nbBacktracks=48  nbVisitedNodes=267  nbRestartNogoods=5
31.11	       =>  wckTime=0.082  cpuTime=0.05  mem=16M438
31.12	   
31.12	   search
31.12	     run=3  nbConstraintChecks=53088  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=233
31.12	     nbFailedAssignments=81  nbBacktracks=83  nbVisitedNodes=398  nbRestartNogoods=8
31.12	       =>  wckTime=0.095  cpuTime=0.07  mem=16M438
31.15	   
31.15	   search
31.15	     run=4  nbConstraintChecks=87899  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=367
31.15	     nbFailedAssignments=149  nbBacktracks=133  nbVisitedNodes=650  nbRestartNogoods=10
31.15	       =>  wckTime=0.122  cpuTime=0.09  mem=16M438
31.17	   
31.17	   search
31.17	     run=5  nbConstraintChecks=138383  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=544
31.17	     nbFailedAssignments=234  nbBacktracks=208  nbVisitedNodes=987  nbRestartNogoods=13
31.17	       =>  wckTime=0.149  cpuTime=0.11  mem=16M438
31.20	   
31.20	   search
31.20	     run=6  nbConstraintChecks=198989  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=776
31.20	     nbFailedAssignments=336  nbBacktracks=321  nbVisitedNodes=1434  nbRestartNogoods=20
31.20	       =>  wckTime=0.181  cpuTime=0.14  mem=16M438
31.25	   
31.25	   search
31.25	     run=7  nbConstraintChecks=290660  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1123
31.25	     nbFailedAssignments=496  nbBacktracks=491  nbVisitedNodes=2111  nbRestartNogoods=24
31.25	       =>  wckTime=0.228  cpuTime=0.19  mem=16M438
31.34	   
31.34	   search
31.34	     run=8  nbConstraintChecks=444955  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1656
31.34	     nbFailedAssignments=756  nbBacktracks=747  nbVisitedNodes=3160  nbRestartNogoods=30
31.34	       =>  wckTime=0.318  cpuTime=0.26  mem=16M438
31.46	   
31.46	   search
31.46	     run=9  nbConstraintChecks=672259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2497
31.46	     nbFailedAssignments=1200  nbBacktracks=1131  nbVisitedNodes=4829  nbRestartNogoods=35
31.46	       =>  wckTime=0.433  cpuTime=0.37  mem=16M438
31.62	   
31.62	   search
31.62	     run=10  nbConstraintChecks=993703  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3677
31.62	     nbFailedAssignments=1790  nbBacktracks=1707  nbVisitedNodes=7175  nbRestartNogoods=41
31.62	       =>  wckTime=0.592  cpuTime=0.52  mem=16M438
31.85	   
31.85	   search
31.85	     run=11  nbConstraintChecks=1501601  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5477
31.85	     nbFailedAssignments=2713  nbBacktracks=2571  nbVisitedNodes=10761  nbRestartNogoods=46
31.85	       =>  wckTime=0.823  cpuTime=0.74  mem=16M438
32.20	   
32.20	   search
32.20	     run=12  nbConstraintChecks=2261995  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8135
32.20	     nbFailedAssignments=4062  nbBacktracks=3868  nbVisitedNodes=16036  nbRestartNogoods=54
32.20	       =>  wckTime=1.172  cpuTime=1.09  mem=16M438
32.74	   
32.74	   search
32.74	     run=13  nbConstraintChecks=3430718  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12131
32.74	     nbFailedAssignments=6098  nbBacktracks=5814  nbVisitedNodes=23909  nbRestartNogoods=63
32.74	       =>  wckTime=1.717  cpuTime=1.63  mem=16M438
33.49	   
33.49	   search
33.49	     run=14  nbConstraintChecks=5083004  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17806
33.49	     nbFailedAssignments=8842  nbBacktracks=8733  nbVisitedNodes=34886  nbRestartNogoods=73
33.49	       =>  wckTime=2.466  cpuTime=2.38  mem=16M438
34.50	   
34.50	   search
34.50	     run=15  nbConstraintChecks=7358265  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25718
34.50	     nbFailedAssignments=12369  nbBacktracks=13112  nbVisitedNodes=49851  nbRestartNogoods=79
34.50	       =>  wckTime=3.477  cpuTime=3.38  mem=16M438
35.81	   
35.81	   search
35.81	     run=16  nbConstraintChecks=10247450  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36517
35.81	     nbFailedAssignments=16584  nbBacktracks=19682  nbVisitedNodes=70310  nbRestartNogoods=82
35.81	       =>  wckTime=4.783  cpuTime=4.67  mem=16M438
37.76	   
37.76	   search
37.76	     run=17  nbConstraintChecks=14451060  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53476
37.76	     nbFailedAssignments=23681  nbBacktracks=29534  nbVisitedNodes=100427  nbRestartNogoods=92
37.76	       =>  wckTime=6.734  cpuTime=6.6  mem=16M438
40.79	   
40.79	   search
40.79	     run=18  nbConstraintChecks=20420060  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76836
40.79	     nbFailedAssignments=32249  nbBacktracks=44315  nbVisitedNodes=142680  nbRestartNogoods=101
40.79	       =>  wckTime=9.763  cpuTime=9.6  mem=16M438
45.05	   
45.05	   search
45.05	     run=19  nbConstraintChecks=28949673  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=112515
45.05	     nbFailedAssignments=45749  nbBacktracks=66485  nbVisitedNodes=205261  nbRestartNogoods=111
45.05	       =>  wckTime=14.03  cpuTime=13.83  mem=16M438
51.88	   
51.88	   search
51.88	     run=20  nbConstraintChecks=42407588  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=165110
51.88	     nbFailedAssignments=65078  nbBacktracks=99738  nbVisitedNodes=300373  nbRestartNogoods=120
51.88	       =>  wckTime=20.858  cpuTime=20.6  mem=16M438
61.75	   
61.75	   search
61.75	     run=21  nbConstraintChecks=60893235  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=245353
61.75	     nbFailedAssignments=95433  nbBacktracks=149617  nbVisitedNodes=442466  nbRestartNogoods=134
61.75	       =>  wckTime=30.731  cpuTime=30.39  mem=16M438
76.20	   
76.20	   search
76.20	     run=22  nbConstraintChecks=86838489  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=363441
76.20	     nbFailedAssignments=138694  nbBacktracks=224437  nbVisitedNodes=650531  nbRestartNogoods=141
76.20	       =>  wckTime=45.173  cpuTime=44.71  mem=16M438
88.04	   
88.04	   search
88.04	     run=23  nbConstraintChecks=107623425  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=458367
88.04	     nbFailedAssignments=173299  nbBacktracks=284759  nbVisitedNodes=817460  nbRestartNogoods=148
88.04	       =>  wckTime=57.013  cpuTime=56.45  mem=16M438
88.04	   
88.04	   global
88.04	     nbConstraintChecks=107623425  nbRestartNogoods=148  solvingWckTime=57.014  solvingCpuTime=56.45  expiredTime=no
88.04	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=86.83
88.04	       =>  wckTime=87.722  cpuTime=86.77  mem=16M438
88.04	
88.04	s OPTIMUM FOUND
88.04	v 1 2 2 0 0 0 1 2 0 2 2 0 2 1 1 2 1 1 2 1 1 1 0 0 0 2 0 0 1 0 
88.04	   
88.04	   totalWckTime=87.804  totalCpuTime=86.84

Verifier Data (download as text)

11 unsatisfied constraints, 70 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-282998-1169325048 -o ROOT/results/node19/solver-282998-1169325048 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=18540 CPUtime=0
/proc/30618/stat : 30618 (runsolver) R 30616 30618 29912 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280899471 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30618/statm: 4635 279 244 17 0 2626 0

[startup+0.107793 s]
/proc/loadavg: 1.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=914988 CPUtime=0.09
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 280899471 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515868 s]
/proc/loadavg: 1.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=0.49
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6660 0 1 0 45 4 0 0 18 0 8 0 280899471 937299968 6398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154579536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6398 2286 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33702 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=1.3
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6879 0 1 0 89 41 0 0 25 0 8 0 280899471 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6617 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 314 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 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) 915332

[startup+2.98133 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=2.93
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6882 0 1 0 172 121 0 0 25 0 8 0 280899471 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6619 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915332

[startup+6.27095 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1080960/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=6.2
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6882 0 1 0 333 287 0 0 25 0 8 0 280899471 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6619 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915332

[startup+12.7492 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915336 CPUtime=12.61
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6883 0 1 0 656 605 0 0 25 0 8 0 280899471 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228834 6620 2476 14 0 215304 0
[pid=30618/tid=30620] ppid=30616 vsize=915336 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915336 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915336

[startup+25.6086 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081088/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=25.37
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6883 0 1 0 1287 1250 0 0 25 0 8 0 280899471 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7695666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6620 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915332

[startup+51.2144 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1072896/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=50.75
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 9001 0 1 0 3554 1521 0 0 25 0 8 0 280899471 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 8735 2527 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 371 0 0 0 19 1 0 0 16 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915332

Child status: 0
Real time (s): 88.0964
CPU time (s): 87.2847
CPU user time (s): 72.061
CPU system time (s): 15.2237
CPU usage (%): 99.0787
Max. virtual memory (cumulated for all children) (KiB): 915336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.061
system time used= 15.2237
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9106
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= 2781
involuntary context switches= 5028

runsolver used 0.119981 s user time and 0.285956 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan 20 20:30:48 UTC 2007


IDJOB= 282998
IDBENCH= 12975
IDSOLVER= 69
FILE ID= node19/282998-1169325048

PBS_JOBID= 3610082

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-30a-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-282998-1169325048 -o ROOT/results/node19/solver-282998-1169325048 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  988fc81fbaf808399fb7936f353f616c

RANDOM SEED= 295117179

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.260
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.260
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:       1098392 kB
Buffers:         65496 kB
Cached:         717928 kB
SwapCached:      11088 kB
Active:         412412 kB
Inactive:       463192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1098392 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            1892 kB
Writeback:           0 kB
Mapped:         102156 kB
Slab:            66460 kB
Committed_AS:  8535816 kB
PageTables:       2492 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= 66560 MiB



End job on node19 on Sat Jan 20 20:32:17 UTC 2007