Trace number 282286

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 34.9547 35.328

General information on the benchmark

NameMaxCSP/pi/pi-20-10-20-t60/
pi-20-10-20-40-61.xml
MD5SUM53dcf18aa4e6a3a5d4844041087ca345
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints50
Best CPU time to get the best result obtained on this benchmark0.219966
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/282286-1169318829/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.40	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.40	       =>  wckTime=0.089  cpuTime=0.08  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=457  maxDegree=13
0.49	     maxArity=2
0.49	       =>  wckTime=0.178  cpuTime=0.13  mem=7M860
0.53	   
0.53	   solver LocalSearchSolver being built... 
0.57	       =>  wckTime=0.256  cpuTime=0.17  mem=5M426
0.57	
0.57	s SATISFIABLE
0.57	o 22
0.57	c 31
0.57	o 24
0.57	c 29
0.57	o 27
0.57	c 26
0.58	o 29
0.58	c 24
0.58	o 31
0.58	c 22
0.58	o 34
0.58	c 19
0.58	o 36
0.58	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.58	o 43
0.58	c 10
0.58	o 44
0.58	c 9
0.59	o 46
0.59	c 7
0.59	o 47
0.59	c 6
0.59	o 48
0.59	c 5
0.60	o 49
0.60	c 4
0.67	o 50
0.67	c 3
1.59	   
1.59	   search
1.59	     run=0  nbConstraintChecks=3320316  nbAssignments=10000
1.59	       =>  wckTime=1.022  cpuTime=1.0  mem=5M426
2.57	   
2.57	   search
2.57	     run=1  nbConstraintChecks=6700732  nbAssignments=20000
2.57	       =>  wckTime=1.998  cpuTime=1.96  mem=5M426
3.54	   
3.54	   search
3.54	     run=2  nbConstraintChecks=10096905  nbAssignments=30000
3.54	       =>  wckTime=2.97  cpuTime=2.92  mem=5M426
4.55	   
4.55	   search
4.55	     run=3  nbConstraintChecks=13748746  nbAssignments=40000
4.55	       =>  wckTime=3.978  cpuTime=3.92  mem=5M426
5.56	   
5.56	   search
5.56	     run=4  nbConstraintChecks=17492008  nbAssignments=50000
5.56	       =>  wckTime=4.988  cpuTime=4.92  mem=5M426
6.56	   
6.56	   search
6.56	     run=5  nbConstraintChecks=21138668  nbAssignments=60000
6.56	       =>  wckTime=5.991  cpuTime=5.92  mem=5M426
7.55	   
7.55	   search
7.55	     run=6  nbConstraintChecks=24699890  nbAssignments=70000
7.55	       =>  wckTime=6.987  cpuTime=6.91  mem=5M426
8.56	   
8.56	   search
8.56	     run=7  nbConstraintChecks=28296302  nbAssignments=80000
8.56	       =>  wckTime=7.995  cpuTime=7.91  mem=5M426
9.56	   
9.56	   search
9.56	     run=8  nbConstraintChecks=31785872  nbAssignments=90000
9.56	       =>  wckTime=8.991  cpuTime=8.9  mem=5M426
10.56	   
10.56	   search
10.56	     run=9  nbConstraintChecks=35351131  nbAssignments=100000
10.56	       =>  wckTime=9.994  cpuTime=9.89  mem=5M426
11.55	   
11.55	   search
11.55	     run=10  nbConstraintChecks=38788384  nbAssignments=110000
11.55	       =>  wckTime=10.983  cpuTime=10.87  mem=5M426
12.57	   
12.57	   search
12.57	     run=11  nbConstraintChecks=42504563  nbAssignments=120000
12.57	       =>  wckTime=12.002  cpuTime=11.87  mem=5M426
13.57	   
13.57	   search
13.57	     run=12  nbConstraintChecks=46025710  nbAssignments=130000
13.57	       =>  wckTime=13.002  cpuTime=12.87  mem=5M426
14.55	   
14.55	   search
14.55	     run=13  nbConstraintChecks=49427722  nbAssignments=140000
14.55	       =>  wckTime=13.983  cpuTime=13.85  mem=5M426
15.54	   
15.54	   search
15.54	     run=14  nbConstraintChecks=52892255  nbAssignments=150000
15.54	       =>  wckTime=14.975  cpuTime=14.82  mem=5M426
16.53	   
16.53	   search
16.53	     run=15  nbConstraintChecks=56365888  nbAssignments=160000
16.53	       =>  wckTime=15.964  cpuTime=15.81  mem=5M426
17.54	   
17.54	   search
17.54	     run=16  nbConstraintChecks=59983709  nbAssignments=170000
17.54	       =>  wckTime=16.974  cpuTime=16.8  mem=5M426
18.55	   
18.55	   search
18.55	     run=17  nbConstraintChecks=63613085  nbAssignments=180000
18.55	       =>  wckTime=17.979  cpuTime=17.8  mem=5M426
19.55	   
19.55	   search
19.55	     run=18  nbConstraintChecks=67259235  nbAssignments=190000
19.55	       =>  wckTime=18.985  cpuTime=18.8  mem=5M426
20.52	   
20.52	   search
20.52	     run=19  nbConstraintChecks=70576490  nbAssignments=200000
20.52	       =>  wckTime=19.954  cpuTime=19.75  mem=5M426
21.52	   
21.52	   search
21.52	     run=20  nbConstraintChecks=74123643  nbAssignments=210000
21.52	       =>  wckTime=20.948  cpuTime=20.75  mem=5M426
22.48	   
22.48	   search
22.48	     run=21  nbConstraintChecks=77487483  nbAssignments=220000
22.48	       =>  wckTime=21.916  cpuTime=21.71  mem=5M426
23.46	   
23.46	   search
23.46	     run=22  nbConstraintChecks=80838834  nbAssignments=230000
23.46	       =>  wckTime=22.89  cpuTime=22.67  mem=5M426
24.45	   
24.45	   search
24.45	     run=23  nbConstraintChecks=84397673  nbAssignments=240000
24.45	       =>  wckTime=23.879  cpuTime=23.66  mem=5M426
25.43	   
25.43	   search
25.43	     run=24  nbConstraintChecks=87899842  nbAssignments=250000
25.43	       =>  wckTime=24.867  cpuTime=24.64  mem=5M426
26.45	   
26.45	   search
26.45	     run=25  nbConstraintChecks=91581249  nbAssignments=260000
26.45	       =>  wckTime=25.878  cpuTime=25.63  mem=5M426
27.44	   
27.44	   search
27.44	     run=26  nbConstraintChecks=95143176  nbAssignments=270000
27.44	       =>  wckTime=26.875  cpuTime=26.62  mem=5M426
28.42	   
28.42	   search
28.42	     run=27  nbConstraintChecks=98464420  nbAssignments=280000
28.42	       =>  wckTime=27.849  cpuTime=27.58  mem=5M426
29.43	   
29.43	   search
29.43	     run=28  nbConstraintChecks=102120635  nbAssignments=290000
29.43	       =>  wckTime=28.863  cpuTime=28.6  mem=5M426
30.41	   
30.41	   search
30.41	     run=29  nbConstraintChecks=105469650  nbAssignments=300000
30.41	       =>  wckTime=29.838  cpuTime=29.56  mem=5M426
30.94	   
30.94	   search
30.94	     run=30  nbConstraintChecks=107336919  nbAssignments=305471
30.94	       =>  wckTime=30.377  cpuTime=30.1  mem=5M426
30.95	   
30.95	   global
30.95	     nbConstraintChecks=107336919  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.95	     solvingWckTime=30.376  solvingCpuTime=30.1  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.95	     globalCpuTime=30.32
30.95	       =>  wckTime=30.634  cpuTime=30.27  mem=5M426
30.95	   
30.95	   solver IterativeSystematicSolver being built... 
31.09	       =>  wckTime=30.775  cpuTime=30.37  mem=16M495
31.13	   
31.13	   preprocessing
31.13	     nbConstraintChecks=7877  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.13	     detectedInconsistency=no
31.13	       =>  wckTime=0.035  cpuTime=0.02  mem=16M495
31.15	   
31.15	   search
31.15	     run=0  nbConstraintChecks=33616  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40
31.15	     nbFailedAssignments=28  nbBacktracks=10  nbVisitedNodes=79  nbRestartNogoods=0
31.15	       =>  wckTime=0.062  cpuTime=0.04  mem=16M495
31.20	   
31.20	   search
31.20	     run=1  nbConstraintChecks=116813  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=141
31.20	     nbFailedAssignments=110  nbBacktracks=26  nbVisitedNodes=278  nbRestartNogoods=2
31.20	       =>  wckTime=0.108  cpuTime=0.08  mem=16M495
31.25	   
31.25	   search
31.25	     run=2  nbConstraintChecks=243973  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=279
31.25	     nbFailedAssignments=223  nbBacktracks=48  nbVisitedNodes=547  nbRestartNogoods=10
31.25	       =>  wckTime=0.157  cpuTime=0.12  mem=16M495
31.29	   
31.29	   search
31.29	     run=3  nbConstraintChecks=386803  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440
31.29	     nbFailedAssignments=346  nbBacktracks=81  nbVisitedNodes=864  nbRestartNogoods=21
31.29	       =>  wckTime=0.202  cpuTime=0.16  mem=16M495
31.37	   
31.37	   search
31.37	     run=4  nbConstraintChecks=624538  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=701
31.37	     nbFailedAssignments=554  nbBacktracks=131  nbVisitedNodes=1381  nbRestartNogoods=27
31.37	       =>  wckTime=0.281  cpuTime=0.24  mem=16M495
31.45	   
31.45	   search
31.45	     run=5  nbConstraintChecks=862764  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=972
31.45	     nbFailedAssignments=744  nbBacktracks=206  nbVisitedNodes=1916  nbRestartNogoods=41
31.45	       =>  wckTime=0.364  cpuTime=0.32  mem=16M495
31.65	   
31.65	   search
31.65	     run=6  nbConstraintChecks=1450071  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1601
31.65	     nbFailedAssignments=1256  nbBacktracks=319  nbVisitedNodes=3161  nbRestartNogoods=51
31.65	       =>  wckTime=0.562  cpuTime=0.49  mem=16M495
31.84	   
31.84	   search
31.84	     run=7  nbConstraintChecks=2106287  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2318
31.84	     nbFailedAssignments=1799  nbBacktracks=489  nbVisitedNodes=4586  nbRestartNogoods=70
31.84	       =>  wckTime=0.747  cpuTime=0.67  mem=16M495
32.09	   
32.09	   search
32.09	     run=8  nbConstraintChecks=2984004  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3278
32.09	     nbFailedAssignments=2498  nbBacktracks=746  nbVisitedNodes=6493  nbRestartNogoods=83
32.09	       =>  wckTime=1.006  cpuTime=0.93  mem=16M495
32.55	   
32.55	   search
32.55	     run=9  nbConstraintChecks=4565125  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5071
32.55	     nbFailedAssignments=3904  nbBacktracks=1130  nbVisitedNodes=10052  nbRestartNogoods=112
32.55	       =>  wckTime=1.464  cpuTime=1.38  mem=16M495
33.21	   
33.21	   search
33.21	     run=10  nbConstraintChecks=6943349  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7621
33.21	     nbFailedAssignments=5876  nbBacktracks=1706  nbVisitedNodes=15137  nbRestartNogoods=133
33.21	       =>  wckTime=2.118  cpuTime=2.02  mem=16M495
33.98	   
33.98	   search
33.98	     run=11  nbConstraintChecks=9518444  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10566
33.98	     nbFailedAssignments=7953  nbBacktracks=2570  nbVisitedNodes=20977  nbRestartNogoods=155
33.98	       =>  wckTime=2.892  cpuTime=2.78  mem=16M495
35.05	   
35.05	   search
35.05	     run=12  nbConstraintChecks=13021588  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14643
35.05	     nbFailedAssignments=10731  nbBacktracks=3867  nbVisitedNodes=29084  nbRestartNogoods=174
35.05	       =>  wckTime=3.963  cpuTime=3.85  mem=16M495
35.26	   
35.26	   search
35.26	     run=13  nbConstraintChecks=13652010  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15393
35.26	     nbFailedAssignments=11190  nbBacktracks=4159  nbVisitedNodes=30567  nbRestartNogoods=181
35.26	       =>  wckTime=4.174  cpuTime=4.05  mem=16M495
35.26	   
35.26	   global
35.26	     nbConstraintChecks=13659887  nbRestartNogoods=181  solvingWckTime=4.175  solvingCpuTime=4.05  expiredTime=no
35.26	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=34.47
35.26	       =>  wckTime=34.951  cpuTime=34.42  mem=16M495
35.27	
35.27	s OPTIMUM FOUND
35.27	v 3 3 1 8 3 2 5 2 5 10 7 5 4 8 2 3 4 4 8 4 
35.27	   
35.27	   totalWckTime=35.031  totalCpuTime=34.48

Verifier Data (download as text)

3 unsatisfied constraints, 50 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/node6/watcher-282286-1169318829 -o ROOT/results/node6/solver-282286-1169318829 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282286-1169318829/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.33 1.79 1.92 4/86 1047
/proc/meminfo: memFree=1242840/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=47416 CPUtime=0
/proc/1046/stat : 1046 (java) D 1044 1046 978 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 280278408 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/1046/statm: 11854 960 760 14 0 1707 0

[startup+0.103523 s]
/proc/loadavg: 1.33 1.79 1.92 4/86 1047
/proc/meminfo: memFree=1242840/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=914988 CPUtime=0.09
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 3020 0 1 0 8 1 0 0 17 0 8 0 280278408 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155213792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511575 s]
/proc/loadavg: 1.33 1.79 1.92 4/86 1047
/proc/meminfo: memFree=1242840/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915332 CPUtime=0.49
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6410 0 1 0 45 4 0 0 19 0 8 0 280278408 937299968 6148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228833 6148 2165 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33266 s]
/proc/loadavg: 1.33 1.79 1.92 3/93 1054
/proc/meminfo: memFree=1226272/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915436 CPUtime=1.3
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6884 0 1 0 95 35 0 0 25 0 8 0 280278408 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228859 6622 2479 14 0 215329 0
[pid=1046/tid=1048] ppid=1044 vsize=915436 CPUtime=0.02
/proc/1046/task/1048/stat : 1048 (java) S 1044 1046 978 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280278411 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1049] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1049/stat : 1049 (java) S 1044 1046 978 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280278412 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1050] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1050/stat : 1050 (java) S 1044 1046 978 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280278412 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1051] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1051/stat : 1051 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280278415 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1052] ppid=1044 vsize=915436 CPUtime=0.1
/proc/1046/task/1052/stat : 1052 (java) S 1044 1046 978 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280278415 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1053] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1053/stat : 1053 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280278415 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1054] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1054/stat : 1054 (java) S 1044 1046 978 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280278415 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436

[startup+2.96986 s]
/proc/loadavg: 1.38 1.79 1.92 3/93 1054
/proc/meminfo: memFree=1226216/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915436 CPUtime=2.93
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6887 0 1 0 192 101 0 0 25 0 8 0 280278408 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228859 6624 2479 14 0 215329 0
[pid=1046/tid=1048] ppid=1044 vsize=915436 CPUtime=0.02
/proc/1046/task/1048/stat : 1048 (java) S 1044 1046 978 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280278411 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1049] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1049/stat : 1049 (java) S 1044 1046 978 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280278412 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1050] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1050/stat : 1050 (java) S 1044 1046 978 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280278412 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1051] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1051/stat : 1051 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1052] ppid=1044 vsize=915436 CPUtime=0.11
/proc/1046/task/1052/stat : 1052 (java) S 1044 1046 978 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1053] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1053/stat : 1053 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1054] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1054/stat : 1054 (java) S 1044 1046 978 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436

[startup+6.27024 s]
/proc/loadavg: 1.38 1.79 1.92 3/93 1054
/proc/meminfo: memFree=1226216/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915440 CPUtime=6.2
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6887 0 1 0 395 225 0 0 25 0 8 0 280278408 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228860 6624 2479 14 0 215330 0
[pid=1046/tid=1048] ppid=1044 vsize=915440 CPUtime=0.02
/proc/1046/task/1048/stat : 1048 (java) S 1044 1046 978 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280278411 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1049] ppid=1044 vsize=915440 CPUtime=0
/proc/1046/task/1049/stat : 1049 (java) S 1044 1046 978 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280278412 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1050] ppid=1044 vsize=915440 CPUtime=0
/proc/1046/task/1050/stat : 1050 (java) S 1044 1046 978 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280278412 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1051] ppid=1044 vsize=915440 CPUtime=0
/proc/1046/task/1051/stat : 1051 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280278415 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1052] ppid=1044 vsize=915440 CPUtime=0.11
/proc/1046/task/1052/stat : 1052 (java) S 1044 1046 978 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280278415 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1053] ppid=1044 vsize=915440 CPUtime=0
/proc/1046/task/1053/stat : 1053 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280278415 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1054] ppid=1044 vsize=915440 CPUtime=0
/proc/1046/task/1054/stat : 1054 (java) S 1044 1046 978 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280278415 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440

[startup+12.737 s]
/proc/loadavg: 1.48 1.80 1.92 3/93 1054
/proc/meminfo: memFree=1226216/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915436 CPUtime=12.6
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6887 0 1 0 781 479 0 0 25 0 8 0 280278408 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073642306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228859 6624 2479 14 0 215329 0
[pid=1046/tid=1048] ppid=1044 vsize=915436 CPUtime=0.02
/proc/1046/task/1048/stat : 1048 (java) S 1044 1046 978 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280278411 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1049] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1049/stat : 1049 (java) S 1044 1046 978 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280278412 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1050] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1050/stat : 1050 (java) S 1044 1046 978 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280278412 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1051] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1051/stat : 1051 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1052] ppid=1044 vsize=915436 CPUtime=0.11
/proc/1046/task/1052/stat : 1052 (java) S 1044 1046 978 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1053] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1053/stat : 1053 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1054] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1054/stat : 1054 (java) S 1044 1046 978 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280278415 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915436

[startup+25.5995 s]
/proc/loadavg: 1.56 1.80 1.92 3/93 1054
/proc/meminfo: memFree=1226224/2055924 swapFree=4165736/4192956
[pid=1046] ppid=1044 vsize=915436 CPUtime=25.36
/proc/1046/stat : 1046 (java) R 1044 1046 978 0 -1 0 6888 0 1 0 1541 995 0 0 25 0 8 0 280278408 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1046/statm: 228859 6625 2479 14 0 215329 0
[pid=1046/tid=1048] ppid=1044 vsize=915436 CPUtime=0.02
/proc/1046/task/1048/stat : 1048 (java) S 1044 1046 978 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280278411 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1049] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1049/stat : 1049 (java) S 1044 1046 978 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280278412 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1050] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1050/stat : 1050 (java) S 1044 1046 978 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280278412 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1051] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1051/stat : 1051 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280278415 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1052] ppid=1044 vsize=915436 CPUtime=0.11
/proc/1046/task/1052/stat : 1052 (java) S 1044 1046 978 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280278415 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1053] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1053/stat : 1053 (java) S 1044 1046 978 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280278415 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1046/tid=1054] ppid=1044 vsize=915436 CPUtime=0
/proc/1046/task/1054/stat : 1054 (java) S 1044 1046 978 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280278415 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915436

Child status: 0
Real time (s): 35.328
CPU time (s): 34.9547
CPU user time (s): 22.8545
CPU system time (s): 12.1002
CPU usage (%): 98.9433
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8545
system time used= 12.1002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9178
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= 1717
involuntary context switches= 2836

runsolver used 0.046992 s user time and 0.12998 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan 20 18:47:10 UTC 2007


IDJOB= 282286
IDBENCH= 12623
IDSOLVER= 68
FILE ID= node6/282286-1169318829

PBS_JOBID= 3610061

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  53dcf18aa4e6a3a5d4844041087ca345

RANDOM SEED= 151014940

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.240
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.240
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:      2055924 kB
MemFree:       1243320 kB
Buffers:         66428 kB
Cached:         612464 kB
SwapCached:       2944 kB
Active:         321796 kB
Inactive:       405636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1243320 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            1988 kB
Writeback:           0 kB
Mapped:          59316 kB
Slab:            69796 kB
Committed_AS:  9233460 kB
PageTables:       2340 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node6 on Sat Jan 20 18:47:46 UTC 2007