Trace number 280937

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 PFCOPTIMUM 65.707 66.2987

General information on the benchmark

NameMaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-13_ext.xml
MD5SUM4f3bc5c215021acc80005241fd74bcdd
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints107
Best CPU time to get the best result obtained on this benchmark3.2895
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/280937-1169308614/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=30  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.102  cpuTime=0.08  mem=6M910
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.53	     nbConstraints=109  nbRelationTypes=109  nbExtensionStructures=109  nbSharedExtensionStructures=0
0.53	     nbConflictsStructures=109  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1284  maxDegree=13
0.53	     maxArity=2
0.53	       =>  wckTime=0.215  cpuTime=0.15  mem=8M893
0.58	   
0.58	   solver LocalSearchSolver being built... 
0.62	       =>  wckTime=0.305  cpuTime=0.19  mem=5M496
0.62	
0.62	s SATISFIABLE
0.62	o 65
0.62	c 44
0.63	o 69
0.63	c 40
0.63	o 73
0.63	c 36
0.63	o 77
0.63	c 32
0.63	o 80
0.63	c 29
0.63	o 83
0.63	c 26
0.63	o 84
0.63	c 25
0.63	o 85
0.63	c 24
0.63	o 87
0.63	c 22
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.63	o 93
0.64	c 16
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 97
0.64	c 12
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.64	o 101
0.64	c 8
0.65	o 102
0.65	c 7
0.65	o 103
0.65	c 6
0.66	o 104
0.66	c 5
0.73	o 105
0.73	c 4
0.73	o 106
0.74	c 3
1.95	   
1.95	   search
1.95	     run=0  nbConstraintChecks=5561744  nbAssignments=10000
1.95	       =>  wckTime=1.331  cpuTime=1.3  mem=5M496
3.26	   
3.26	   search
3.26	     run=1  nbConstraintChecks=11311329  nbAssignments=20000
3.26	       =>  wckTime=2.637  cpuTime=2.59  mem=5M496
4.51	   
4.51	   search
4.51	     run=2  nbConstraintChecks=16684603  nbAssignments=30000
4.51	       =>  wckTime=3.891  cpuTime=3.83  mem=5M496
5.81	   
5.81	   search
5.81	     run=3  nbConstraintChecks=22383162  nbAssignments=40000
5.81	       =>  wckTime=5.186  cpuTime=5.12  mem=5M496
5.83	o 107
5.83	c 2
7.08	   
7.08	   search
7.08	     run=4  nbConstraintChecks=27907755  nbAssignments=50000
7.08	       =>  wckTime=6.46  cpuTime=6.39  mem=5M496
8.38	   
8.38	   search
8.38	     run=5  nbConstraintChecks=33652038  nbAssignments=60000
8.38	       =>  wckTime=7.761  cpuTime=7.68  mem=5M496
9.66	   
9.66	   search
9.66	     run=6  nbConstraintChecks=39227094  nbAssignments=70000
9.66	       =>  wckTime=9.042  cpuTime=8.94  mem=5M496
10.95	   
10.95	   search
10.95	     run=7  nbConstraintChecks=44929769  nbAssignments=80000
10.95	       =>  wckTime=10.327  cpuTime=10.22  mem=5M496
12.20	   
12.20	   search
12.20	     run=8  nbConstraintChecks=50398895  nbAssignments=90000
12.20	       =>  wckTime=11.584  cpuTime=11.47  mem=5M496
13.48	   
13.48	   search
13.48	     run=9  nbConstraintChecks=56048087  nbAssignments=100000
13.48	       =>  wckTime=12.863  cpuTime=12.73  mem=5M496
14.74	   
14.74	   search
14.74	     run=10  nbConstraintChecks=61522134  nbAssignments=110000
14.74	       =>  wckTime=14.125  cpuTime=13.98  mem=5M496
16.02	   
16.02	   search
16.02	     run=11  nbConstraintChecks=67118370  nbAssignments=120000
16.02	       =>  wckTime=15.397  cpuTime=15.25  mem=5M496
17.28	   
17.28	   search
17.28	     run=12  nbConstraintChecks=72672585  nbAssignments=130000
17.28	       =>  wckTime=16.664  cpuTime=16.5  mem=5M496
18.55	   
18.55	   search
18.55	     run=13  nbConstraintChecks=78220755  nbAssignments=140000
18.55	       =>  wckTime=17.93  cpuTime=17.76  mem=5M496
19.80	   
19.80	   search
19.80	     run=14  nbConstraintChecks=83572012  nbAssignments=150000
19.80	       =>  wckTime=19.182  cpuTime=18.99  mem=5M496
21.08	   
21.08	   search
21.08	     run=15  nbConstraintChecks=89057212  nbAssignments=160000
21.08	       =>  wckTime=20.457  cpuTime=20.26  mem=5M496
22.37	   
22.37	   search
22.37	     run=16  nbConstraintChecks=94773082  nbAssignments=170000
22.37	       =>  wckTime=21.755  cpuTime=21.54  mem=5M496
23.71	   
23.71	   search
23.71	     run=17  nbConstraintChecks=100750164  nbAssignments=180000
23.71	       =>  wckTime=23.086  cpuTime=22.87  mem=5M496
25.01	   
25.01	   search
25.01	     run=18  nbConstraintChecks=106483869  nbAssignments=190000
25.01	       =>  wckTime=24.394  cpuTime=24.16  mem=5M496
26.29	   
26.29	   search
26.29	     run=19  nbConstraintChecks=112030223  nbAssignments=200000
26.29	       =>  wckTime=25.674  cpuTime=25.42  mem=5M496
27.57	   
27.57	   search
27.57	     run=20  nbConstraintChecks=117539087  nbAssignments=210000
27.57	       =>  wckTime=26.95  cpuTime=26.69  mem=5M496
28.90	   
28.90	   search
28.90	     run=21  nbConstraintChecks=123423498  nbAssignments=220000
28.90	       =>  wckTime=28.278  cpuTime=28.0  mem=5M496
30.20	   
30.20	   search
30.20	     run=22  nbConstraintChecks=129196352  nbAssignments=230000
30.20	       =>  wckTime=29.578  cpuTime=29.3  mem=5M496
31.50	   
31.50	   search
31.50	     run=23  nbConstraintChecks=135020565  nbAssignments=240000
31.50	       =>  wckTime=30.88  cpuTime=30.59  mem=5M496
32.77	   
32.77	   search
32.77	     run=24  nbConstraintChecks=140587275  nbAssignments=250000
32.77	       =>  wckTime=32.151  cpuTime=31.85  mem=5M496
34.07	   
34.07	   search
34.07	     run=25  nbConstraintChecks=146357750  nbAssignments=260000
34.07	       =>  wckTime=33.455  cpuTime=33.14  mem=5M496
35.35	   
35.35	   search
35.35	     run=26  nbConstraintChecks=151976007  nbAssignments=270000
35.35	       =>  wckTime=34.735  cpuTime=34.41  mem=5M496
36.11	   
36.11	   search
36.11	     run=27  nbConstraintChecks=155375199  nbAssignments=275646
36.11	       =>  wckTime=35.487  cpuTime=35.16  mem=5M496
36.11	   
36.11	   global
36.11	     nbConstraintChecks=155375199  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.11	     solvingWckTime=35.485  solvingCpuTime=35.16  expiredTime=no  totalExploration=no  nbFoundSolutions=0
36.11	     globalCpuTime=35.4
36.11	       =>  wckTime=35.792  cpuTime=35.36  mem=5M496
36.11	   
36.11	   solver IterativeSystematicSolver being built... 
36.25	       =>  wckTime=35.929  cpuTime=35.46  mem=16M518
36.25	   
36.25	   preprocessing
36.25	     nbConstraintChecks=10  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
36.25	     detectedInconsistency=no
36.25	       =>  wckTime=0.0040  cpuTime=0.0  mem=16M518
36.31	   
36.32	   search
36.32	     run=0  nbConstraintChecks=69204  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48
36.32	     nbFailedAssignments=33  nbBacktracks=10  nbVisitedNodes=92  nbRestartNogoods=0
36.32	       =>  wckTime=0.068  cpuTime=0.05  mem=16M518
36.37	   
36.37	   search
36.37	     run=1  nbConstraintChecks=167909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111
36.37	     nbFailedAssignments=77  nbBacktracks=25  nbVisitedNodes=214  nbRestartNogoods=5
36.37	       =>  wckTime=0.12  cpuTime=0.09  mem=16M518
36.46	   
36.46	   search
36.46	     run=2  nbConstraintChecks=387420  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=259
36.46	     nbFailedAssignments=201  nbBacktracks=47  nbVisitedNodes=508  nbRestartNogoods=12
36.46	       =>  wckTime=0.214  cpuTime=0.18  mem=16M518
36.55	   
36.55	   search
36.56	     run=3  nbConstraintChecks=677156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=462
36.56	     nbFailedAssignments=366  nbBacktracks=81  nbVisitedNodes=910  nbRestartNogoods=18
36.56	       =>  wckTime=0.309  cpuTime=0.27  mem=16M518
36.67	   
36.67	   search
36.67	     run=4  nbConstraintChecks=1091633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=715
36.67	     nbFailedAssignments=563  nbBacktracks=131  nbVisitedNodes=1410  nbRestartNogoods=26
36.67	       =>  wckTime=0.422  cpuTime=0.39  mem=16M518
36.82	   
36.82	   search
36.82	     run=5  nbConstraintChecks=1548600  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=994
36.82	     nbFailedAssignments=758  nbBacktracks=206  nbVisitedNodes=1959  nbRestartNogoods=45
36.82	       =>  wckTime=0.569  cpuTime=0.53  mem=16M518
37.04	   
37.04	   search
37.04	     run=6  nbConstraintChecks=2255239  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1410
37.04	     nbFailedAssignments=1056  nbBacktracks=319  nbVisitedNodes=2785  nbRestartNogoods=64
37.04	       =>  wckTime=0.79  cpuTime=0.74  mem=16M518
37.36	   
37.36	   search
37.36	     run=7  nbConstraintChecks=3302122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2058
37.36	     nbFailedAssignments=1526  nbBacktracks=489  nbVisitedNodes=4073  nbRestartNogoods=68
37.36	       =>  wckTime=1.116  cpuTime=1.05  mem=16M518
37.95	   
37.95	   search
37.95	     run=8  nbConstraintChecks=5417457  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3418
37.95	     nbFailedAssignments=2621  nbBacktracks=745  nbVisitedNodes=6783  nbRestartNogoods=85
37.95	       =>  wckTime=1.708  cpuTime=1.63  mem=16M518
39.02	   
39.02	   search
39.02	     run=9  nbConstraintChecks=8874397  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5540
39.02	     nbFailedAssignments=4354  nbBacktracks=1129  nbVisitedNodes=11013  nbRestartNogoods=108
39.02	       =>  wckTime=2.776  cpuTime=2.69  mem=16M518
40.37	   
40.37	   search
40.37	     run=10  nbConstraintChecks=13624486  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8559
40.37	     nbFailedAssignments=6785  nbBacktracks=1708  nbVisitedNodes=17029  nbRestartNogoods=123
40.38	       =>  wckTime=4.129  cpuTime=4.03  mem=16M518
42.33	   
42.33	   search
42.33	     run=11  nbConstraintChecks=20525475  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12927
42.33	     nbFailedAssignments=10284  nbBacktracks=2572  nbVisitedNodes=25747  nbRestartNogoods=150
42.33	       =>  wckTime=6.088  cpuTime=5.97  mem=16M518
44.82	   
44.82	   search
44.82	     run=12  nbConstraintChecks=29251718  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18480
44.82	     nbFailedAssignments=14533  nbBacktracks=3869  nbVisitedNodes=36834  nbRestartNogoods=167
44.82	       =>  wckTime=8.57  cpuTime=8.43  mem=16M518
48.72	   
48.72	   search
48.72	     run=13  nbConstraintChecks=42039851  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26948
48.72	     nbFailedAssignments=21046  nbBacktracks=5816  nbVisitedNodes=53712  nbRestartNogoods=185
48.72	       =>  wckTime=12.471  cpuTime=12.3  mem=16M518
54.06	   
54.06	   search
54.06	     run=14  nbConstraintChecks=61250945  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39573
54.06	     nbFailedAssignments=30742  nbBacktracks=8735  nbVisitedNodes=78898  nbRestartNogoods=208
54.06	       =>  wckTime=17.813  cpuTime=17.59  mem=16M518
60.54	   
60.54	   search
60.54	     run=15  nbConstraintChecks=80773646  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53058
60.54	     nbFailedAssignments=39845  nbBacktracks=13113  nbVisitedNodes=105707  nbRestartNogoods=235
60.54	       =>  wckTime=24.292  cpuTime=24.01  mem=16M518
66.28	   
66.28	   search
66.28	     run=16  nbConstraintChecks=96859843  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=64859
66.28	     nbFailedAssignments=47706  nbBacktracks=17054  nbVisitedNodes=128904  nbRestartNogoods=252
66.28	       =>  wckTime=30.033  cpuTime=29.7  mem=16M518
66.28	   
66.28	   global
66.28	     nbConstraintChecks=96859853  nbRestartNogoods=252  solvingWckTime=30.034  solvingCpuTime=29.7  expiredTime=no
66.28	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=65.2
66.28	       =>  wckTime=65.964  cpuTime=65.16  mem=16M518
66.28	
66.28	s OPTIMUM FOUND
66.28	v 1 5 3 9 8 5 4 2 6 3 2 2 6 0 0 7 1 8 1 3 0 3 8 3 3 7 6 8 6 9 
66.28	   
66.28	   totalWckTime=66.045  totalCpuTime=65.21

Verifier Data (download as text)

2 unsatisfied constraints, 107 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/node14/watcher-280937-1169308614 -o ROOT/results/node14/solver-280937-1169308614 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280937-1169308614/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 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=18540 CPUtime=0
/proc/719/stat : 719 (runsolver) R 717 719 32259 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279256353 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/719/statm: 4635 279 244 17 0 2626 0

[startup+0.107786 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=914988 CPUtime=0.09
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 279256353 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515825 s]
/proc/loadavg: 2.00 2.00 2.00 4/87 720
/proc/meminfo: memFree=1264776/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915332 CPUtime=0.49
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 6525 0 1 0 45 4 0 0 18 0 8 0 279256353 937299968 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228833 6264 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3369 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246928/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915448 CPUtime=1.29
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7131 0 1 0 101 28 0 0 25 0 8 0 279256353 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228862 6869 2476 14 0 215332 0
[pid=719/tid=721] ppid=717 vsize=915448 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915448 CPUtime=0.12
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937418752 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937418752 6869 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.97405 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246864/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=2.92
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 217 75 0 0 25 0 8 0 279256353 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6871 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444

[startup+6.26837 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1246864/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915448 CPUtime=6.19
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 439 180 0 0 25 0 8 0 279256353 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228862 6871 2476 14 0 215332 0
[pid=719/tid=721] ppid=717 vsize=915448 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915448 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937418752 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915448 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937418752 6871 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.739 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 727
/proc/meminfo: memFree=1246928/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=12.61
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7134 0 1 0 877 384 0 0 25 0 8 0 279256353 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6871 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 333 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444

[startup+25.6102 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1247056/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=25.36
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 7135 0 1 0 1757 779 0 0 25 0 8 0 279256353 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 6872 2476 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279256357 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.13
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 6872 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

[startup+51.2166 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 727
/proc/meminfo: memFree=1239696/2055920 swapFree=4158792/4192956
[pid=719] ppid=717 vsize=915444 CPUtime=50.74
/proc/719/stat : 719 (java) R 717 719 32259 0 -1 0 9024 0 1 0 3971 1103 0 0 25 0 8 0 279256353 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/719/statm: 228861 8757 2527 14 0 215331 0
[pid=719/tid=721] ppid=717 vsize=915444 CPUtime=0.02
/proc/719/task/721/stat : 721 (java) S 717 719 32259 0 -1 64 154 0 0 0 2 0 0 0 17 0 8 0 279256357 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=722] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/722/stat : 722 (java) S 717 719 32259 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279256358 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=723] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/723/stat : 723 (java) S 717 719 32259 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279256358 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=724] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/724/stat : 724 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=725] ppid=717 vsize=915444 CPUtime=0.23
/proc/719/task/725/stat : 725 (java) S 717 719 32259 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=726] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/726/stat : 726 (java) S 717 719 32259 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=719/tid=727] ppid=717 vsize=915444 CPUtime=0
/proc/719/task/727/stat : 727 (java) S 717 719 32259 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279256361 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 66.2987
CPU time (s): 65.707
CPU user time (s): 54.6607
CPU system time (s): 11.0463
CPU usage (%): 99.1075
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.6607
system time used= 11.0463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9128
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= 2433
involuntary context switches= 4152

runsolver used 0.097985 s user time and 0.214967 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan 20 15:56:54 UTC 2007


IDJOB= 280937
IDBENCH= 12000
IDSOLVER= 69
FILE ID= node14/280937-1169308614

PBS_JOBID= 3609910

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4f3bc5c215021acc80005241fd74bcdd

RANDOM SEED= 320237744

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.227
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.227
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:       1265256 kB
Buffers:         54640 kB
Cached:         611564 kB
SwapCached:       9104 kB
Active:         218968 kB
Inactive:       493412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1265256 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            1716 kB
Writeback:           0 kB
Mapped:          55080 kB
Slab:            63064 kB
Committed_AS:  9492236 kB
PageTables:       2208 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= 66558 MiB



End job on node14 on Sat Jan 20 15:58:01 UTC 2007