Trace number 277787

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 82.6334 83.0698

General information on the benchmark

NameMaxCSP/cnf/2-80-100-1000/
cnf-2-80-200-461241_ext.xml
MD5SUM5427dd1f7a236b3f3413b7e59a7c4ca0
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints189
Best CPU time to get the best result obtained on this benchmark0.267959
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints196
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension196
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277787-1169270625/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=80  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.101  cpuTime=0.09  mem=6M910
0.40	   
0.40	   relations being loaded...
0.40	   
0.40	   constraints being loaded...
0.46	     nbConstraints=196  nbRelationTypes=7  nbExtensionStructures=7  nbSharedExtensionStructures=189
0.47	     nbConflictsStructures=7  nbSharedConflictsStructures=189  nbSharedBinaryRepresentations=24  maxDegree=10
0.47	     maxArity=2
0.47	       =>  wckTime=0.168  cpuTime=0.14  mem=7M893
0.50	   
0.51	   solver LocalSearchSolver being built... 
0.54	       =>  wckTime=0.245  cpuTime=0.19  mem=5M475
0.54	
0.54	s SATISFIABLE
0.54	o 153
0.54	c 43
0.54	o 156
0.54	c 40
0.54	o 158
0.54	c 38
0.54	o 160
0.54	c 36
0.54	o 161
0.54	c 35
0.55	o 162
0.55	c 34
0.55	o 164
0.55	c 32
0.55	o 165
0.55	c 31
0.55	o 167
0.55	c 29
0.55	o 169
0.55	c 27
0.55	o 171
0.55	c 25
0.55	o 172
0.55	c 24
0.55	o 173
0.55	c 23
0.55	o 174
0.55	c 22
0.56	o 175
0.56	c 21
0.56	o 177
0.56	c 19
0.56	o 178
0.56	c 18
0.56	o 179
0.56	c 17
0.56	o 180
0.56	c 16
0.56	o 181
0.56	c 15
0.56	o 182
0.56	c 14
0.57	o 183
0.57	c 13
0.57	o 186
0.57	c 10
0.60	o 187
0.60	c 9
0.60	o 188
0.60	c 8
1.41	   
1.41	   search
1.41	     run=0  nbConstraintChecks=1568137  nbAssignments=10000
1.41	       =>  wckTime=0.868  cpuTime=0.84  mem=5M475
2.27	   
2.27	   search
2.27	     run=1  nbConstraintChecks=3383168  nbAssignments=20000
2.27	       =>  wckTime=1.727  cpuTime=1.7  mem=5M475
3.08	   
3.08	   search
3.08	     run=2  nbConstraintChecks=4970452  nbAssignments=30000
3.08	       =>  wckTime=2.539  cpuTime=2.5  mem=5M475
3.38	o 189
3.38	c 7
3.97	   
3.97	   search
3.97	     run=3  nbConstraintChecks=6738659  nbAssignments=40000
3.97	       =>  wckTime=3.432  cpuTime=3.38  mem=5M475
4.84	   
4.84	   search
4.84	     run=4  nbConstraintChecks=8329485  nbAssignments=50000
4.84	       =>  wckTime=4.303  cpuTime=4.26  mem=5M475
5.71	   
5.71	   search
5.71	     run=5  nbConstraintChecks=10156647  nbAssignments=60000
5.71	       =>  wckTime=5.175  cpuTime=5.13  mem=5M475
6.59	   
6.59	   search
6.59	     run=6  nbConstraintChecks=11756160  nbAssignments=70000
6.59	       =>  wckTime=6.05  cpuTime=5.99  mem=5M475
7.49	   
7.49	   search
7.49	     run=7  nbConstraintChecks=13487755  nbAssignments=80000
7.49	       =>  wckTime=6.954  cpuTime=6.9  mem=5M475
8.36	   
8.36	   search
8.36	     run=8  nbConstraintChecks=15026935  nbAssignments=90000
8.36	       =>  wckTime=7.821  cpuTime=7.76  mem=5M475
9.25	   
9.25	   search
9.25	     run=9  nbConstraintChecks=16699164  nbAssignments=100000
9.25	       =>  wckTime=8.71  cpuTime=8.65  mem=5M475
10.06	   
10.06	   search
10.06	     run=10  nbConstraintChecks=18245277  nbAssignments=110000
10.06	       =>  wckTime=9.523  cpuTime=9.46  mem=5M475
10.91	   
10.91	   search
10.91	     run=11  nbConstraintChecks=19957354  nbAssignments=120000
10.91	       =>  wckTime=10.367  cpuTime=10.3  mem=5M475
11.72	   
11.72	   search
11.72	     run=12  nbConstraintChecks=21456768  nbAssignments=130000
11.72	       =>  wckTime=11.181  cpuTime=11.1  mem=5M475
12.58	   
12.58	   search
12.58	     run=13  nbConstraintChecks=23220344  nbAssignments=140000
12.58	       =>  wckTime=12.039  cpuTime=11.96  mem=5M475
13.44	   
13.44	   search
13.44	     run=14  nbConstraintChecks=24778696  nbAssignments=150000
13.44	       =>  wckTime=12.899  cpuTime=12.82  mem=5M475
14.34	   
14.34	   search
14.34	     run=15  nbConstraintChecks=26557421  nbAssignments=160000
14.34	       =>  wckTime=13.805  cpuTime=13.72  mem=5M475
15.20	   
15.20	   search
15.20	     run=16  nbConstraintChecks=28110725  nbAssignments=170000
15.20	       =>  wckTime=14.662  cpuTime=14.57  mem=5M475
16.06	   
16.06	   search
16.06	     run=17  nbConstraintChecks=29883233  nbAssignments=180000
16.06	       =>  wckTime=15.521  cpuTime=15.42  mem=5M475
16.88	   
16.88	   search
16.88	     run=18  nbConstraintChecks=31474786  nbAssignments=190000
16.88	       =>  wckTime=16.341  cpuTime=16.24  mem=5M475
17.72	   
17.72	   search
17.72	     run=19  nbConstraintChecks=33143433  nbAssignments=200000
17.72	       =>  wckTime=17.184  cpuTime=17.08  mem=5M475
18.56	   
18.56	   search
18.56	     run=20  nbConstraintChecks=34686100  nbAssignments=210000
18.56	       =>  wckTime=18.02  cpuTime=17.89  mem=5M475
19.41	   
19.41	   search
19.41	     run=21  nbConstraintChecks=36411164  nbAssignments=220000
19.41	       =>  wckTime=18.87  cpuTime=18.73  mem=5M475
20.22	   
20.22	   search
20.22	     run=22  nbConstraintChecks=37982632  nbAssignments=230000
20.22	       =>  wckTime=19.686  cpuTime=19.54  mem=5M475
21.06	   
21.06	   search
21.06	     run=23  nbConstraintChecks=39661339  nbAssignments=240000
21.06	       =>  wckTime=20.52  cpuTime=20.37  mem=5M475
21.87	   
21.87	   search
21.87	     run=24  nbConstraintChecks=41224466  nbAssignments=250000
21.87	       =>  wckTime=21.331  cpuTime=21.18  mem=5M475
22.72	   
22.72	   search
22.72	     run=25  nbConstraintChecks=42975220  nbAssignments=260000
22.72	       =>  wckTime=22.179  cpuTime=22.03  mem=5M475
23.52	   
23.52	   search
23.52	     run=26  nbConstraintChecks=44491951  nbAssignments=270000
23.52	       =>  wckTime=22.977  cpuTime=22.82  mem=5M475
24.38	   
24.38	   search
24.38	     run=27  nbConstraintChecks=46322626  nbAssignments=280000
24.38	       =>  wckTime=23.842  cpuTime=23.68  mem=5M475
25.20	   
25.20	   search
25.20	     run=28  nbConstraintChecks=47914828  nbAssignments=290000
25.20	       =>  wckTime=24.664  cpuTime=24.5  mem=5M475
26.02	   
26.02	   search
26.02	     run=29  nbConstraintChecks=49502553  nbAssignments=300000
26.02	       =>  wckTime=25.484  cpuTime=25.32  mem=5M475
26.83	   
26.83	   search
26.83	     run=30  nbConstraintChecks=51061999  nbAssignments=310000
26.83	       =>  wckTime=26.29  cpuTime=26.12  mem=5M475
27.66	   
27.66	   search
27.66	     run=31  nbConstraintChecks=52748812  nbAssignments=320000
27.66	       =>  wckTime=27.125  cpuTime=26.95  mem=5M475
28.48	   
28.48	   search
28.48	     run=32  nbConstraintChecks=54327312  nbAssignments=330000
28.48	       =>  wckTime=27.94  cpuTime=27.76  mem=5M475
29.32	   
29.32	   search
29.32	     run=33  nbConstraintChecks=56039565  nbAssignments=340000
29.32	       =>  wckTime=28.777  cpuTime=28.6  mem=5M475
30.12	   
30.12	   search
30.12	     run=34  nbConstraintChecks=57570074  nbAssignments=350000
30.12	       =>  wckTime=29.582  cpuTime=29.4  mem=5M475
30.98	   
30.98	   search
30.98	     run=35  nbConstraintChecks=59366480  nbAssignments=360000
30.98	       =>  wckTime=30.444  cpuTime=30.26  mem=5M475
31.80	   
31.80	   search
31.80	     run=36  nbConstraintChecks=60934596  nbAssignments=370000
31.80	       =>  wckTime=31.263  cpuTime=31.07  mem=5M475
32.66	   
32.66	   search
32.66	     run=37  nbConstraintChecks=62709031  nbAssignments=380000
32.66	       =>  wckTime=32.119  cpuTime=31.92  mem=5M475
33.47	   
33.47	   search
33.48	     run=38  nbConstraintChecks=64257205  nbAssignments=390000
33.48	       =>  wckTime=32.936  cpuTime=32.74  mem=5M475
33.54	   
33.54	   search
33.54	     run=39  nbConstraintChecks=64385172  nbAssignments=390827
33.54	       =>  wckTime=33.004  cpuTime=32.81  mem=5M475
33.55	   
33.55	   global
33.55	     nbConstraintChecks=64385172  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.55	     solvingWckTime=33.003  solvingCpuTime=32.8  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.55	     globalCpuTime=33.04
33.55	       =>  wckTime=33.25  cpuTime=32.99  mem=5M475
33.55	   
33.55	   solver IterativeSystematicSolver being built... 
33.69	       =>  wckTime=33.39  cpuTime=33.1  mem=16M415
33.69	   
33.69	   preprocessing
33.69	     nbConstraintChecks=4  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
33.69	     detectedInconsistency=no
33.69	       =>  wckTime=0.0030  cpuTime=0.0  mem=16M415
33.74	   
33.74	   search
33.74	     run=0  nbConstraintChecks=13208  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=44
33.74	     nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=59  nbRestartNogoods=0
33.74	       =>  wckTime=0.057  cpuTime=0.03  mem=17M456
33.77	   
33.77	   search
33.77	     run=1  nbConstraintChecks=28584  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=99
33.77	     nbFailedAssignments=17  nbBacktracks=27  nbVisitedNodes=130  nbRestartNogoods=6
33.77	       =>  wckTime=0.081  cpuTime=0.05  mem=17M456
33.79	   
33.79	   search
33.79	     run=2  nbConstraintChecks=42282  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=148
33.79	     nbFailedAssignments=32  nbBacktracks=52  nbVisitedNodes=206  nbRestartNogoods=11
33.79	       =>  wckTime=0.105  cpuTime=0.07  mem=17M456
33.82	   
33.82	   search
33.82	     run=3  nbConstraintChecks=65885  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=219
33.82	     nbFailedAssignments=56  nbBacktracks=85  nbVisitedNodes=312  nbRestartNogoods=13
33.82	       =>  wckTime=0.136  cpuTime=0.1  mem=17M456
33.86	   
33.86	   search
33.86	     run=4  nbConstraintChecks=105420  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=311
33.86	     nbFailedAssignments=67  nbBacktracks=147  nbVisitedNodes=462  nbRestartNogoods=15
33.86	       =>  wckTime=0.177  cpuTime=0.14  mem=17M456
33.92	   
33.92	   search
33.92	     run=5  nbConstraintChecks=162359  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440
33.92	     nbFailedAssignments=92  nbBacktracks=233  nbVisitedNodes=675  nbRestartNogoods=19
33.92	       =>  wckTime=0.239  cpuTime=0.19  mem=17M456
33.97	   
33.97	   search
33.97	     run=6  nbConstraintChecks=232906  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=625
33.97	     nbFailedAssignments=130  nbBacktracks=352  nbVisitedNodes=951  nbRestartNogoods=23
33.98	       =>  wckTime=0.289  cpuTime=0.24  mem=17M456
34.05	   
34.05	   search
34.05	     run=7  nbConstraintChecks=338558  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=887
34.05	     nbFailedAssignments=186  nbBacktracks=528  nbVisitedNodes=1394  nbRestartNogoods=30
34.05	       =>  wckTime=0.367  cpuTime=0.32  mem=17M456
34.18	   
34.18	   search
34.18	     run=8  nbConstraintChecks=498129  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1270
34.18	     nbFailedAssignments=277  nbBacktracks=793  nbVisitedNodes=2024  nbRestartNogoods=39
34.18	       =>  wckTime=0.495  cpuTime=0.44  mem=17M456
34.40	   
34.40	   search
34.40	     run=9  nbConstraintChecks=747189  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1912
34.40	     nbFailedAssignments=508  nbBacktracks=1177  nbVisitedNodes=3055  nbRestartNogoods=45
34.40	       =>  wckTime=0.718  cpuTime=0.65  mem=17M456
34.64	   
34.64	   search
34.64	     run=10  nbConstraintChecks=1105488  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2707
34.64	     nbFailedAssignments=696  nbBacktracks=1763  nbVisitedNodes=4377  nbRestartNogoods=52
34.64	       =>  wckTime=0.951  cpuTime=0.88  mem=17M456
35.02	   
35.02	   search
35.02	     run=11  nbConstraintChecks=1629876  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3861
35.02	     nbFailedAssignments=955  nbBacktracks=2630  nbVisitedNodes=6411  nbRestartNogoods=56
35.02	       =>  wckTime=1.336  cpuTime=1.26  mem=17M456
35.48	   
35.48	   search
35.48	     run=12  nbConstraintChecks=2397184  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5545
35.48	     nbFailedAssignments=1308  nbBacktracks=3928  nbVisitedNodes=9268  nbRestartNogoods=63
35.48	       =>  wckTime=1.798  cpuTime=1.72  mem=17M456
36.41	   
36.41	   search
36.41	     run=13  nbConstraintChecks=3741971  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8377
36.41	     nbFailedAssignments=2158  nbBacktracks=5875  nbVisitedNodes=14316  nbRestartNogoods=71
36.41	       =>  wckTime=2.719  cpuTime=2.63  mem=17M456
37.73	   
37.73	   search
37.74	     run=14  nbConstraintChecks=6015003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12933
37.74	     nbFailedAssignments=3754  nbBacktracks=8794  nbVisitedNodes=22444  nbRestartNogoods=85
37.74	       =>  wckTime=4.049  cpuTime=3.95  mem=17M456
39.19	   
39.19	   search
39.19	     run=15  nbConstraintChecks=8655316  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18512
39.19	     nbFailedAssignments=4924  nbBacktracks=13175  nbVisitedNodes=32318  nbRestartNogoods=100
39.19	       =>  wckTime=5.505  cpuTime=5.4  mem=17M456
41.86	   
41.86	   search
41.86	     run=16  nbConstraintChecks=12855500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26979
41.86	     nbFailedAssignments=6786  nbBacktracks=19744  nbVisitedNodes=47261  nbRestartNogoods=109
41.86	       =>  wckTime=8.179  cpuTime=8.06  mem=17M456
45.38	   
45.38	   search
45.38	     run=17  nbConstraintChecks=19151897  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41160
45.38	     nbFailedAssignments=11072  nbBacktracks=29596  nbVisitedNodes=71295  nbRestartNogoods=121
45.38	       =>  wckTime=11.694  cpuTime=11.57  mem=17M456
51.81	   
51.81	   search
51.81	     run=18  nbConstraintChecks=27615759  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=62281
51.81	     nbFailedAssignments=17373  nbBacktracks=44376  nbVisitedNodes=106497  nbRestartNogoods=133
51.81	       =>  wckTime=18.125  cpuTime=17.97  mem=17M456
61.87	   
61.88	   search
61.88	     run=19  nbConstraintChecks=41424691  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=93254
61.88	     nbFailedAssignments=26169  nbBacktracks=66544  nbVisitedNodes=159341  nbRestartNogoods=144
61.88	       =>  wckTime=28.189  cpuTime=27.98  mem=17M456
76.68	   
76.68	   search
76.68	     run=20  nbConstraintChecks=59252110  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=140601
76.68	     nbFailedAssignments=40234  nbBacktracks=99802  nbVisitedNodes=239338  nbRestartNogoods=150
76.68	       =>  wckTime=42.994  cpuTime=42.71  mem=17M456
83.03	   
83.03	   search
83.03	     run=21  nbConstraintChecks=65691841  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=159575
83.03	     nbFailedAssignments=45784  nbBacktracks=113227  nbVisitedNodes=271132  nbRestartNogoods=158
83.03	       =>  wckTime=49.339  cpuTime=49.03  mem=17M456
83.03	   
83.03	   global
83.03	     nbConstraintChecks=65691845  nbRestartNogoods=158  solvingWckTime=49.341  solvingCpuTime=49.03  expiredTime=no
83.03	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=82.18
83.03	       =>  wckTime=82.732  cpuTime=82.13  mem=17M456
83.03	
83.03	s OPTIMUM FOUND
83.03	v 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 
83.03	   
83.03	   totalWckTime=82.808  totalCpuTime=82.18

Verifier Data (download as text)

7 unsatisfied constraints, 189 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/node1/watcher-277787-1169270625 -o ROOT/results/node1/solver-277787-1169270625 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/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.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=220 CPUtime=0
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 275458319 225280 31 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0
/proc/11849/statm: 73 35 27 14 0 5 0

[startup+0.103263 s]
/proc/loadavg: 1.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=914988 CPUtime=0.09
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 3047 0 1 0 8 1 0 0 17 0 8 0 275458319 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51131 s]
/proc/loadavg: 1.61 1.91 1.96 3/81 11850
/proc/meminfo: memFree=1307296/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=0.49
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6630 0 1 0 46 3 0 0 17 0 8 0 275458319 937299968 6368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228833 6368 2228 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3324 s]
/proc/loadavg: 1.61 1.91 1.96 3/95 11922
/proc/meminfo: memFree=1286384/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915336 CPUtime=1.31
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6907 0 1 0 97 34 0 0 23 0 8 0 275458319 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228834 6645 2476 14 0 215304 0
[pid=11849/tid=11851] ppid=11847 vsize=915336 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915336 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 315 0 0 0 9 0 0 0 16 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937304064 6645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937304064 6645 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) 915336

[startup+2.9846 s]
/proc/loadavg: 1.64 1.91 1.96 3/95 11922
/proc/meminfo: memFree=1286320/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=2.96
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6910 0 1 0 186 110 0 0 25 0 8 0 275458319 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6154243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228833 6647 2476 14 0 215303 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915332

[startup+6.27398 s]
/proc/loadavg: 1.64 1.91 1.96 2/88 12051
/proc/meminfo: memFree=1288240/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=6.23
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6911 0 1 0 374 249 0 0 20 0 8 0 275458319 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228834 6648 2476 14 0 215304 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937304064 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.09
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915332

[startup+12.7557 s]
/proc/loadavg: 1.54 1.88 1.95 2/88 12141
/proc/meminfo: memFree=1286896/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915332 CPUtime=12.68
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6911 0 1 0 726 542 0 0 17 0 8 0 275458319 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11849/statm: 228833 6648 2476 14 0 215303 0
[pid=11849/tid=11851] ppid=11847 vsize=915332 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915336 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937304064 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915332 CPUtime=0.1
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915332 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937299968 6648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915332

[startup+25.5892 s]
/proc/loadavg: 1.61 1.88 1.95 3/93 12179
/proc/meminfo: memFree=1284760/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915468 CPUtime=25.44
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 6918 0 1 0 1431 1113 0 0 25 0 8 0 275458319 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073597629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228867 6655 2476 14 0 215337 0
[pid=11849/tid=11851] ppid=11847 vsize=915468 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275458322 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915468 CPUtime=0.1
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937439232 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915468

[startup+51.2863 s]
/proc/loadavg: 1.74 1.89 1.95 3/93 12179
/proc/meminfo: memFree=1276184/2055920 swapFree=4165612/4192956
[pid=11849] ppid=11847 vsize=915468 CPUtime=51.03
/proc/11849/stat : 11849 (java) R 11847 11849 11333 0 -1 0 9167 0 1 0 3627 1476 0 0 25 0 8 0 275458319 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11849/statm: 228867 8902 2527 14 0 215337 0
[pid=11849/tid=11851] ppid=11847 vsize=915468 CPUtime=0.02
/proc/11849/task/11851/stat : 11851 (java) S 11847 11849 11333 0 -1 64 149 0 0 0 2 0 0 0 16 0 8 0 275458322 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11852] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11852/stat : 11852 (java) S 11847 11849 11333 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275458323 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11853] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11853/stat : 11853 (java) S 11847 11849 11333 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275458323 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11854] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11854/stat : 11854 (java) S 11847 11849 11333 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11855] ppid=11847 vsize=915468 CPUtime=0.21
/proc/11849/task/11855/stat : 11855 (java) S 11847 11849 11333 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11856] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11856/stat : 11856 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11849/tid=11857] ppid=11847 vsize=915468 CPUtime=0
/proc/11849/task/11857/stat : 11857 (java) S 11847 11849 11333 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275458326 937439232 8902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915468

Child status: 0
Real time (s): 83.0698
CPU time (s): 82.6334
CPU user time (s): 67.8587
CPU system time (s): 14.7748
CPU usage (%): 99.4747
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8587
system time used= 14.7748
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9275
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= 2728
involuntary context switches= 5133

runsolver used 0.093985 s user time and 0.229965 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan 20 05:23:45 UTC 2007


IDJOB= 277787
IDBENCH= 7669
IDSOLVER= 69
FILE ID= node1/277787-1169270625

PBS_JOBID= 3607440

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-200-461241_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-277787-1169270625 -o ROOT/results/node1/solver-277787-1169270625 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277787-1169270625/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5427dd1f7a236b3f3413b7e59a7c4ca0

RANDOM SEED= 755854304

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.234
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.234
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:       1307776 kB
Buffers:         52508 kB
Cached:         579736 kB
SwapCached:       4372 kB
Active:         283112 kB
Inactive:       388984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1307776 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2116 kB
Writeback:           0 kB
Mapped:          49392 kB
Slab:            61088 kB
Committed_AS:  8078932 kB
PageTables:       2172 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node1 on Sat Jan 20 05:25:09 UTC 2007