Trace number 280873

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 69.2705 70.0367

General information on the benchmark

NameMaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-7_ext.xml
MD5SUM2f903287dfcd44ff41155359b563f095
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints106
Best CPU time to get the best result obtained on this benchmark4.81627
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints109
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension109
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/280873-1169308332/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=30  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.099  cpuTime=0.08  mem=6M887
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.54	     nbConstraints=109  nbRelationTypes=109  nbExtensionStructures=109  nbSharedExtensionStructures=0
0.54	     nbConflictsStructures=109  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1286  maxDegree=10
0.54	     maxArity=2
0.54	       =>  wckTime=0.212  cpuTime=0.16  mem=8M854
0.57	   
0.57	   solver LocalSearchSolver being built... 
0.62	       =>  wckTime=0.295  cpuTime=0.2  mem=5M496
0.62	
0.62	s SATISFIABLE
0.62	o 63
0.62	c 46
0.62	o 69
0.62	c 40
0.62	o 73
0.62	c 36
0.62	o 77
0.62	c 32
0.63	o 79
0.63	c 30
0.63	o 81
0.63	c 28
0.63	o 83
0.63	c 26
0.63	o 84
0.63	c 25
0.63	o 86
0.63	c 23
0.63	o 88
0.63	c 21
0.63	o 89
0.63	c 20
0.63	o 90
0.63	c 19
0.63	o 91
0.63	c 18
0.64	o 92
0.64	c 17
0.64	o 94
0.64	c 15
0.64	o 95
0.64	c 14
0.64	o 96
0.64	c 13
0.64	o 98
0.64	c 11
0.64	o 99
0.64	c 10
0.64	o 100
0.64	c 9
0.65	o 101
0.65	c 8
0.65	o 102
0.65	c 7
0.66	o 103
0.66	c 6
0.66	o 104
0.66	c 5
0.68	o 105
0.68	c 4
0.70	o 106
0.70	c 3
2.00	   
2.00	   search
2.00	     run=0  nbConstraintChecks=6092146  nbAssignments=10000
2.00	       =>  wckTime=1.383  cpuTime=1.36  mem=5M496
3.36	   
3.36	   search
3.36	     run=1  nbConstraintChecks=12467912  nbAssignments=20000
3.36	       =>  wckTime=2.74  cpuTime=2.7  mem=5M496
4.66	   
4.66	   search
4.66	     run=2  nbConstraintChecks=18349821  nbAssignments=30000
4.66	       =>  wckTime=4.045  cpuTime=3.98  mem=5M496
5.94	   
5.94	   search
5.94	     run=3  nbConstraintChecks=24127043  nbAssignments=40000
5.94	       =>  wckTime=5.325  cpuTime=5.26  mem=5M496
7.23	   
7.23	   search
7.23	     run=4  nbConstraintChecks=29952927  nbAssignments=50000
7.23	       =>  wckTime=6.616  cpuTime=6.54  mem=5M496
8.54	   
8.54	   search
8.54	     run=5  nbConstraintChecks=35889498  nbAssignments=60000
8.54	       =>  wckTime=7.92  cpuTime=7.83  mem=5M496
9.87	   
9.87	   search
9.87	     run=6  nbConstraintChecks=42009710  nbAssignments=70000
9.87	       =>  wckTime=9.256  cpuTime=9.15  mem=5M496
11.20	   
11.20	   search
11.20	     run=7  nbConstraintChecks=48060306  nbAssignments=80000
11.20	       =>  wckTime=10.584  cpuTime=10.47  mem=5M496
12.55	   
12.55	   search
12.55	     run=8  nbConstraintChecks=54237775  nbAssignments=90000
12.55	       =>  wckTime=11.937  cpuTime=11.81  mem=5M496
13.95	   
13.95	   search
13.95	     run=9  nbConstraintChecks=60773924  nbAssignments=100000
13.95	       =>  wckTime=13.329  cpuTime=13.19  mem=5M496
15.27	   
15.27	   search
15.27	     run=10  nbConstraintChecks=66812904  nbAssignments=110000
15.27	       =>  wckTime=14.657  cpuTime=14.5  mem=5M496
16.57	   
16.57	   search
16.57	     run=11  nbConstraintChecks=72588777  nbAssignments=120000
16.57	       =>  wckTime=15.955  cpuTime=15.79  mem=5M496
17.91	   
17.91	   search
17.91	     run=12  nbConstraintChecks=78738532  nbAssignments=130000
17.91	       =>  wckTime=17.297  cpuTime=17.12  mem=5M496
19.28	   
19.28	   search
19.28	     run=13  nbConstraintChecks=85040364  nbAssignments=140000
19.28	       =>  wckTime=18.667  cpuTime=18.47  mem=5M496
20.62	   
20.62	   search
20.62	     run=14  nbConstraintChecks=91283993  nbAssignments=150000
20.62	       =>  wckTime=20.006  cpuTime=19.8  mem=5M496
21.93	   
21.93	   search
21.93	     run=15  nbConstraintChecks=97247943  nbAssignments=160000
21.93	       =>  wckTime=21.313  cpuTime=21.1  mem=5M496
23.25	   
23.25	   search
23.25	     run=16  nbConstraintChecks=103361444  nbAssignments=170000
23.25	       =>  wckTime=22.637  cpuTime=22.41  mem=5M496
24.59	   
24.59	   search
24.59	     run=17  nbConstraintChecks=109594558  nbAssignments=180000
24.59	       =>  wckTime=23.976  cpuTime=23.74  mem=5M496
25.94	   
25.94	   search
25.94	     run=18  nbConstraintChecks=115939069  nbAssignments=190000
25.95	       =>  wckTime=25.328  cpuTime=25.08  mem=5M496
27.30	   
27.30	   search
27.30	     run=19  nbConstraintChecks=122168235  nbAssignments=200000
27.30	       =>  wckTime=26.68  cpuTime=26.41  mem=5M496
28.63	   
28.63	   search
28.63	     run=20  nbConstraintChecks=128308582  nbAssignments=210000
28.63	       =>  wckTime=28.014  cpuTime=27.73  mem=5M496
30.05	   
30.05	   search
30.05	     run=21  nbConstraintChecks=135089059  nbAssignments=220000
30.05	       =>  wckTime=29.43  cpuTime=29.14  mem=5M496
31.00	   
31.00	   search
31.00	     run=22  nbConstraintChecks=139382379  nbAssignments=227159
31.00	       =>  wckTime=30.381  cpuTime=30.08  mem=5M496
31.00	   
31.00	   global
31.00	     nbConstraintChecks=139382379  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.00	     solvingWckTime=30.379  solvingCpuTime=30.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.00	     globalCpuTime=30.34
31.00	       =>  wckTime=30.676  cpuTime=30.28  mem=5M496
31.00	   
31.00	   solver IterativeSystematicSolver being built... 
31.13	       =>  wckTime=30.81  cpuTime=30.39  mem=16M518
31.18	   
31.18	   preprocessing
31.18	     nbConstraintChecks=16059  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.18	     detectedInconsistency=no
31.18	       =>  wckTime=0.046  cpuTime=0.02  mem=16M518
31.23	   
31.23	   search
31.23	     run=0  nbConstraintChecks=90998  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=58
31.23	     nbFailedAssignments=46  nbBacktracks=10  nbVisitedNodes=114  nbRestartNogoods=0
31.23	       =>  wckTime=0.09  cpuTime=0.06  mem=16M518
31.27	   
31.27	   search
31.27	     run=1  nbConstraintChecks=194246  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=125
31.27	     nbFailedAssignments=92  nbBacktracks=25  nbVisitedNodes=242  nbRestartNogoods=1
31.27	       =>  wckTime=0.136  cpuTime=0.1  mem=16M518
31.32	   
31.32	   search
31.32	     run=2  nbConstraintChecks=331102  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=217
31.32	     nbFailedAssignments=153  nbBacktracks=47  nbVisitedNodes=417  nbRestartNogoods=12
31.32	       =>  wckTime=0.189  cpuTime=0.14  mem=16M518
31.39	   
31.39	   search
31.39	     run=3  nbConstraintChecks=568822  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=380
31.39	     nbFailedAssignments=273  nbBacktracks=80  nbVisitedNodes=733  nbRestartNogoods=27
31.39	       =>  wckTime=0.258  cpuTime=0.21  mem=16M518
31.52	   
31.52	   search
31.52	     run=4  nbConstraintChecks=990466  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=632
31.52	     nbFailedAssignments=467  nbBacktracks=130  nbVisitedNodes=1229  nbRestartNogoods=43
31.52	       =>  wckTime=0.383  cpuTime=0.33  mem=16M518
31.74	   
31.74	   search
31.74	     run=5  nbConstraintChecks=1649134  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1053
31.74	     nbFailedAssignments=808  nbBacktracks=205  nbVisitedNodes=2065  nbRestartNogoods=57
31.74	       =>  wckTime=0.605  cpuTime=0.54  mem=16M518
31.95	   
31.95	   search
31.95	     run=6  nbConstraintChecks=2243273  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1447
31.95	     nbFailedAssignments=1082  nbBacktracks=318  nbVisitedNodes=2846  nbRestartNogoods=67
31.95	       =>  wckTime=0.818  cpuTime=0.75  mem=16M518
32.36	   
32.36	   search
32.36	     run=7  nbConstraintChecks=3568147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2283
32.36	     nbFailedAssignments=1740  nbBacktracks=488  nbVisitedNodes=4509  nbRestartNogoods=82
32.36	       =>  wckTime=1.229  cpuTime=1.14  mem=16M518
32.90	   
32.90	   search
32.90	     run=8  nbConstraintChecks=5333563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3369
32.90	     nbFailedAssignments=2566  nbBacktracks=744  nbVisitedNodes=6670  nbRestartNogoods=92
32.90	       =>  wckTime=1.77  cpuTime=1.67  mem=16M518
33.64	   
33.64	   search
33.64	     run=9  nbConstraintChecks=7534619  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4801
33.64	     nbFailedAssignments=3606  nbBacktracks=1128  nbVisitedNodes=9525  nbRestartNogoods=100
33.64	       =>  wckTime=2.501  cpuTime=2.4  mem=16M518
34.69	   
34.69	   search
34.69	     run=10  nbConstraintChecks=10931827  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6992
34.69	     nbFailedAssignments=5210  nbBacktracks=1704  nbVisitedNodes=13896  nbRestartNogoods=130
34.69	       =>  wckTime=3.559  cpuTime=3.44  mem=16M518
36.14	   
36.14	   search
36.14	     run=11  nbConstraintChecks=15536776  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10066
36.14	     nbFailedAssignments=7415  nbBacktracks=2568  nbVisitedNodes=20026  nbRestartNogoods=153
36.14	       =>  wckTime=5.01  cpuTime=4.88  mem=16M518
38.47	   
38.47	   search
38.47	     run=12  nbConstraintChecks=22635982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14625
38.47	     nbFailedAssignments=10670  nbBacktracks=3865  nbVisitedNodes=29112  nbRestartNogoods=167
38.47	       =>  wckTime=7.333  cpuTime=7.18  mem=16M518
41.39	   
41.39	   search
41.39	     run=13  nbConstraintChecks=31651714  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20742
41.39	     nbFailedAssignments=14837  nbBacktracks=5811  nbVisitedNodes=41295  nbRestartNogoods=181
41.39	       =>  wckTime=10.256  cpuTime=10.07  mem=16M518
45.34	   
45.34	   search
45.34	     run=14  nbConstraintChecks=42448153  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=28423
45.34	     nbFailedAssignments=19598  nbBacktracks=8730  nbVisitedNodes=56489  nbRestartNogoods=186
45.34	       =>  wckTime=14.204  cpuTime=13.99  mem=16M518
51.26	   
51.26	   search
51.26	     run=15  nbConstraintChecks=58815293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39771
51.26	     nbFailedAssignments=26565  nbBacktracks=13108  nbVisitedNodes=78864  nbRestartNogoods=197
51.26	       =>  wckTime=20.129  cpuTime=19.86  mem=16M518
59.48	   
59.48	   search
59.48	     run=16  nbConstraintChecks=80468964  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55878
59.48	     nbFailedAssignments=36099  nbBacktracks=19676  nbVisitedNodes=110559  nbRestartNogoods=222
59.48	       =>  wckTime=28.344  cpuTime=28.0  mem=16M518
69.92	   
69.92	   search
69.92	     run=17  nbConstraintChecks=107994386  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76249
69.92	     nbFailedAssignments=48221  nbBacktracks=27926  nbVisitedNodes=150604  nbRestartNogoods=229
69.92	       =>  wckTime=38.786  cpuTime=38.35  mem=16M518
69.92	   
69.92	   global
69.92	     nbConstraintChecks=108010445  nbRestartNogoods=229  solvingWckTime=38.787  solvingCpuTime=38.35  expiredTime=no
69.92	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=68.8
69.92	       =>  wckTime=69.597  cpuTime=68.74  mem=16M518
69.92	
69.92	s OPTIMUM FOUND
69.92	v 2 7 8 1 3 0 3 7 0 2 3 4 8 7 4 3 4 5 8 9 2 6 0 7 5 6 7 5 3 1 
69.93	   
69.93	   totalWckTime=69.681  totalCpuTime=68.8

Verifier Data (download as text)

3 unsatisfied constraints, 106 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/node5/watcher-280873-1169308332 -o ROOT/results/node5/solver-280873-1169308332 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/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.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=18540 CPUtime=0
/proc/26047/stat : 26047 (runsolver) R 26045 26047 24456 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 259447754 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26047/statm: 4635 279 244 17 0 2626 0

[startup+0.107849 s]
/proc/loadavg: 1.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=913236 CPUtime=0.08
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 2921 0 1 0 7 1 0 0 17 0 8 0 259447754 935153664 2667 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8326835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.515893 s]
/proc/loadavg: 1.93 1.96 1.98 4/94 26048
/proc/meminfo: memFree=1419056/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915332 CPUtime=0.49
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 6525 0 1 0 45 4 0 0 18 0 8 0 259447754 937299968 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228833 6264 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33898 s]
/proc/loadavg: 1.93 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401208/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=1.3
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7138 0 1 0 105 25 0 0 25 0 8 0 259447754 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8356151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6876 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937414656 6876 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) 915444

[startup+2.99217 s]
/proc/loadavg: 1.93 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401208/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=2.94
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 220 74 0 0 25 0 8 0 259447754 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6878 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.28255 s]
/proc/loadavg: 1.94 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401144/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915448 CPUtime=6.2
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 443 177 0 0 25 0 8 0 259447754 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228862 6878 2479 14 0 215332 0
[pid=26047/tid=26049] ppid=26045 vsize=915448 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915448 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937418752 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937418752 6878 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) 915448

[startup+12.7703 s]
/proc/loadavg: 1.95 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401144/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=12.62
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7141 0 1 0 891 371 0 0 25 0 8 0 259447754 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 6878 2479 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937414656 6878 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) 915444

[startup+25.6067 s]
/proc/loadavg: 1.95 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1401272/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915448 CPUtime=25.34
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 7142 0 1 0 1789 745 0 0 25 0 8 0 259447754 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228862 6879 2479 14 0 215332 0
[pid=26047/tid=26049] ppid=26045 vsize=915448 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 259447759 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915448 CPUtime=0.11
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915448 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937418752 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915448

[startup+51.2156 s]
/proc/loadavg: 1.97 1.96 1.98 3/101 26055
/proc/meminfo: memFree=1393976/2055920 swapFree=4192812/4192956
[pid=26047] ppid=26045 vsize=915444 CPUtime=50.71
/proc/26047/stat : 26047 (java) R 26045 26047 24456 0 -1 0 9033 0 1 0 4170 901 0 0 25 0 8 0 259447754 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26047/statm: 228861 8766 2532 14 0 215331 0
[pid=26047/tid=26049] ppid=26045 vsize=915444 CPUtime=0.02
/proc/26047/task/26049/stat : 26049 (java) S 26045 26047 24456 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 259447759 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26050] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26050/stat : 26050 (java) S 26045 26047 24456 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 259447760 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26051] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26051/stat : 26051 (java) S 26045 26047 24456 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 259447760 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26052] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26052/stat : 26052 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26053] ppid=26045 vsize=915444 CPUtime=0.22
/proc/26047/task/26053/stat : 26053 (java) S 26045 26047 24456 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26054] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26054/stat : 26054 (java) S 26045 26047 24456 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26047/tid=26055] ppid=26045 vsize=915444 CPUtime=0
/proc/26047/task/26055/stat : 26055 (java) S 26045 26047 24456 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 259447763 937414656 8766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 70.0367
CPU time (s): 69.2705
CPU user time (s): 60.2488
CPU system time (s): 9.02163
CPU usage (%): 98.906
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.2488
system time used= 9.02163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9134
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= 2521
involuntary context switches= 6783

runsolver used 0.091986 s user time and 0.238963 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan 20 15:52:12 UTC 2007


IDJOB= 280873
IDBENCH= 11976
IDSOLVER= 68
FILE ID= node5/280873-1169308332

PBS_JOBID= 3609912

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-280873-1169308332 -o ROOT/results/node5/solver-280873-1169308332 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280873-1169308332/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2f903287dfcd44ff41155359b563f095

RANDOM SEED= 164065511

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:      2055920 kB
MemFree:       1419600 kB
Buffers:         58184 kB
Cached:         443520 kB
SwapCached:          0 kB
Active:         116076 kB
Inactive:       441908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419600 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1808 kB
Writeback:           0 kB
Mapped:          82824 kB
Slab:            63028 kB
Committed_AS:  7471824 kB
PageTables:       2268 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= 66563 MiB



End job on node5 on Sat Jan 20 15:53:23 UTC 2007