Trace number 282394

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 48.6746 48.777

General information on the benchmark

NameMaxCSP/pi/pi-20-10-20-t70/
pi-20-10-20-30-91.xml
MD5SUMd7e7882fa860c9169f5f1af421caf660
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints46
Best CPU time to get the best result obtained on this benchmark0.944856
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints53
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension53
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/282394-1169319008/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.40	       =>  wckTime=0.089  cpuTime=0.09  mem=6M885
0.40	   
0.40	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.49	     nbConstraints=53  nbRelationTypes=53  nbExtensionStructures=53  nbSharedExtensionStructures=0
0.49	     nbConflictsStructures=53  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=636  maxDegree=9  maxArity=2
0.49	       =>  wckTime=0.178  cpuTime=0.13  mem=7M870
0.52	   
0.52	   solver LocalSearchSolver being built... 
0.56	       =>  wckTime=0.255  cpuTime=0.19  mem=5M422
0.57	
0.57	s SATISFIABLE
0.57	o 20
0.57	c 33
0.57	o 24
0.57	c 29
0.57	o 26
0.57	c 27
0.57	o 28
0.57	c 25
0.57	o 31
0.57	c 22
0.57	o 33
0.57	c 20
0.57	o 34
0.57	c 19
0.57	o 36
0.57	c 17
0.58	o 38
0.58	c 15
0.58	o 39
0.58	c 14
0.58	o 40
0.58	c 13
0.58	o 41
0.58	c 12
0.58	o 42
0.58	c 11
0.59	o 43
0.59	c 10
0.59	o 44
0.59	c 9
0.59	o 45
0.59	c 8
0.62	o 46
0.62	c 7
1.71	   
1.71	   search
1.71	     run=0  nbConstraintChecks=4490542  nbAssignments=10000
1.71	       =>  wckTime=1.151  cpuTime=1.13  mem=5M422
2.80	   
2.80	   search
2.81	     run=1  nbConstraintChecks=9019296  nbAssignments=20000
2.81	       =>  wckTime=2.242  cpuTime=2.21  mem=5M422
3.88	   
3.88	   search
3.88	     run=2  nbConstraintChecks=13416438  nbAssignments=30000
3.88	       =>  wckTime=3.316  cpuTime=3.28  mem=5M422
4.96	   
4.96	   search
4.96	     run=3  nbConstraintChecks=17868560  nbAssignments=40000
4.96	       =>  wckTime=4.395  cpuTime=4.37  mem=5M422
6.04	   
6.04	   search
6.04	     run=4  nbConstraintChecks=22260806  nbAssignments=50000
6.04	       =>  wckTime=5.478  cpuTime=5.44  mem=5M422
7.15	   
7.15	   search
7.15	     run=5  nbConstraintChecks=26820884  nbAssignments=60000
7.15	       =>  wckTime=6.584  cpuTime=6.55  mem=5M422
8.24	   
8.24	   search
8.24	     run=6  nbConstraintChecks=31293189  nbAssignments=70000
8.24	       =>  wckTime=7.678  cpuTime=7.64  mem=5M422
9.32	   
9.32	   search
9.32	     run=7  nbConstraintChecks=35641960  nbAssignments=80000
9.32	       =>  wckTime=8.758  cpuTime=8.73  mem=5M422
10.41	   
10.41	   search
10.41	     run=8  nbConstraintChecks=40093579  nbAssignments=90000
10.41	       =>  wckTime=9.847  cpuTime=9.81  mem=5M422
11.51	   
11.51	   search
11.51	     run=9  nbConstraintChecks=44572651  nbAssignments=100000
11.51	       =>  wckTime=10.945  cpuTime=10.91  mem=5M422
12.61	   
12.61	   search
12.61	     run=10  nbConstraintChecks=49097062  nbAssignments=110000
12.61	       =>  wckTime=12.044  cpuTime=12.0  mem=5M422
13.70	   
13.70	   search
13.70	     run=11  nbConstraintChecks=53581713  nbAssignments=120000
13.70	       =>  wckTime=13.141  cpuTime=13.1  mem=5M422
14.79	   
14.79	   search
14.79	     run=12  nbConstraintChecks=57993682  nbAssignments=130000
14.79	       =>  wckTime=14.224  cpuTime=14.19  mem=5M422
15.87	   
15.87	   search
15.87	     run=13  nbConstraintChecks=62517636  nbAssignments=140000
15.87	       =>  wckTime=15.305  cpuTime=15.27  mem=5M422
16.93	   
16.93	   search
16.93	     run=14  nbConstraintChecks=66879550  nbAssignments=150000
16.93	       =>  wckTime=16.368  cpuTime=16.32  mem=5M422
18.02	   
18.02	   search
18.02	     run=15  nbConstraintChecks=71477092  nbAssignments=160000
18.02	       =>  wckTime=17.452  cpuTime=17.41  mem=5M422
19.09	   
19.09	   search
19.09	     run=16  nbConstraintChecks=75951394  nbAssignments=170000
19.09	       =>  wckTime=18.527  cpuTime=18.48  mem=5M422
20.18	   
20.18	   search
20.18	     run=17  nbConstraintChecks=80515687  nbAssignments=180000
20.18	       =>  wckTime=19.614  cpuTime=19.57  mem=5M422
21.25	   
21.25	   search
21.25	     run=18  nbConstraintChecks=85002824  nbAssignments=190000
21.25	       =>  wckTime=20.691  cpuTime=20.65  mem=5M422
22.36	   
22.36	   search
22.36	     run=19  nbConstraintChecks=89762150  nbAssignments=200000
22.36	       =>  wckTime=21.798  cpuTime=21.75  mem=5M422
23.43	   
23.43	   search
23.43	     run=20  nbConstraintChecks=94206812  nbAssignments=210000
23.43	       =>  wckTime=22.87  cpuTime=22.82  mem=5M422
24.51	   
24.51	   search
24.51	     run=21  nbConstraintChecks=98651257  nbAssignments=220000
24.51	       =>  wckTime=23.943  cpuTime=23.9  mem=5M422
25.58	   
25.58	   search
25.58	     run=22  nbConstraintChecks=103084830  nbAssignments=230000
25.58	       =>  wckTime=25.021  cpuTime=24.98  mem=5M422
26.69	   
26.69	   search
26.69	     run=23  nbConstraintChecks=107826367  nbAssignments=240000
26.69	       =>  wckTime=26.129  cpuTime=26.08  mem=5M422
27.77	   
27.77	   search
27.77	     run=24  nbConstraintChecks=112253059  nbAssignments=250000
27.77	       =>  wckTime=27.209  cpuTime=27.16  mem=5M422
28.86	   
28.86	   search
28.86	     run=25  nbConstraintChecks=116782999  nbAssignments=260000
28.86	       =>  wckTime=28.297  cpuTime=28.25  mem=5M422
29.95	   
29.95	   search
29.95	     run=26  nbConstraintChecks=121268525  nbAssignments=270000
29.95	       =>  wckTime=29.383  cpuTime=29.34  mem=5M422
30.66	   
30.66	   search
30.66	     run=27  nbConstraintChecks=124146089  nbAssignments=276613
30.66	       =>  wckTime=30.093  cpuTime=30.05  mem=5M422
30.66	   
30.66	   global
30.66	     nbConstraintChecks=124146089  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.66	     solvingWckTime=30.092  solvingCpuTime=30.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.66	     globalCpuTime=30.29
30.66	       =>  wckTime=30.349  cpuTime=30.24  mem=5M422
30.66	   
30.66	   solver IterativeSystematicSolver being built... 
30.80	       =>  wckTime=30.489  cpuTime=30.34  mem=16M459
30.83	   
30.83	   preprocessing
30.83	     nbConstraintChecks=10129  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.83	     detectedInconsistency=no
30.83	       =>  wckTime=0.031  cpuTime=0.02  mem=16M459
30.87	   
30.87	   search
30.87	     run=0  nbConstraintChecks=51112  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51
30.87	     nbFailedAssignments=37  nbBacktracks=10  nbVisitedNodes=99  nbRestartNogoods=0
30.87	       =>  wckTime=0.067  cpuTime=0.04  mem=16M459
30.90	   
30.90	   search
30.90	     run=1  nbConstraintChecks=114247  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=123
30.90	     nbFailedAssignments=91  nbBacktracks=25  nbVisitedNodes=240  nbRestartNogoods=9
30.90	       =>  wckTime=0.105  cpuTime=0.07  mem=16M459
30.94	   
30.94	   search
30.94	     run=2  nbConstraintChecks=205998  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=209
30.94	     nbFailedAssignments=149  nbBacktracks=47  nbVisitedNodes=406  nbRestartNogoods=23
30.94	       =>  wckTime=0.138  cpuTime=0.1  mem=16M459
30.98	   
30.98	   search
30.98	     run=3  nbConstraintChecks=335612  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=337
30.98	     nbFailedAssignments=240  nbBacktracks=80  nbVisitedNodes=658  nbRestartNogoods=31
30.98	       =>  wckTime=0.184  cpuTime=0.15  mem=16M459
31.06	   
31.06	   search
31.06	     run=4  nbConstraintChecks=564888  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=572
31.06	     nbFailedAssignments=422  nbBacktracks=130  nbVisitedNodes=1125  nbRestartNogoods=42
31.06	       =>  wckTime=0.262  cpuTime=0.23  mem=16M459
31.15	   
31.15	   search
31.15	     run=5  nbConstraintChecks=876646  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=854
31.15	     nbFailedAssignments=625  nbBacktracks=205  nbVisitedNodes=1684  nbRestartNogoods=53
31.15	       =>  wckTime=0.353  cpuTime=0.32  mem=16M459
31.32	   
31.32	   search
31.32	     run=6  nbConstraintChecks=1401271  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1371
31.32	     nbFailedAssignments=1025  nbBacktracks=319  nbVisitedNodes=2713  nbRestartNogoods=62
31.32	       =>  wckTime=0.518  cpuTime=0.48  mem=16M459
31.54	   
31.54	   search
31.54	     run=7  nbConstraintChecks=2087564  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2058
31.54	     nbFailedAssignments=1539  nbBacktracks=490  nbVisitedNodes=4078  nbRestartNogoods=84
31.54	       =>  wckTime=0.739  cpuTime=0.68  mem=16M459
31.85	   
31.85	   search
31.85	     run=8  nbConstraintChecks=3169146  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3163
31.85	     nbFailedAssignments=2385  nbBacktracks=746  nbVisitedNodes=6267  nbRestartNogoods=99
31.85	       =>  wckTime=1.048  cpuTime=0.98  mem=16M459
32.20	   
32.20	   search
32.20	     run=9  nbConstraintChecks=4536487  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4396
32.20	     nbFailedAssignments=3229  nbBacktracks=1130  nbVisitedNodes=8725  nbRestartNogoods=119
32.20	       =>  wckTime=1.401  cpuTime=1.33  mem=16M459
32.89	   
32.89	   search
32.89	     run=10  nbConstraintChecks=7133541  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6751
32.89	     nbFailedAssignments=5002  nbBacktracks=1706  nbVisitedNodes=13420  nbRestartNogoods=134
32.89	       =>  wckTime=2.092  cpuTime=2.02  mem=16M459
33.82	   
33.82	   search
33.82	     run=11  nbConstraintChecks=10590450  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9946
33.82	     nbFailedAssignments=7329  nbBacktracks=2570  nbVisitedNodes=19763  nbRestartNogoods=145
33.82	       =>  wckTime=3.023  cpuTime=2.95  mem=16M459
35.26	   
35.26	   search
35.26	     run=12  nbConstraintChecks=16137345  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15008
35.26	     nbFailedAssignments=11090  nbBacktracks=3867  nbVisitedNodes=29840  nbRestartNogoods=168
35.26	       =>  wckTime=4.463  cpuTime=4.39  mem=16M459
37.48	   
37.48	   search
37.48	     run=13  nbConstraintChecks=24371947  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22619
37.48	     nbFailedAssignments=16752  nbBacktracks=5813  nbVisitedNodes=44976  nbRestartNogoods=178
37.48	       =>  wckTime=6.684  cpuTime=6.6  mem=16M459
40.64	   
40.64	   search
40.64	     run=14  nbConstraintChecks=35923331  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33482
40.64	     nbFailedAssignments=24694  nbBacktracks=8732  nbVisitedNodes=66471  nbRestartNogoods=195
40.64	       =>  wckTime=9.841  cpuTime=9.75  mem=16M459
44.90	   
44.90	   search
44.90	     run=15  nbConstraintChecks=52836264  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=49013
44.90	     nbFailedAssignments=35844  nbBacktracks=13110  nbVisitedNodes=97350  nbRestartNogoods=214
44.90	       =>  wckTime=14.096  cpuTime=13.99  mem=16M459
48.75	   
48.75	   search
48.75	     run=16  nbConstraintChecks=68677384  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=63076
48.75	     nbFailedAssignments=45827  nbBacktracks=17191  nbVisitedNodes=125197  nbRestartNogoods=230
48.75	       =>  wckTime=17.948  cpuTime=17.81  mem=16M459
48.75	   
48.75	   global
48.75	     nbConstraintChecks=68687513  nbRestartNogoods=230  solvingWckTime=17.949  solvingCpuTime=17.81  expiredTime=no
48.75	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=48.2
48.75	       =>  wckTime=48.439  cpuTime=48.15  mem=16M459
48.75	
48.75	s OPTIMUM FOUND
48.75	v 8 7 6 6 3 7 5 4 4 1 6 10 1 5 4 8 9 1 4 8 
48.75	   
48.75	   totalWckTime=48.52  totalCpuTime=48.2

Verifier Data (download as text)

7 unsatisfied constraints, 46 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/node23/watcher-282394-1169319008 -o ROOT/results/node23/solver-282394-1169319008 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282394-1169319008/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.36 1.06 1.01 4/93 24645
/proc/meminfo: memFree=1275936/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=18540 CPUtime=0
/proc/24644/stat : 24644 (runsolver) R 24642 24644 24112 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 280295387 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24644/statm: 4635 279 244 17 0 2626 0

[startup+0.108381 s]
/proc/loadavg: 1.36 1.06 1.01 4/93 24645
/proc/meminfo: memFree=1275936/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=914988 CPUtime=0.09
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 3038 0 1 0 8 1 0 0 20 0 8 0 280295387 936947712 2784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228747 2786 1444 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.520459 s]
/proc/loadavg: 1.36 1.06 1.01 4/93 24645
/proc/meminfo: memFree=1275936/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915332 CPUtime=0.51
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6516 0 1 0 46 5 0 0 22 0 8 0 280295387 937299968 6254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228833 6254 2169 14 0 215303 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915332

[startup+1.34162 s]
/proc/loadavg: 1.41 1.08 1.02 3/100 24652
/proc/meminfo: memFree=1259368/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915440 CPUtime=1.32
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6868 0 1 0 100 32 0 0 25 0 8 0 280295387 937410560 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228859 6606 2479 14 0 215329 0
[pid=24644/tid=24646] ppid=24642 vsize=915436 CPUtime=0.02
/proc/24644/task/24646/stat : 24646 (java) S 24642 24644 24112 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280295391 937406464 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24647] ppid=24642 vsize=915440 CPUtime=0
/proc/24644/task/24647/stat : 24647 (java) S 24642 24644 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280295391 937410560 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24648] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24648/stat : 24648 (java) S 24642 24644 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280295391 937406464 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24649] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24649/stat : 24649 (java) S 24642 24644 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280295394 937406464 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24650] ppid=24642 vsize=915440 CPUtime=0.1
/proc/24644/task/24650/stat : 24650 (java) S 24642 24644 24112 0 -1 64 324 0 0 0 10 0 0 0 16 0 8 0 280295394 937410560 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24651] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24651/stat : 24651 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280295394 937406464 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24652] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24652/stat : 24652 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280295394 937406464 6606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915440

[startup+2.97893 s]
/proc/loadavg: 1.41 1.08 1.02 4/100 24652
/proc/meminfo: memFree=1259368/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915436 CPUtime=2.95
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6871 0 1 0 203 92 0 0 25 0 8 0 280295387 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228859 6608 2479 14 0 215329 0
[pid=24644/tid=24646] ppid=24642 vsize=915440 CPUtime=0.02
/proc/24644/task/24646/stat : 24646 (java) S 24642 24644 24112 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280295391 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24647] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24647/stat : 24647 (java) S 24642 24644 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24648] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24648/stat : 24648 (java) S 24642 24644 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24649] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24649/stat : 24649 (java) S 24642 24644 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24650] ppid=24642 vsize=915436 CPUtime=0.11
/proc/24644/task/24650/stat : 24650 (java) S 24642 24644 24112 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24651] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24651/stat : 24651 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24652] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24652/stat : 24652 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915436

[startup+6.27657 s]
/proc/loadavg: 1.41 1.08 1.02 3/100 24652
/proc/meminfo: memFree=1259304/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915436 CPUtime=6.25
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6871 0 1 0 408 217 0 0 25 0 8 0 280295387 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228860 6608 2479 14 0 215330 0
[pid=24644/tid=24646] ppid=24642 vsize=915436 CPUtime=0.02
/proc/24644/task/24646/stat : 24646 (java) S 24642 24644 24112 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24647] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24647/stat : 24647 (java) S 24642 24644 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24648] ppid=24642 vsize=915440 CPUtime=0
/proc/24644/task/24648/stat : 24648 (java) S 24642 24644 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280295391 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24649] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24649/stat : 24649 (java) S 24642 24644 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24650] ppid=24642 vsize=915436 CPUtime=0.11
/proc/24644/task/24650/stat : 24650 (java) S 24642 24644 24112 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24651] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24651/stat : 24651 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24652] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24652/stat : 24652 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915436

[startup+12.7488 s]
/proc/loadavg: 1.50 1.11 1.03 3/100 24652
/proc/meminfo: memFree=1259320/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915436 CPUtime=12.72
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6871 0 1 0 808 464 0 0 25 0 8 0 280295387 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228859 6608 2479 14 0 215329 0
[pid=24644/tid=24646] ppid=24642 vsize=915436 CPUtime=0.02
/proc/24644/task/24646/stat : 24646 (java) S 24642 24644 24112 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24647] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24647/stat : 24647 (java) S 24642 24644 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24648] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24648/stat : 24648 (java) S 24642 24644 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280295391 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24649] ppid=24642 vsize=915440 CPUtime=0
/proc/24644/task/24649/stat : 24649 (java) S 24642 24644 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280295394 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24650] ppid=24642 vsize=915436 CPUtime=0.11
/proc/24644/task/24650/stat : 24650 (java) S 24642 24644 24112 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24651] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24651/stat : 24651 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24652] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24652/stat : 24652 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280295394 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915436

[startup+25.6043 s]
/proc/loadavg: 1.58 1.14 1.04 3/100 24652
/proc/meminfo: memFree=1250808/2055920 swapFree=4156072/4192956
[pid=24644] ppid=24642 vsize=915440 CPUtime=25.57
/proc/24644/stat : 24644 (java) R 24642 24644 24112 0 -1 0 6872 0 1 0 1627 930 0 0 25 0 8 0 280295387 937410560 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24644/statm: 228859 6609 2479 14 0 215329 0
[pid=24644/tid=24646] ppid=24642 vsize=915436 CPUtime=0.02
/proc/24644/task/24646/stat : 24646 (java) S 24642 24644 24112 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 280295391 937406464 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24647] ppid=24642 vsize=915440 CPUtime=0
/proc/24644/task/24647/stat : 24647 (java) S 24642 24644 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280295391 937410560 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24648] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24648/stat : 24648 (java) S 24642 24644 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280295391 937406464 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24649] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24649/stat : 24649 (java) S 24642 24644 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280295394 937406464 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24650] ppid=24642 vsize=915440 CPUtime=0.11
/proc/24644/task/24650/stat : 24650 (java) S 24642 24644 24112 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 280295394 937410560 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24651] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24651/stat : 24651 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280295394 937406464 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24644/tid=24652] ppid=24642 vsize=915436 CPUtime=0
/proc/24644/task/24652/stat : 24652 (java) S 24642 24644 24112 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280295394 937406464 6609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915440

Child status: 0
Real time (s): 48.777
CPU time (s): 48.6746
CPU user time (s): 37.5103
CPU system time (s): 11.1643
CPU usage (%): 99.79
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.5103
system time used= 11.1643
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9176
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= 2038
involuntary context switches= 3467

runsolver used 0.06499 s user time and 0.143978 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan 20 18:50:09 UTC 2007


IDJOB= 282394
IDBENCH= 12755
IDSOLVER= 68
FILE ID= node23/282394-1169319008

PBS_JOBID= 3610348

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-20-10-20-t70/pi-20-10-20-30-91.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282394-1169319008/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-282394-1169319008 -o ROOT/results/node23/solver-282394-1169319008 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282394-1169319008/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7e7882fa860c9169f5f1af421caf660

RANDOM SEED= 962279516

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.265
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.265
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:       1276544 kB
Buffers:         40932 kB
Cached:         619276 kB
SwapCached:      12040 kB
Active:         181956 kB
Inactive:       531408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1276544 kB
SwapTotal:     4192956 kB
SwapFree:      4156072 kB
Dirty:            3536 kB
Writeback:           0 kB
Mapped:          76704 kB
Slab:            50692 kB
Committed_AS:  6118152 kB
PageTables:       2368 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 node23 on Sat Jan 20 18:51:00 UTC 2007