Trace number 280999

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 49.8404 50.2889

General information on the benchmark

NameMaxCSP/randomMaxCSP/sparseLoose/
vcsp-40-10-13-60-17_ext.xml
MD5SUM9449e7de32449ed6fcd45c45b1785c56
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints99
Best CPU time to get the best result obtained on this benchmark3.3055
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints101
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension101
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/280999-1169309388/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.52	     nbConstraints=101  nbRelationTypes=101  nbExtensionStructures=101  nbSharedExtensionStructures=0
0.52	     nbConflictsStructures=101  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1228  maxDegree=9
0.52	     maxArity=2
0.52	       =>  wckTime=0.209  cpuTime=0.15  mem=8M846
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.61	       =>  wckTime=0.293  cpuTime=0.2  mem=5M493
0.61	
0.61	s SATISFIABLE
0.61	o 41
0.61	c 60
0.61	o 45
0.61	c 56
0.62	o 49
0.62	c 52
0.62	o 53
0.62	c 48
0.62	o 56
0.62	c 45
0.62	o 59
0.62	c 42
0.62	o 61
0.62	c 40
0.62	o 64
0.62	c 37
0.62	o 67
0.62	c 34
0.62	o 68
0.62	c 33
0.62	o 70
0.62	c 31
0.63	o 72
0.63	c 29
0.63	o 73
0.63	c 28
0.63	o 74
0.63	c 27
0.63	o 75
0.63	c 26
0.63	o 76
0.63	c 25
0.63	o 78
0.63	c 23
0.63	o 79
0.63	c 22
0.63	o 80
0.63	c 21
0.63	o 81
0.63	c 20
0.63	o 82
0.63	c 19
0.63	o 83
0.63	c 18
0.64	o 84
0.64	c 17
0.64	o 85
0.64	c 16
0.64	o 86
0.64	c 15
0.64	o 87
0.64	c 14
0.64	o 88
0.64	c 13
0.64	o 89
0.64	c 12
0.64	o 90
0.64	c 11
0.64	o 91
0.64	c 10
0.64	o 92
0.64	c 9
0.64	o 93
0.64	c 8
0.64	o 94
0.64	c 7
0.66	o 95
0.66	c 6
0.67	o 96
0.67	c 5
0.75	o 97
0.75	c 4
1.53	o 98
1.53	c 3
2.05	   
2.05	   search
2.05	     run=0  nbConstraintChecks=5555284  nbAssignments=10000
2.05	       =>  wckTime=1.439  cpuTime=1.4  mem=5M493
3.36	   
3.36	   search
3.36	     run=1  nbConstraintChecks=11154593  nbAssignments=20000
3.36	       =>  wckTime=2.754  cpuTime=2.7  mem=5M493
3.43	o 99
3.43	c 2
4.70	   
4.70	   search
4.70	     run=2  nbConstraintChecks=16905371  nbAssignments=30000
4.70	       =>  wckTime=4.097  cpuTime=4.02  mem=5M493
6.03	   
6.03	   search
6.03	     run=3  nbConstraintChecks=22505447  nbAssignments=40000
6.03	       =>  wckTime=5.421  cpuTime=5.34  mem=5M493
7.35	   
7.35	   search
7.35	     run=4  nbConstraintChecks=28088187  nbAssignments=50000
7.35	       =>  wckTime=6.739  cpuTime=6.64  mem=5M493
8.78	   
8.78	   search
8.78	     run=5  nbConstraintChecks=34493316  nbAssignments=60000
8.78	       =>  wckTime=8.171  cpuTime=8.07  mem=5M493
10.10	   
10.10	   search
10.10	     run=6  nbConstraintChecks=40071090  nbAssignments=70000
10.10	       =>  wckTime=9.494  cpuTime=9.38  mem=5M493
11.48	   
11.48	   search
11.48	     run=7  nbConstraintChecks=46102387  nbAssignments=80000
11.48	       =>  wckTime=10.875  cpuTime=10.75  mem=5M493
12.85	   
12.85	   search
12.85	     run=8  nbConstraintChecks=51994017  nbAssignments=90000
12.85	       =>  wckTime=12.242  cpuTime=12.1  mem=5M493
14.24	   
14.24	   search
14.24	     run=9  nbConstraintChecks=58212872  nbAssignments=100000
14.24	       =>  wckTime=13.637  cpuTime=13.49  mem=5M493
15.56	   
15.56	   search
15.56	     run=10  nbConstraintChecks=63762819  nbAssignments=110000
15.56	       =>  wckTime=14.953  cpuTime=14.79  mem=5M493
16.89	   
16.89	   search
16.89	     run=11  nbConstraintChecks=69447390  nbAssignments=120000
16.89	       =>  wckTime=16.287  cpuTime=16.11  mem=5M493
18.19	   
18.19	   search
18.19	     run=12  nbConstraintChecks=74894115  nbAssignments=130000
18.19	       =>  wckTime=17.587  cpuTime=17.4  mem=5M493
19.57	   
19.57	   search
19.57	     run=13  nbConstraintChecks=80957857  nbAssignments=140000
19.57	       =>  wckTime=18.96  cpuTime=18.77  mem=5M493
20.87	   
20.87	   search
20.87	     run=14  nbConstraintChecks=86471680  nbAssignments=150000
20.87	       =>  wckTime=20.261  cpuTime=20.06  mem=5M493
22.15	   
22.15	   search
22.15	     run=15  nbConstraintChecks=91807680  nbAssignments=160000
22.15	       =>  wckTime=21.542  cpuTime=21.32  mem=5M493
23.45	   
23.45	   search
23.45	     run=16  nbConstraintChecks=97277887  nbAssignments=170000
23.45	       =>  wckTime=22.849  cpuTime=22.62  mem=5M493
24.81	   
24.81	   search
24.81	     run=17  nbConstraintChecks=103040882  nbAssignments=180000
24.81	       =>  wckTime=24.201  cpuTime=23.96  mem=5M493
26.12	   
26.12	   search
26.12	     run=18  nbConstraintChecks=108497158  nbAssignments=190000
26.12	       =>  wckTime=25.514  cpuTime=25.26  mem=5M493
27.40	   
27.40	   search
27.40	     run=19  nbConstraintChecks=113657209  nbAssignments=200000
27.40	       =>  wckTime=26.791  cpuTime=26.52  mem=5M493
28.74	   
28.74	   search
28.74	     run=20  nbConstraintChecks=119320634  nbAssignments=210000
28.74	       =>  wckTime=28.13  cpuTime=27.85  mem=5M493
30.10	   
30.10	   search
30.10	     run=21  nbConstraintChecks=125138745  nbAssignments=220000
30.10	       =>  wckTime=29.496  cpuTime=29.21  mem=5M493
31.46	   
31.46	   search
31.46	     run=22  nbConstraintChecks=130972088  nbAssignments=230000
31.46	       =>  wckTime=30.854  cpuTime=30.55  mem=5M493
32.91	   
32.91	   search
32.91	     run=23  nbConstraintChecks=137464063  nbAssignments=240000
32.91	       =>  wckTime=32.306  cpuTime=31.99  mem=5M493
33.70	   
33.70	   search
33.70	     run=24  nbConstraintChecks=140780909  nbAssignments=246034
33.70	       =>  wckTime=33.092  cpuTime=32.78  mem=5M493
33.70	   
33.70	   global
33.70	     nbConstraintChecks=140780909  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.70	     solvingWckTime=33.09  solvingCpuTime=32.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.70	     globalCpuTime=33.03
33.70	       =>  wckTime=33.386  cpuTime=32.98  mem=5M493
33.70	   
33.70	   solver IterativeSystematicSolver being built... 
33.84	       =>  wckTime=33.521  cpuTime=33.09  mem=16M548
33.89	   
33.89	   preprocessing
33.89	     nbConstraintChecks=19951  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=1
33.89	     detectedInconsistency=no
33.89	       =>  wckTime=0.055  cpuTime=0.04  mem=16M548
33.95	   
33.95	   search
33.95	     run=0  nbConstraintChecks=83935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=73
33.95	     nbFailedAssignments=54  nbBacktracks=10  nbVisitedNodes=137  nbRestartNogoods=0
33.95	       =>  wckTime=0.11  cpuTime=0.08  mem=16M548
34.02	   
34.03	   search
34.03	     run=1  nbConstraintChecks=216393  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=162
34.03	     nbFailedAssignments=125  nbBacktracks=25  nbVisitedNodes=312  nbRestartNogoods=34
34.03	       =>  wckTime=0.189  cpuTime=0.15  mem=16M548
34.09	   
34.09	   search
34.09	     run=2  nbConstraintChecks=349128  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=244
34.09	     nbFailedAssignments=178  nbBacktracks=49  nbVisitedNodes=471  nbRestartNogoods=47
34.09	       =>  wckTime=0.249  cpuTime=0.2  mem=16M548
34.22	   
34.22	   search
34.22	     run=3  nbConstraintChecks=658540  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=436
34.22	     nbFailedAssignments=332  nbBacktracks=82  nbVisitedNodes=846  nbRestartNogoods=54
34.22	       =>  wckTime=0.378  cpuTime=0.33  mem=16M548
34.43	   
34.43	   search
34.43	     run=4  nbConstraintChecks=1227350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=768
34.43	     nbFailedAssignments=608  nbBacktracks=133  nbVisitedNodes=1498  nbRestartNogoods=64
34.43	       =>  wckTime=0.594  cpuTime=0.54  mem=16M548
34.76	   
34.76	   search
34.76	     run=5  nbConstraintChecks=1959241  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1276
34.76	     nbFailedAssignments=1037  nbBacktracks=208  nbVisitedNodes=2499  nbRestartNogoods=94
34.76	       =>  wckTime=0.924  cpuTime=0.86  mem=16M548
35.04	   
35.04	   search
35.04	     run=6  nbConstraintChecks=2680671  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1778
35.04	     nbFailedAssignments=1417  nbBacktracks=322  nbVisitedNodes=3492  nbRestartNogoods=106
35.04	       =>  wckTime=1.208  cpuTime=1.13  mem=16M548
35.50	   
35.51	   search
35.51	     run=7  nbConstraintChecks=3893696  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2537
35.51	     nbFailedAssignments=2000  nbBacktracks=492  nbVisitedNodes=4995  nbRestartNogoods=114
35.51	       =>  wckTime=1.669  cpuTime=1.58  mem=16M548
36.21	   
36.21	   search
36.21	     run=8  nbConstraintChecks=5619886  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3597
36.21	     nbFailedAssignments=2798  nbBacktracks=748  nbVisitedNodes=7107  nbRestartNogoods=127
36.21	       =>  wckTime=2.371  cpuTime=2.28  mem=16M548
37.25	   
37.25	   search
37.25	     run=9  nbConstraintChecks=8601880  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5377
37.25	     nbFailedAssignments=4185  nbBacktracks=1133  nbVisitedNodes=10643  nbRestartNogoods=145
37.25	       =>  wckTime=3.413  cpuTime=3.31  mem=16M548
38.80	   
38.80	   search
38.80	     run=10  nbConstraintChecks=13028184  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8065
38.80	     nbFailedAssignments=6293  nbBacktracks=1709  nbVisitedNodes=15968  nbRestartNogoods=178
38.80	       =>  wckTime=4.96  cpuTime=4.84  mem=16M548
40.85	   
40.85	   search
40.85	     run=11  nbConstraintChecks=18156413  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11396
40.85	     nbFailedAssignments=8759  nbBacktracks=2573  nbVisitedNodes=22582  nbRestartNogoods=191
40.85	       =>  wckTime=7.018  cpuTime=6.88  mem=16M548
43.94	   
43.94	   search
43.94	     run=12  nbConstraintChecks=25588866  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16309
43.94	     nbFailedAssignments=12372  nbBacktracks=3870  nbVisitedNodes=32330  nbRestartNogoods=214
43.94	       =>  wckTime=10.1  cpuTime=9.94  mem=16M548
48.06	   
48.06	   search
48.06	     run=13  nbConstraintChecks=34462957  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22427
48.06	     nbFailedAssignments=16536  nbBacktracks=5818  nbVisitedNodes=44367  nbRestartNogoods=225
48.06	       =>  wckTime=14.221  cpuTime=14.02  mem=16M548
50.26	   
50.26	   search
50.26	     run=14  nbConstraintChecks=39101892  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25544
50.26	     nbFailedAssignments=18405  nbBacktracks=7067  nbVisitedNodes=50461  nbRestartNogoods=244
50.26	       =>  wckTime=16.424  cpuTime=16.21  mem=16M548
50.26	   
50.26	   global
50.26	     nbConstraintChecks=39121843  nbRestartNogoods=244  solvingWckTime=16.425  solvingCpuTime=16.21  expiredTime=no
50.26	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=49.35
50.26	       =>  wckTime=49.947  cpuTime=49.3  mem=16M548
50.27	
50.27	s OPTIMUM FOUND
50.27	v 2 2 0 5 6 5 0 8 1 6 8 9 6 4 0 7 6 1 3 9 2 9 8 9 5 2 6 3 0 8 7 8 1 6 6 3 5 0 9 8 
50.27	   
50.27	   totalWckTime=50.03  totalCpuTime=49.35

Verifier Data (download as text)

2 unsatisfied constraints, 99 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/node51/watcher-280999-1169309388 -o ROOT/results/node51/solver-280999-1169309388 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/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: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=9748 CPUtime=0
/proc/31879/stat : 31879 (java) D 31877 31879 31121 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 279337365 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2618148 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/31879/statm: 2437 412 333 14 0 1140 0

[startup+0.104075 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=914988 CPUtime=0.09
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 279337365 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512143 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 31880
/proc/meminfo: memFree=1273920/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915332 CPUtime=0.49
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 6527 0 1 0 44 5 0 0 18 0 8 0 279337365 937299968 6266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228833 6266 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33328 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=1.29
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7110 0 1 0 104 25 0 0 25 0 8 0 279337365 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6848 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448

[startup+2.97155 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915444 CPUtime=2.93
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7113 0 1 0 219 74 0 0 25 0 8 0 279337365 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3087477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228861 6850 2479 14 0 215331 0
[pid=31879/tid=31881] ppid=31877 vsize=915444 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915444 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937414656 6850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937414656 6850 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) 915444

[startup+6.26612 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256200/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=6.19
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7114 0 1 0 442 177 0 0 25 0 8 0 279337365 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6851 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 335 0 0 0 12 0 0 0 17 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448

[startup+12.7452 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256144/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915448 CPUtime=12.62
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7114 0 1 0 894 368 0 0 25 0 8 0 279337365 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228862 6851 2479 14 0 215332 0
[pid=31879/tid=31881] ppid=31877 vsize=915448 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915448 CPUtime=0.12
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 335 0 0 0 12 0 0 0 17 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915448 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915448

[startup+25.6034 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 31887
/proc/meminfo: memFree=1256208/2055920 swapFree=4191892/4192956
[pid=31879] ppid=31877 vsize=915444 CPUtime=25.36
/proc/31879/stat : 31879 (java) R 31877 31879 31121 0 -1 0 7115 0 1 0 1783 753 0 0 25 0 8 0 279337365 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073671694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31879/statm: 228861 6852 2479 14 0 215331 0
[pid=31879/tid=31881] ppid=31877 vsize=915444 CPUtime=0.02
/proc/31879/task/31881/stat : 31881 (java) S 31877 31879 31121 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31882] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31882/stat : 31882 (java) S 31877 31879 31121 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31883] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31883/stat : 31883 (java) S 31877 31879 31121 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279337369 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31884] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31884/stat : 31884 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31885] ppid=31877 vsize=915444 CPUtime=0.13
/proc/31879/task/31885/stat : 31885 (java) S 31877 31879 31121 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31886] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31886/stat : 31886 (java) S 31877 31879 31121 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279337372 937414656 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31879/tid=31887] ppid=31877 vsize=915444 CPUtime=0
/proc/31879/task/31887/stat : 31887 (java) S 31877 31879 31121 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279337373 937414656 6852 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) 915444

Child status: 0
Real time (s): 50.2889
CPU time (s): 49.8404
CPU user time (s): 39.8359
CPU system time (s): 10.0045
CPU usage (%): 99.1083
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8359
system time used= 10.0045
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9142
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= 2137
involuntary context switches= 3579

runsolver used 0.050992 s user time and 0.183972 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan 20 16:09:48 UTC 2007


IDJOB= 280999
IDBENCH= 12026
IDSOLVER= 68
FILE ID= node51/280999-1169309388

PBS_JOBID= 3610177

Free space on /tmp= 66556 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-280999-1169309388 -o ROOT/results/node51/solver-280999-1169309388 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280999-1169309388/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9449e7de32449ed6fcd45c45b1785c56

RANDOM SEED= 446323354

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.277
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.277
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:       1274336 kB
Buffers:         50700 kB
Cached:         569356 kB
SwapCached:        512 kB
Active:         213440 kB
Inactive:       490924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274336 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1888 kB
Writeback:           0 kB
Mapped:          94140 kB
Slab:            62532 kB
Committed_AS:  5637144 kB
PageTables:       1912 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= 66556 MiB



End job on node51 on Sat Jan 20 16:10:39 UTC 2007