Trace number 282916

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 EPFCOPTIMUM 254.239 255.486

General information on the benchmark

Namecoloring/
geom-40-3-ext.xml
MD5SUMd54325db3282ef19b94f41e995b8132d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints71
Best CPU time to get the best result obtained on this benchmark1.92071
SatisfiableNO
(Un)Satisfiability was proved
Number of variables40
Number of constraints78
Maximum constraint arity2
Maximum domain size3
Number of constraints which are defined in extension78
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=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/282916-1169324017/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=3  maxDomainSize=3
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M887
0.39	   
0.39	   relations being loaded...
0.39	   
0.39	   constraints being loaded...
0.44	     nbConstraints=78  nbRelationTypes=1  nbDisconnectedVariables=1  nbExtensionStructures=1
0.44	     nbSharedExtensionStructures=77  nbConflictsStructures=1  nbSharedConflictsStructures=77
0.44	     nbSharedBinaryRepresentations=3  maxDegree=6  maxArity=2
0.44	       =>  wckTime=0.14  cpuTime=0.11  mem=7M895
0.47	   
0.47	   solver LocalSearchSolver being built... 
0.52	       =>  wckTime=0.218  cpuTime=0.15  mem=5M403
0.52	
0.52	s SATISFIABLE
0.52	o 51
0.52	c 27
0.52	o 54
0.52	c 24
0.52	o 57
0.52	c 21
0.52	o 60
0.52	c 18
0.52	o 62
0.52	c 16
0.52	o 63
0.52	c 15
0.52	o 64
0.52	c 14
0.52	o 66
0.52	c 12
0.52	o 67
0.52	c 11
0.52	o 68
0.52	c 10
0.53	o 69
0.53	c 9
0.53	o 70
0.53	c 8
0.54	o 71
0.54	c 7
1.33	   
1.33	   search
1.33	     run=0  nbConstraintChecks=1391518  nbAssignments=10000
1.33	       =>  wckTime=0.817  cpuTime=0.78  mem=5M403
2.06	   
2.06	   search
2.06	     run=1  nbConstraintChecks=2852477  nbAssignments=20000
2.06	       =>  wckTime=1.547  cpuTime=1.51  mem=5M403
2.78	   
2.78	   search
2.78	     run=2  nbConstraintChecks=4260752  nbAssignments=30000
2.78	       =>  wckTime=2.267  cpuTime=2.22  mem=5M403
3.51	   
3.51	   search
3.51	     run=3  nbConstraintChecks=5716041  nbAssignments=40000
3.51	       =>  wckTime=2.993  cpuTime=2.95  mem=5M403
4.22	   
4.22	   search
4.22	     run=4  nbConstraintChecks=7124503  nbAssignments=50000
4.22	       =>  wckTime=3.709  cpuTime=3.66  mem=5M403
4.96	   
4.96	   search
4.96	     run=5  nbConstraintChecks=8579307  nbAssignments=60000
4.96	       =>  wckTime=4.442  cpuTime=4.39  mem=5M403
5.68	   
5.68	   search
5.68	     run=6  nbConstraintChecks=9983817  nbAssignments=70000
5.68	       =>  wckTime=5.168  cpuTime=5.11  mem=5M403
6.41	   
6.41	   search
6.41	     run=7  nbConstraintChecks=11440664  nbAssignments=80000
6.41	       =>  wckTime=5.898  cpuTime=5.84  mem=5M403
7.14	   
7.14	   search
7.14	     run=8  nbConstraintChecks=12848317  nbAssignments=90000
7.14	       =>  wckTime=6.625  cpuTime=6.57  mem=5M403
7.87	   
7.87	   search
7.87	     run=9  nbConstraintChecks=14307469  nbAssignments=100000
7.87	       =>  wckTime=7.355  cpuTime=7.29  mem=5M403
8.59	   
8.59	   search
8.59	     run=10  nbConstraintChecks=15711674  nbAssignments=110000
8.59	       =>  wckTime=8.079  cpuTime=8.01  mem=5M403
9.33	   
9.33	   search
9.33	     run=11  nbConstraintChecks=17181727  nbAssignments=120000
9.33	       =>  wckTime=8.814  cpuTime=8.75  mem=5M403
10.07	   
10.07	   search
10.07	     run=12  nbConstraintChecks=18588840  nbAssignments=130000
10.07	       =>  wckTime=9.557  cpuTime=9.46  mem=5M403
10.81	   
10.81	   search
10.81	     run=13  nbConstraintChecks=20053991  nbAssignments=140000
10.81	       =>  wckTime=10.292  cpuTime=10.2  mem=5M403
11.53	   
11.53	   search
11.53	     run=14  nbConstraintChecks=21468276  nbAssignments=150000
11.53	       =>  wckTime=11.021  cpuTime=10.92  mem=5M403
12.26	   
12.26	   search
12.26	     run=15  nbConstraintChecks=22929307  nbAssignments=160000
12.26	       =>  wckTime=11.75  cpuTime=11.65  mem=5M403
12.99	   
12.99	   search
12.99	     run=16  nbConstraintChecks=24335545  nbAssignments=170000
12.99	       =>  wckTime=12.476  cpuTime=12.36  mem=5M403
13.73	   
13.73	   search
13.73	     run=17  nbConstraintChecks=25799074  nbAssignments=180000
13.73	       =>  wckTime=13.213  cpuTime=13.1  mem=5M403
14.44	   
14.44	   search
14.44	     run=18  nbConstraintChecks=27202050  nbAssignments=190000
14.45	       =>  wckTime=13.932  cpuTime=13.82  mem=5M403
15.18	   
15.18	   search
15.18	     run=19  nbConstraintChecks=28676149  nbAssignments=200000
15.18	       =>  wckTime=14.663  cpuTime=14.54  mem=5M403
15.90	   
15.90	   search
15.90	     run=20  nbConstraintChecks=30085325  nbAssignments=210000
15.90	       =>  wckTime=15.386  cpuTime=15.26  mem=5M403
16.63	   
16.63	   search
16.63	     run=21  nbConstraintChecks=31540987  nbAssignments=220000
16.63	       =>  wckTime=16.115  cpuTime=15.99  mem=5M403
17.35	   
17.35	   search
17.35	     run=22  nbConstraintChecks=32951335  nbAssignments=230000
17.35	       =>  wckTime=16.836  cpuTime=16.71  mem=5M403
18.08	   
18.08	   search
18.08	     run=23  nbConstraintChecks=34410901  nbAssignments=240000
18.08	       =>  wckTime=17.566  cpuTime=17.43  mem=5M403
18.80	   
18.80	   search
18.80	     run=24  nbConstraintChecks=35817871  nbAssignments=250000
18.80	       =>  wckTime=18.283  cpuTime=18.15  mem=5M403
19.52	   
19.52	   search
19.52	     run=25  nbConstraintChecks=37278185  nbAssignments=260000
19.53	       =>  wckTime=19.012  cpuTime=18.88  mem=5M403
20.24	   
20.24	   search
20.24	     run=26  nbConstraintChecks=38687896  nbAssignments=270000
20.24	       =>  wckTime=19.727  cpuTime=19.59  mem=5M403
20.97	   
20.97	   search
20.97	     run=27  nbConstraintChecks=40148330  nbAssignments=280000
20.97	       =>  wckTime=20.458  cpuTime=20.32  mem=5M403
21.69	   
21.69	   search
21.69	     run=28  nbConstraintChecks=41560102  nbAssignments=290000
21.69	       =>  wckTime=21.18  cpuTime=21.04  mem=5M403
22.42	   
22.42	   search
22.42	     run=29  nbConstraintChecks=43024219  nbAssignments=300000
22.42	       =>  wckTime=21.906  cpuTime=21.76  mem=5M403
23.14	   
23.14	   search
23.14	     run=30  nbConstraintChecks=44438015  nbAssignments=310000
23.14	       =>  wckTime=22.63  cpuTime=22.47  mem=5M403
23.87	   
23.87	   search
23.87	     run=31  nbConstraintChecks=45891494  nbAssignments=320000
23.87	       =>  wckTime=23.359  cpuTime=23.2  mem=5M403
24.59	   
24.59	   search
24.59	     run=32  nbConstraintChecks=47297394  nbAssignments=330000
24.59	       =>  wckTime=24.081  cpuTime=23.92  mem=5M403
25.33	   
25.33	   search
25.33	     run=33  nbConstraintChecks=48757555  nbAssignments=340000
25.33	       =>  wckTime=24.818  cpuTime=24.65  mem=5M403
26.06	   
26.06	   search
26.06	     run=34  nbConstraintChecks=50172224  nbAssignments=350000
26.06	       =>  wckTime=25.548  cpuTime=25.38  mem=5M403
26.79	   
26.79	   search
26.79	     run=35  nbConstraintChecks=51631114  nbAssignments=360000
26.79	       =>  wckTime=26.28  cpuTime=26.11  mem=5M403
27.52	   
27.52	   search
27.52	     run=36  nbConstraintChecks=53030954  nbAssignments=370000
27.52	       =>  wckTime=27.007  cpuTime=26.83  mem=5M403
28.26	   
28.26	   search
28.26	     run=37  nbConstraintChecks=54489794  nbAssignments=380000
28.26	       =>  wckTime=27.75  cpuTime=27.56  mem=5M403
28.98	   
28.98	   search
28.98	     run=38  nbConstraintChecks=55893114  nbAssignments=390000
28.98	       =>  wckTime=28.472  cpuTime=28.29  mem=5M403
29.72	   
29.72	   search
29.72	     run=39  nbConstraintChecks=57340439  nbAssignments=400000
29.72	       =>  wckTime=29.206  cpuTime=29.02  mem=5M403
30.44	   
30.44	   search
30.44	     run=40  nbConstraintChecks=58752574  nbAssignments=410000
30.44	       =>  wckTime=29.93  cpuTime=29.74  mem=5M403
30.74	   
30.74	   search
30.74	     run=41  nbConstraintChecks=59328306  nbAssignments=413932
30.74	       =>  wckTime=30.223  cpuTime=30.03  mem=5M403
30.74	   
30.74	   global
30.74	     nbConstraintChecks=59328306  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.74	     solvingWckTime=30.22  solvingCpuTime=30.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.74	     globalCpuTime=30.24
30.74	       =>  wckTime=30.44  cpuTime=30.19  mem=5M403
30.74	   
30.74	   solver IterativeSystematicSolver being built... 
30.87	       =>  wckTime=30.571  cpuTime=30.29  mem=16M507
30.90	   
30.90	   preprocessing
30.90	     nbConstraintChecks=5259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.90	     detectedInconsistency=no
30.90	       =>  wckTime=0.033  cpuTime=0.02  mem=16M507
30.92	   
30.92	   search
30.92	     run=0  nbConstraintChecks=10259  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=58
30.92	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=85  nbRestartNogoods=0
30.92	       =>  wckTime=0.051  cpuTime=0.03  mem=16M507
30.94	   
30.94	   search
30.94	     run=1  nbConstraintChecks=22657  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=125
30.94	     nbFailedAssignments=40  nbBacktracks=26  nbVisitedNodes=191  nbRestartNogoods=4
30.94	       =>  wckTime=0.077  cpuTime=0.05  mem=16M507
30.96	   
30.96	   search
30.96	     run=2  nbConstraintChecks=36001  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=197
30.96	     nbFailedAssignments=64  nbBacktracks=48  nbVisitedNodes=309  nbRestartNogoods=6
30.96	       =>  wckTime=0.089  cpuTime=0.06  mem=16M507
30.97	   
30.97	   search
30.97	     run=3  nbConstraintChecks=56398  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=298
30.97	     nbFailedAssignments=102  nbBacktracks=84  nbVisitedNodes=483  nbRestartNogoods=11
30.97	       =>  wckTime=0.106  cpuTime=0.07  mem=16M507
30.99	   
30.99	   search
30.99	     run=4  nbConstraintChecks=85908  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=436
30.99	     nbFailedAssignments=162  nbBacktracks=135  nbVisitedNodes=729  nbRestartNogoods=15
30.99	       =>  wckTime=0.125  cpuTime=0.09  mem=16M507
31.02	   
31.02	   search
31.02	     run=5  nbConstraintChecks=128779  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=625
31.02	     nbFailedAssignments=248  nbBacktracks=211  nbVisitedNodes=1077  nbRestartNogoods=20
31.02	       =>  wckTime=0.15  cpuTime=0.11  mem=16M507
31.05	   
31.05	   search
31.05	     run=6  nbConstraintChecks=190336  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=886
31.05	     nbFailedAssignments=368  nbBacktracks=324  nbVisitedNodes=1570  nbRestartNogoods=26
31.05	       =>  wckTime=0.183  cpuTime=0.14  mem=16M507
31.10	   
31.10	   search
31.10	     run=7  nbConstraintChecks=276438  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1252
31.10	     nbFailedAssignments=539  nbBacktracks=494  nbVisitedNodes=2272  nbRestartNogoods=30
31.10	       =>  wckTime=0.234  cpuTime=0.19  mem=16M507
31.18	   
31.18	   search
31.18	     run=8  nbConstraintChecks=401091  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1796
31.18	     nbFailedAssignments=800  nbBacktracks=751  nbVisitedNodes=3313  nbRestartNogoods=37
31.18	       =>  wckTime=0.308  cpuTime=0.25  mem=16M507
31.26	   
31.26	   search
31.26	     run=9  nbConstraintChecks=587875  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2582
31.26	     nbFailedAssignments=1172  nbBacktracks=1137  nbVisitedNodes=4838  nbRestartNogoods=44
31.26	       =>  wckTime=0.393  cpuTime=0.33  mem=16M507
31.39	   
31.39	   search
31.39	     run=10  nbConstraintChecks=877866  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3817
31.39	     nbFailedAssignments=1803  nbBacktracks=1713  nbVisitedNodes=7244  nbRestartNogoods=52
31.39	       =>  wckTime=0.519  cpuTime=0.45  mem=16M507
31.57	   
31.57	   search
31.57	     run=11  nbConstraintChecks=1289857  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5561
31.57	     nbFailedAssignments=2658  nbBacktracks=2577  nbVisitedNodes=10658  nbRestartNogoods=58
31.57	       =>  wckTime=0.702  cpuTime=0.63  mem=16M507
31.83	   
31.83	   search
31.83	     run=12  nbConstraintChecks=1868529  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7979
31.83	     nbFailedAssignments=3757  nbBacktracks=3874  nbVisitedNodes=15341  nbRestartNogoods=63
31.83	       =>  wckTime=0.963  cpuTime=0.88  mem=16M507
32.20	   
32.20	   search
32.20	     run=13  nbConstraintChecks=2736032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11685
32.20	     nbFailedAssignments=5488  nbBacktracks=5820  nbVisitedNodes=22513  nbRestartNogoods=68
32.20	       =>  wckTime=1.329  cpuTime=1.25  mem=16M507
32.79	   
32.79	   search
32.79	     run=14  nbConstraintChecks=4085085  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17103
32.79	     nbFailedAssignments=7963  nbBacktracks=8739  nbVisitedNodes=33105  nbRestartNogoods=72
32.79	       =>  wckTime=1.925  cpuTime=1.84  mem=16M507
33.61	   
33.61	   search
33.61	     run=15  nbConstraintChecks=5919040  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24996
33.61	     nbFailedAssignments=11454  nbBacktracks=13117  nbVisitedNodes=48198  nbRestartNogoods=80
33.61	       =>  wckTime=2.74  cpuTime=2.66  mem=16M507
34.82	   
34.82	   search
34.82	     run=16  nbConstraintChecks=8633063  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36250
34.82	     nbFailedAssignments=16112  nbBacktracks=19685  nbVisitedNodes=69757  nbRestartNogoods=88
34.82	       =>  wckTime=3.951  cpuTime=3.86  mem=16M507
36.64	   
36.64	   search
36.64	     run=17  nbConstraintChecks=12553920  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=52366
36.64	     nbFailedAssignments=22349  nbBacktracks=29542  nbVisitedNodes=100554  nbRestartNogoods=96
36.64	       =>  wckTime=5.767  cpuTime=5.67  mem=16M507
39.07	   
39.07	   search
39.07	     run=18  nbConstraintChecks=18162099  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=75928
39.07	     nbFailedAssignments=31105  nbBacktracks=44320  nbVisitedNodes=144941  nbRestartNogoods=105
39.07	       =>  wckTime=8.2  cpuTime=8.09  mem=16M507
42.76	   
42.76	   search
42.76	     run=19  nbConstraintChecks=26357092  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=110704
42.76	     nbFailedAssignments=43697  nbBacktracks=66490  nbVisitedNodes=210696  nbRestartNogoods=113
42.76	       =>  wckTime=11.891  cpuTime=11.77  mem=16M507
49.99	   
49.99	   search
49.99	     run=20  nbConstraintChecks=38973922  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=164989
49.99	     nbFailedAssignments=64718  nbBacktracks=99742  nbVisitedNodes=314167  nbRestartNogoods=122
49.99	       =>  wckTime=19.12  cpuTime=18.96  mem=16M507
62.25	   
62.25	   search
62.25	     run=21  nbConstraintChecks=56717220  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=249197
62.25	     nbFailedAssignments=99036  nbBacktracks=149620  nbVisitedNodes=473385  nbRestartNogoods=128
62.25	       =>  wckTime=31.38  cpuTime=31.15  mem=16M507
79.68	   
79.68	   search
79.68	     run=22  nbConstraintChecks=81013686  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=372679
79.68	     nbFailedAssignments=147686  nbBacktracks=224438  nbVisitedNodes=703743  nbRestartNogoods=136
79.68	       =>  wckTime=48.807  cpuTime=48.5  mem=16M507
104.97	   
104.97	   search
104.97	     run=23  nbConstraintChecks=114624629  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=554712
104.97	     nbFailedAssignments=217477  nbBacktracks=336665  nbVisitedNodes=1041307  nbRestartNogoods=144
104.97	       =>  wckTime=74.104  cpuTime=73.67  mem=16M507
142.71	   
142.71	   search
142.71	     run=24  nbConstraintChecks=163525550  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=835638
142.71	     nbFailedAssignments=330051  nbBacktracks=505006  nbVisitedNodes=1552195  nbRestartNogoods=156
142.71	       =>  wckTime=111.838  cpuTime=111.25  mem=16M507
196.47	   
196.47	   search
196.47	     run=25  nbConstraintChecks=231878607  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1238588
196.47	     nbFailedAssignments=480477  nbBacktracks=757524  nbVisitedNodes=2286202  nbRestartNogoods=170
196.47	       =>  wckTime=165.598  cpuTime=164.75  mem=16M507
255.45	   
255.45	   search
255.45	     run=26  nbConstraintChecks=306232103  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1684994
255.45	     nbFailedAssignments=646731  nbBacktracks=1037677  nbVisitedNodes=3087244  nbRestartNogoods=175
255.45	       =>  wckTime=224.584  cpuTime=223.47  mem=16M507
255.45	   
255.45	   global
255.45	     nbConstraintChecks=306237362  nbRestartNogoods=175  solvingWckTime=224.584  solvingCpuTime=223.47  expiredTime=no
255.45	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=253.81
255.45	       =>  wckTime=255.156  cpuTime=253.76  mem=16M507
255.46	
255.46	s OPTIMUM FOUND
255.46	v 0 1 2 0 2 2 1 1 0 2 1 1 0 0 1 0 2 2 1 2 0 0 0 2 1 1 0 1 0 0 1 1 2 2 2 0 2 1 0 0 
255.46	   
255.46	   totalWckTime=255.235  totalCpuTime=253.81

Verifier Data (download as text)

7 unsatisfied constraints, 71 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/node20/watcher-282916-1169324017 -o ROOT/results/node20/solver-282916-1169324017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282916-1169324017/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.92 1.82 1.43 4/87 3957
/proc/meminfo: memFree=1332488/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=172 CPUtime=0
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280796265 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 0 0 0
/proc/3956/statm: 43 24 18 14 0 3 0

[startup+0.107435 s]
/proc/loadavg: 1.92 1.82 1.43 4/87 3957
/proc/meminfo: memFree=1332488/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=914988 CPUtime=0.09
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 3034 0 1 0 7 2 0 0 24 0 8 0 280796265 936947712 2780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228747 2781 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515484 s]
/proc/loadavg: 1.92 1.82 1.43 4/87 3957
/proc/meminfo: memFree=1332488/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915332 CPUtime=0.49
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6870 0 1 0 44 5 0 0 25 0 8 0 280796265 937299968 6608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6608 2473 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33858 s]
/proc/loadavg: 1.92 1.82 1.43 3/94 3964
/proc/meminfo: memFree=1315600/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915332 CPUtime=1.29
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6891 0 1 0 87 42 0 0 25 0 8 0 280796265 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6629 2479 14 0 215303 0
[pid=3956/tid=3958] ppid=3954 vsize=915332 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280796269 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915332 CPUtime=0.09
/proc/3956/task/3962/stat : 3962 (java) R 3954 3956 3840 0 -1 64 313 0 0 0 9 0 0 0 16 0 8 0 280796272 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937299968 6629 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915332

[startup+2.98978 s]
/proc/loadavg: 1.92 1.82 1.43 3/94 3964
/proc/meminfo: memFree=1315600/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915332 CPUtime=2.94
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6894 0 1 0 169 125 0 0 25 0 8 0 280796265 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6631 2479 14 0 215303 0
[pid=3956/tid=3958] ppid=3954 vsize=915336 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280796269 937304064 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915336 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937304064 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915332 CPUtime=0.09
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 315 0 0 0 9 0 0 0 16 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915332

[startup+6.26918 s]
/proc/loadavg: 1.93 1.83 1.43 3/94 3964
/proc/meminfo: memFree=1315544/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915332 CPUtime=6.21
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6894 0 1 0 329 292 0 0 25 0 8 0 280796265 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6631 2479 14 0 215303 0
[pid=3956/tid=3958] ppid=3954 vsize=915332 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280796269 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915336 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937304064 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915336 CPUtime=0.09
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 315 0 0 0 9 0 0 0 16 0 8 0 280796272 937304064 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937299968 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915332

[startup+12.765 s]
/proc/loadavg: 1.93 1.83 1.44 3/94 3964
/proc/meminfo: memFree=1315544/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915332 CPUtime=12.65
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6895 0 1 0 652 613 0 0 25 0 8 0 280796265 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6632 2479 14 0 215303 0
[pid=3956/tid=3958] ppid=3954 vsize=915332 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280796269 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915336 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915336 CPUtime=0.09
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280796272 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915336 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915332

[startup+25.6215 s]
/proc/loadavg: 1.95 1.83 1.45 3/94 3964
/proc/meminfo: memFree=1315544/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915336 CPUtime=25.46
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 6895 0 1 0 1288 1258 0 0 25 0 8 0 280796265 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228833 6632 2479 14 0 215303 0
[pid=3956/tid=3958] ppid=3954 vsize=915332 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280796269 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915336 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915336 CPUtime=0.09
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280796272 937304064 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915332 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937299968 6632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915336

[startup+51.2456 s]
/proc/loadavg: 1.96 1.85 1.46 3/94 3964
/proc/meminfo: memFree=1307416/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915468 CPUtime=50.96
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 9055 0 1 0 3579 1517 0 0 25 0 8 0 280796265 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073617809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228867 8790 2532 14 0 215337 0
[pid=3956/tid=3958] ppid=3954 vsize=915468 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280796269 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915468 CPUtime=0.18
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 381 0 0 0 18 0 0 0 16 0 8 0 280796272 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937439232 8790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915468

[startup+102.491 s]
/proc/loadavg: 1.98 1.87 1.48 3/94 3964
/proc/meminfo: memFree=1307416/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915468 CPUtime=101.95
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 9062 0 1 0 8678 1517 0 0 25 0 8 0 280796265 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228867 8796 2532 14 0 215337 0
[pid=3956/tid=3958] ppid=3954 vsize=915468 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280796269 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915468 CPUtime=0.18
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 382 0 0 0 18 0 0 0 16 0 8 0 280796272 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937439232 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915468

[startup+162.588 s]
/proc/loadavg: 1.99 1.89 1.51 3/94 3964
/proc/meminfo: memFree=1307352/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915468 CPUtime=161.78
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 9068 0 1 0 14660 1518 0 0 25 0 8 0 280796265 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073762979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228867 8801 2532 14 0 215337 0
[pid=3956/tid=3958] ppid=3954 vsize=915468 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280796269 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915468 CPUtime=0.18
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 382 0 0 0 18 0 0 0 16 0 8 0 280796272 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937439232 8801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.78
Current children cumulated vsize (KiB) 915468

[startup+222.681 s]
/proc/loadavg: 1.99 1.91 1.54 3/94 3964
/proc/meminfo: memFree=1307352/2055920 swapFree=4170260/4192956
[pid=3956] ppid=3954 vsize=915468 CPUtime=221.61
/proc/3956/stat : 3956 (java) R 3954 3956 3840 0 -1 0 9070 0 1 0 20643 1518 0 0 25 0 8 0 280796265 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3956/statm: 228867 8803 2532 14 0 215337 0
[pid=3956/tid=3958] ppid=3954 vsize=915468 CPUtime=0.02
/proc/3956/task/3958/stat : 3958 (java) S 3954 3956 3840 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280796269 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3959] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3959/stat : 3959 (java) S 3954 3956 3840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3960] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3960/stat : 3960 (java) S 3954 3956 3840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280796269 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3961] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3961/stat : 3961 (java) S 3954 3956 3840 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280796272 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3962] ppid=3954 vsize=915468 CPUtime=0.18
/proc/3956/task/3962/stat : 3962 (java) S 3954 3956 3840 0 -1 64 382 0 0 0 18 0 0 0 16 0 8 0 280796272 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3963] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3963/stat : 3963 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280796272 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3956/tid=3964] ppid=3954 vsize=915468 CPUtime=0
/proc/3956/task/3964/stat : 3964 (java) S 3954 3956 3840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280796272 937439232 8803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.61
Current children cumulated vsize (KiB) 915468

Child status: 0
Real time (s): 255.486
CPU time (s): 254.239
CPU user time (s): 239.051
CPU system time (s): 15.1887
CPU usage (%): 99.5122
Max. virtual memory (cumulated for all children) (KiB): 915472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.051
system time used= 15.1887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9167
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= 6274
involuntary context switches= 11207

runsolver used 0.25896 s user time and 0.899863 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan 20 20:13:37 UTC 2007


IDJOB= 282916
IDBENCH= 12963
IDSOLVER= 68
FILE ID= node20/282916-1169324017

PBS_JOBID= 3610477

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-40-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282916-1169324017/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-282916-1169324017 -o ROOT/results/node20/solver-282916-1169324017 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282916-1169324017/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d54325db3282ef19b94f41e995b8132d

RANDOM SEED= 753804903

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.216
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.216
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:       1332968 kB
Buffers:         43736 kB
Cached:         511568 kB
SwapCached:       7600 kB
Active:         227908 kB
Inactive:       422640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1332968 kB
SwapTotal:     4192956 kB
SwapFree:      4170260 kB
Dirty:            2080 kB
Writeback:           0 kB
Mapped:         110432 kB
Slab:            57036 kB
Committed_AS:  5778376 kB
PageTables:       2508 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 node20 on Sat Jan 20 20:17:53 UTC 2007