Trace number 1112696

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
AbsconMax 112 pc-dOPTIMUM1 30.6743 30.8632

DiagnosticValue
CHECKS60
NODES1

General information on the benchmark

Namecsp/langford2/
normalized-langford-2-2.xml
MD5SUMdc6049fcc06a5563f81f5e357c779161
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark0.704892
Satisfiable
(Un)Satisfiability was proved
Number of variables4
Number of constraints8
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8
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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mrdac-ddeg.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-1112696-1215872811.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.32	   
0.28/0.32	   variables being loaded...
0.28/0.35	     nbVariables=4  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4  nbTotalValues=16
0.28/0.35	       =>  wckTime=0.103  cpuTime=0.09  mem=7M858
0.28/0.35	   
0.28/0.35	   predicates being loaded...
0.39/0.41	   
0.39/0.41	   constraints being loaded...
0.39/0.45	     nbConstraints=8  nbConvertedConstraints=8  nbConvertConstraintsChecks=48  nbExtensionStructures=3
0.39/0.45	     nbSharedExtensionStructures=5  nbConflictsStructures=3  nbSharedConflictsStructures=5
0.39/0.45	     nbSharedBinaryRepresentations=15  minDegree=4  maxDegree=4  minArity=2  maxArity=2
0.39/0.45	       =>  wckTime=0.204  cpuTime=0.17  mem=11M810
0.48/0.50	   
0.48/0.50	   solver LocalSearchSolver being built... 
0.48/0.54	       =>  wckTime=0.298  cpuTime=0.21  mem=6M377
0.48/0.54	
0.48/0.54	s SATISFIABLE
0.48/0.54	o 2
0.48/0.54	o 1
1.08/1.13	   
1.08/1.13	   search
1.08/1.13	     run=0  nbConstraintChecks=316771  nbAssignments=10000
1.08/1.13	       =>  wckTime=0.586  cpuTime=0.56  mem=7M368
1.57/1.68	   
1.57/1.68	   search
1.57/1.68	     run=1  nbConstraintChecks=634006  nbAssignments=20000
1.57/1.68	       =>  wckTime=1.138  cpuTime=1.1  mem=7M368
2.18/2.21	   
2.18/2.21	   search
2.18/2.21	     run=2  nbConstraintChecks=949763  nbAssignments=30000
2.18/2.21	       =>  wckTime=1.673  cpuTime=1.64  mem=7M368
2.66/2.74	   
2.66/2.74	   search
2.66/2.74	     run=3  nbConstraintChecks=1265662  nbAssignments=40000
2.66/2.74	       =>  wckTime=2.204  cpuTime=2.17  mem=7M368
3.17/3.28	   
3.17/3.28	   search
3.17/3.28	     run=4  nbConstraintChecks=1581346  nbAssignments=50000
3.17/3.28	       =>  wckTime=2.74  cpuTime=2.7  mem=7M368
3.76/3.81	   
3.76/3.81	   search
3.76/3.81	     run=5  nbConstraintChecks=1897225  nbAssignments=60000
3.76/3.81	       =>  wckTime=3.272  cpuTime=3.23  mem=7M368
4.26/4.35	   
4.26/4.35	   search
4.26/4.35	     run=6  nbConstraintChecks=2212946  nbAssignments=70000
4.26/4.35	       =>  wckTime=3.808  cpuTime=3.76  mem=7M368
4.76/4.88	   
4.76/4.88	   search
4.76/4.88	     run=7  nbConstraintChecks=2528945  nbAssignments=80000
4.76/4.88	       =>  wckTime=4.339  cpuTime=4.29  mem=7M368
5.36/5.41	   
5.36/5.41	   search
5.36/5.42	     run=8  nbConstraintChecks=2844700  nbAssignments=90000
5.36/5.42	       =>  wckTime=4.875  cpuTime=4.83  mem=7M368
5.85/5.95	   
5.85/5.95	   search
5.85/5.95	     run=9  nbConstraintChecks=3160612  nbAssignments=100000
5.85/5.95	       =>  wckTime=5.411  cpuTime=5.36  mem=7M368
6.36/6.49	   
6.36/6.49	   search
6.36/6.49	     run=10  nbConstraintChecks=3476488  nbAssignments=110000
6.36/6.49	       =>  wckTime=5.949  cpuTime=5.9  mem=7M368
6.95/7.03	   
6.95/7.03	   search
6.95/7.03	     run=11  nbConstraintChecks=3792400  nbAssignments=120000
6.95/7.03	       =>  wckTime=6.491  cpuTime=6.44  mem=7M368
7.45/7.57	   
7.45/7.57	   search
7.45/7.57	     run=12  nbConstraintChecks=4108175  nbAssignments=130000
7.45/7.57	       =>  wckTime=7.028  cpuTime=6.97  mem=7M368
8.05/8.11	   
8.05/8.11	   search
8.05/8.11	     run=13  nbConstraintChecks=4423996  nbAssignments=140000
8.05/8.11	       =>  wckTime=7.57  cpuTime=7.51  mem=7M368
8.55/8.65	   
8.55/8.65	   search
8.55/8.65	     run=14  nbConstraintChecks=4739965  nbAssignments=150000
8.55/8.65	       =>  wckTime=8.107  cpuTime=8.05  mem=7M368
9.04/9.19	   
9.04/9.19	   search
9.04/9.19	     run=15  nbConstraintChecks=5055763  nbAssignments=160000
9.04/9.19	       =>  wckTime=8.649  cpuTime=8.59  mem=7M368
9.64/9.73	   
9.64/9.73	   search
9.64/9.73	     run=16  nbConstraintChecks=5371623  nbAssignments=170000
9.64/9.73	       =>  wckTime=9.186  cpuTime=9.12  mem=7M368
10.13/10.27	   
10.13/10.27	   search
10.13/10.27	     run=17  nbConstraintChecks=5687282  nbAssignments=180000
10.13/10.27	       =>  wckTime=9.728  cpuTime=9.66  mem=7M368
10.73/10.81	   
10.73/10.81	   search
10.73/10.81	     run=18  nbConstraintChecks=6003052  nbAssignments=190000
10.73/10.81	       =>  wckTime=10.266  cpuTime=10.2  mem=7M368
11.23/11.35	   
11.23/11.35	   search
11.23/11.35	     run=19  nbConstraintChecks=6319129  nbAssignments=200000
11.23/11.35	       =>  wckTime=10.808  cpuTime=10.73  mem=7M368
11.73/11.89	   
11.73/11.89	   search
11.73/11.89	     run=20  nbConstraintChecks=6634985  nbAssignments=210000
11.73/11.89	       =>  wckTime=11.346  cpuTime=11.27  mem=7M368
12.33/12.43	   
12.33/12.43	   search
12.33/12.43	     run=21  nbConstraintChecks=6950824  nbAssignments=220000
12.33/12.43	       =>  wckTime=11.888  cpuTime=11.81  mem=7M368
12.82/12.97	   
12.82/12.97	   search
12.82/12.97	     run=22  nbConstraintChecks=7266355  nbAssignments=230000
12.82/12.97	       =>  wckTime=12.426  cpuTime=12.35  mem=7M368
13.43/13.51	   
13.43/13.51	   search
13.43/13.51	     run=23  nbConstraintChecks=7582077  nbAssignments=240000
13.43/13.51	       =>  wckTime=12.969  cpuTime=12.89  mem=7M368
13.92/14.05	   
13.92/14.05	   search
13.92/14.05	     run=24  nbConstraintChecks=7898010  nbAssignments=250000
13.92/14.05	       =>  wckTime=13.511  cpuTime=13.43  mem=7M368
14.41/14.59	   
14.41/14.59	   search
14.41/14.59	     run=25  nbConstraintChecks=8213674  nbAssignments=260000
14.41/14.59	       =>  wckTime=14.053  cpuTime=13.96  mem=7M368
15.02/15.13	   
15.02/15.13	   search
15.02/15.13	     run=26  nbConstraintChecks=8529676  nbAssignments=270000
15.02/15.13	       =>  wckTime=14.59  cpuTime=14.5  mem=7M368
15.51/15.67	   
15.51/15.67	   search
15.51/15.67	     run=27  nbConstraintChecks=8845233  nbAssignments=280000
15.51/15.67	       =>  wckTime=15.131  cpuTime=15.03  mem=7M368
16.11/16.20	   
16.11/16.21	   search
16.11/16.21	     run=28  nbConstraintChecks=9160955  nbAssignments=290000
16.11/16.21	       =>  wckTime=15.665  cpuTime=15.57  mem=7M368
16.61/16.74	   
16.61/16.74	   search
16.61/16.74	     run=29  nbConstraintChecks=9476488  nbAssignments=300000
16.61/16.74	       =>  wckTime=16.204  cpuTime=16.1  mem=7M368
17.10/17.28	   
17.10/17.28	   search
17.10/17.28	     run=30  nbConstraintChecks=9792161  nbAssignments=310000
17.10/17.28	       =>  wckTime=16.738  cpuTime=16.64  mem=7M368
17.70/17.82	   
17.70/17.82	   search
17.70/17.82	     run=31  nbConstraintChecks=10108118  nbAssignments=320000
17.70/17.82	       =>  wckTime=17.277  cpuTime=17.18  mem=7M368
18.20/18.35	   
18.20/18.35	   search
18.20/18.35	     run=32  nbConstraintChecks=10423855  nbAssignments=330000
18.20/18.35	       =>  wckTime=17.811  cpuTime=17.7  mem=7M368
18.70/18.89	   
18.70/18.89	   search
18.70/18.89	     run=33  nbConstraintChecks=10739808  nbAssignments=340000
18.70/18.89	       =>  wckTime=18.348  cpuTime=18.24  mem=7M368
19.30/19.42	   
19.30/19.42	   search
19.30/19.42	     run=34  nbConstraintChecks=11055763  nbAssignments=350000
19.30/19.42	       =>  wckTime=18.882  cpuTime=18.77  mem=7M368
19.79/19.96	   
19.79/19.96	   search
19.79/19.96	     run=35  nbConstraintChecks=11371484  nbAssignments=360000
19.79/19.96	       =>  wckTime=19.42  cpuTime=19.31  mem=7M368
20.29/20.49	   
20.29/20.49	   search
20.29/20.49	     run=36  nbConstraintChecks=11687240  nbAssignments=370000
20.29/20.49	       =>  wckTime=19.955  cpuTime=19.84  mem=7M368
20.89/21.03	   
20.89/21.03	   search
20.89/21.03	     run=37  nbConstraintChecks=12002900  nbAssignments=380000
20.89/21.03	       =>  wckTime=20.493  cpuTime=20.37  mem=7M368
21.38/21.57	   
21.38/21.57	   search
21.38/21.57	     run=38  nbConstraintChecks=12318636  nbAssignments=390000
21.38/21.57	       =>  wckTime=21.027  cpuTime=20.91  mem=7M368
21.98/22.10	   
21.98/22.10	   search
21.98/22.10	     run=39  nbConstraintChecks=12634446  nbAssignments=400000
21.98/22.10	       =>  wckTime=21.564  cpuTime=21.44  mem=7M368
22.48/22.64	   
22.48/22.64	   search
22.48/22.64	     run=40  nbConstraintChecks=12950277  nbAssignments=410000
22.48/22.64	       =>  wckTime=22.098  cpuTime=21.97  mem=7M368
22.99/23.18	   
22.99/23.18	   search
22.99/23.18	     run=41  nbConstraintChecks=13266039  nbAssignments=420000
22.99/23.18	       =>  wckTime=22.636  cpuTime=22.51  mem=7M368
23.58/23.71	   
23.58/23.71	   search
23.58/23.71	     run=42  nbConstraintChecks=13581775  nbAssignments=430000
23.58/23.71	       =>  wckTime=23.169  cpuTime=23.04  mem=7M368
24.08/24.25	   
24.08/24.25	   search
24.08/24.25	     run=43  nbConstraintChecks=13897584  nbAssignments=440000
24.08/24.25	       =>  wckTime=23.706  cpuTime=23.57  mem=7M368
24.57/24.78	   
24.57/24.78	   search
24.57/24.78	     run=44  nbConstraintChecks=14213292  nbAssignments=450000
24.57/24.78	       =>  wckTime=24.239  cpuTime=24.1  mem=7M368
25.17/25.32	   
25.17/25.32	   search
25.17/25.32	     run=45  nbConstraintChecks=14529116  nbAssignments=460000
25.17/25.32	       =>  wckTime=24.777  cpuTime=24.64  mem=7M368
25.67/25.85	   
25.67/25.85	   search
25.67/25.85	     run=46  nbConstraintChecks=14844982  nbAssignments=470000
25.67/25.85	       =>  wckTime=25.312  cpuTime=25.17  mem=7M368
26.17/26.39	   
26.17/26.39	   search
26.17/26.39	     run=47  nbConstraintChecks=15160722  nbAssignments=480000
26.17/26.39	       =>  wckTime=25.854  cpuTime=25.71  mem=7M368
26.76/26.93	   
26.76/26.93	   search
26.76/26.93	     run=48  nbConstraintChecks=15476421  nbAssignments=490000
26.76/26.93	       =>  wckTime=26.392  cpuTime=26.24  mem=7M368
27.26/27.47	   
27.26/27.47	   search
27.26/27.47	     run=49  nbConstraintChecks=15792250  nbAssignments=500000
27.26/27.47	       =>  wckTime=26.933  cpuTime=26.78  mem=7M368
27.85/28.01	   
27.85/28.01	   search
27.85/28.01	     run=50  nbConstraintChecks=16108209  nbAssignments=510000
27.85/28.01	       =>  wckTime=27.471  cpuTime=27.32  mem=7M368
28.36/28.55	   
28.36/28.55	   search
28.36/28.55	     run=51  nbConstraintChecks=16423882  nbAssignments=520000
28.36/28.55	       =>  wckTime=28.014  cpuTime=27.86  mem=7M368
28.86/29.09	   
28.86/29.09	   search
28.86/29.09	     run=52  nbConstraintChecks=16739653  nbAssignments=530000
28.86/29.09	       =>  wckTime=28.551  cpuTime=28.4  mem=7M368
29.45/29.63	   
29.45/29.63	   search
29.45/29.63	     run=53  nbConstraintChecks=17055504  nbAssignments=540000
29.45/29.63	       =>  wckTime=29.092  cpuTime=28.93  mem=7M368
29.95/30.17	   
29.95/30.17	   search
29.95/30.17	     run=54  nbConstraintChecks=17371380  nbAssignments=550000
29.95/30.17	       =>  wckTime=29.629  cpuTime=29.47  mem=7M368
30.55/30.71	   
30.55/30.71	   search
30.55/30.71	     run=55  nbConstraintChecks=17687314  nbAssignments=560000
30.55/30.71	       =>  wckTime=30.17  cpuTime=30.0  mem=7M368
30.55/30.71	   
30.55/30.71	   search
30.55/30.71	     run=56  nbConstraintChecks=17687805  nbAssignments=560015
30.55/30.71	       =>  wckTime=30.171  cpuTime=30.01  mem=7M368
30.55/30.71	   
30.55/30.71	   global
30.55/30.71	     nbConstraintChecks=17687805  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.55/30.71	     solvingWckTime=30.169  solvingCpuTime=30.01  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.55/30.71	     globalCpuTime=30.27
30.55/30.71	       =>  wckTime=30.468  cpuTime=30.22  mem=7M368
30.55/30.71	   
30.55/30.71	   solver DecomposerSolver being built... 
30.55/30.79	       =>  wckTime=30.55  cpuTime=30.3  mem=17M253
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C6(V1,V3)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C0(V1,V0)
30.55/30.80	C0(V1,V0)
30.55/30.80	C4(V2,V1)
30.55/30.80	C4(V2,V1)
30.55/30.80	C4(V2,V1)
30.55/30.80	C4(V2,V1)
30.55/30.80	C5(V3,V1)
30.55/30.80	C5(V3,V1)
30.55/30.80	C5(V3,V1)
30.55/30.80	C5(V3,V1)
30.55/30.80	C6(V1,V3)
30.55/30.80	C2(V0,V2)
30.55/30.80	C2(V0,V2)
30.55/30.80	C6(V1,V3)
30.55/30.80	   
30.55/30.80	   preprocessing
30.55/30.80	     nbConstraintChecks=32  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=7
30.55/30.80	     detectedInconsistency=no
30.55/30.80	       =>  wckTime=0.0050  cpuTime=0.0  mem=17M253
30.65/30.81	C3(V3,V0)
30.65/30.81	C3(V3,V0)
30.65/30.81	C5(V3,V1)
30.65/30.81	C6(V1,V3)
30.65/30.81	C7(V3,V2)
30.65/30.81	C7(V3,V2)
30.65/30.81	C7(V3,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C0(V1,V0)
30.65/30.81	C1(V2,V0)
30.65/30.81	C1(V2,V0)
30.65/30.81	C2(V0,V2)
30.65/30.81	C0(V1,V0)
30.65/30.81	C0(V1,V0)
30.65/30.81	C2(V0,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C2(V0,V2)
30.65/30.81	C4(V2,V1)
30.65/30.81	C4(V2,V1)
30.65/30.81	C4(V2,V1)
30.65/30.81	C5(V3,V1)
30.65/30.81	C5(V3,V1)
30.65/30.81	C6(V1,V3)
30.65/30.81	C6(V1,V3)
30.65/30.81	C6(V1,V3)
30.65/30.81	   
30.65/30.81	   search
30.65/30.81	     run=0  nbConstraintChecks=28  minDepth=0  maxDepth=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.65/30.81	     nbAssignments=1  nbFailedAssignments=1  nbBacktracks=1  nbVisitedNodes=3
30.65/30.81	       =>  wckTime=0.016  cpuTime=0.01  mem=17M253
30.65/30.81	   
30.65/30.81	   global
30.65/30.81	     nbConstraintChecks=60  solvingWckTime=0.018  solvingCpuTime=0.01  expiredTime=no  totalExploration=yes
30.65/30.81	     nbFoundSolutions=0  upperBound=1  upperBoundWckTime=0.0  upperBoundCpuTime=0.0  globalCpuTime=30.36
30.65/30.81	       =>  wckTime=30.569  cpuTime=30.31  mem=17M253
30.65/30.81	
30.65/30.81	s OPTIMUM FOUND
30.65/30.81	v 0 3 2 1 
30.65/30.81	d NODES 1
30.65/30.81	d CHECKS 60
30.65/30.82	   
30.65/30.82	   totalWckTime=30.635  totalCpuTime=30.36

Verifier Data (download as text)

OK	1	7
1 unsatisfied constraints, 7 satisfied constraints

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112696-1215872811/watcher-1112696-1215872811 -o /tmp/evaluation-result-1112696-1215872811/solver-1112696-1215872811 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112696-1215872811.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=18572 CPUtime=0
/proc/15962/stat : 15962 (runsolver) R 15960 15962 15324 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 43982792 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15962/statm: 4643 292 257 25 0 2626 0

[startup+0.0276481 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=861228 CPUtime=0
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 1708 0 1 0 0 0 0 0 18 0 3 0 43982792 881897472 1405 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 215307 1405 563 9 0 210286 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 861228

[startup+0.102 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=865988 CPUtime=0.08
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 3718 0 1 0 6 2 0 0 18 0 9 0 43982792 886771712 3191 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216497 3191 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988

[startup+0.302014 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866388 CPUtime=0.28
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 5886 0 1 0 24 4 0 0 18 0 9 0 43982792 887181312 5261 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216597 5261 1955 9 0 211125 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866388

[startup+0.701031 s]
/proc/loadavg: 2.92 3.12 3.15 5/80 15962
/proc/meminfo: memFree=1788688/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=0.68
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8736 0 1 0 55 13 0 0 18 0 9 0 43982792 887422976 7880 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7880 2632 9 0 211162 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866624

[startup+1.50108 s]
/proc/loadavg: 2.92 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1767368/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=1.47
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8741 0 1 0 81 66 0 0 18 0 9 0 43982792 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7884 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=1.33
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6608 0 1 0 68 65 0 0 25 0 9 0 43982793 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4455299 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866624

[startup+3.10119 s]
/proc/loadavg: 2.92 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1767112/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=3.07
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8741 0 1 0 140 167 0 0 18 0 9 0 43982792 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7884 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=2.92
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6608 0 1 0 127 165 0 0 25 0 9 0 43982793 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866628

[startup+6.30238 s]
/proc/loadavg: 2.93 3.12 3.15 4/89 15971
/proc/meminfo: memFree=1766920/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=6.25
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8742 0 1 0 249 376 0 0 18 0 9 0 43982792 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7884 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=6.11
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 236 375 0 0 25 0 9 0 43982793 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 5028991 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 340 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7884 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 866628

[startup+12.7028 s]
/proc/loadavg: 2.93 3.12 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=12.63
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 461 802 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=12.48
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 447 801 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4554657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 866624

[startup+25.5016 s]
/proc/loadavg: 2.87 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=25.37
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 899 1638 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=25.22
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 885 1637 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 17 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 866628

Solver just ended. Dumping a history of the last processes samples

[startup+28.7028 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=28.55
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1003 1852 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=28.41
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 990 1851 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (KiB) 866628

[startup+29.5028 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866628 CPUtime=29.36
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1029 1907 0 0 18 0 9 0 43982792 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216657 7886 2633 9 0 211163 0
[pid=15962/tid=15964] ppid=15960 vsize=866628 CPUtime=29.21
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1015 1906 0 0 25 0 9 0 43982793 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866628 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866628 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866628 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887427072 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 29.36
Current children cumulated vsize (KiB) 866628

[startup+30.3029 s]
/proc/loadavg: 2.88 3.09 3.14 4/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.15
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1055 1960 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1041 1959 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960145 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.15
Current children cumulated vsize (KiB) 866624

[startup+30.7029 s]
/proc/loadavg: 2.88 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.55
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 8744 0 1 0 1067 1988 0 0 18 0 9 0 43982792 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 7886 2633 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30.4
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 6609 0 1 0 1053 1987 0 0 25 0 9 0 43982793 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.09
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 342 0 0 0 9 0 0 0 16 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 7886 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.55
Current children cumulated vsize (KiB) 866624

[startup+30.8069 s]
/proc/loadavg: 2.88 3.09 3.14 3/89 15971
/proc/meminfo: memFree=1766792/2055920 swapFree=4180012/4192956
[pid=15962] ppid=15960 vsize=866624 CPUtime=30.65
/proc/15962/stat : 15962 (java) S 15960 15962 15324 0 -1 0 10083 0 1 0 1076 1989 0 0 18 0 9 0 43982792 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15962/statm: 216656 9225 2634 9 0 211162 0
[pid=15962/tid=15964] ppid=15960 vsize=866624 CPUtime=30.49
/proc/15962/task/15964/stat : 15964 (java) R 15960 15962 15324 0 -1 64 7944 0 1 0 1061 1988 0 0 25 0 9 0 43982793 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4125978165 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15965] ppid=15960 vsize=866624 CPUtime=0.03
/proc/15962/task/15965/stat : 15965 (java) S 15960 15962 15324 0 -1 64 1097 0 0 0 3 0 0 0 16 0 9 0 43982794 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15966] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15966/stat : 15966 (java) S 15960 15962 15324 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 43982794 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15967] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15967/stat : 15967 (java) S 15960 15962 15324 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43982795 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15968] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15968/stat : 15968 (java) S 15960 15962 15324 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15969] ppid=15960 vsize=866624 CPUtime=0.1
/proc/15962/task/15969/stat : 15969 (java) S 15960 15962 15324 0 -1 64 346 0 0 0 10 0 0 0 16 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15970] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15970/stat : 15970 (java) S 15960 15962 15324 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15962/tid=15971] ppid=15960 vsize=866624 CPUtime=0
/proc/15962/task/15971/stat : 15971 (java) S 15960 15962 15324 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43982796 887422976 9225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.65
Current children cumulated vsize (KiB) 866624

Child status: 0
Real time (s): 30.8632
CPU time (s): 30.6743
CPU user time (s): 10.7704
CPU system time (s): 19.904
CPU usage (%): 99.3879
Max. virtual memory (cumulated for all children) (KiB): 866628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7704
system time used= 19.904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10315
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= 1303
involuntary context switches= 2934

runsolver used 0.044993 second user time and 0.097985 second system time

The end

Launcher Data (download as text)

Begin job on node29 at 2008-07-12 16:26:51
IDJOB=1112696
IDBENCH=61459
IDSOLVER=360
FILE ID=node29/1112696-1215872811
PBS_JOBID= 7903500
Free space on /tmp= 66496 MiB

SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/langford2/normalized-langford-2-2.xml
COMMAND LINE=  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112696-1215872811/watcher-1112696-1215872811 -o /tmp/evaluation-result-1112696-1215872811/solver-1112696-1215872811 -C 3600 -W 4000 -M 900 --output-limit 1,15   java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112696-1215872811.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= dc6049fcc06a5563f81f5e357c779161
RANDOM SEED=579917219

node29.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.242
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.242
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:       1789168 kB
Buffers:         49516 kB
Cached:          89056 kB
SwapCached:       6744 kB
Active:         150864 kB
Inactive:        73272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1789168 kB
SwapTotal:     4192956 kB
SwapFree:      4180012 kB
Dirty:            1944 kB
Writeback:           0 kB
Mapped:         101704 kB
Slab:            27656 kB
Committed_AS:   983008 kB
PageTables:       2108 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= 66496 MiB
End job on node29 at 2008-07-12 16:27:22