Trace number 280946

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 84.2482 85.2604

General information on the benchmark

NameMaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-39_ext.xml
MD5SUM87f5aa1220054fda273b57978016554f
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 benchmark2.01069
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/280946-1169308852/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=1296  maxDegree=14
0.53	     maxArity=2
0.53	       =>  wckTime=0.214  cpuTime=0.15  mem=8M893
0.57	   
0.57	   solver LocalSearchSolver being built... 
0.61	       =>  wckTime=0.297  cpuTime=0.2  mem=5M496
0.61	
0.61	s SATISFIABLE
0.61	o 55
0.61	c 54
0.61	o 61
0.61	c 48
0.62	o 66
0.62	c 43
0.62	o 68
0.62	c 41
0.62	o 72
0.62	c 37
0.62	o 74
0.62	c 35
0.62	o 75
0.62	c 34
0.62	o 78
0.62	c 31
0.62	o 79
0.62	c 30
0.62	o 81
0.62	c 28
0.62	o 83
0.62	c 26
0.62	o 86
0.62	c 23
0.63	o 88
0.63	c 21
0.63	o 89
0.63	c 20
0.63	o 92
0.63	c 17
0.63	o 93
0.63	c 16
0.63	o 94
0.63	c 15
0.63	o 95
0.63	c 14
0.63	o 97
0.63	c 12
0.63	o 98
0.63	c 11
0.63	o 100
0.63	c 9
0.63	o 101
0.63	c 8
0.63	o 102
0.63	c 7
0.63	o 103
0.64	c 6
0.64	o 104
0.64	c 5
0.64	o 105
0.64	c 4
0.64	o 106
0.64	c 3
1.92	   
1.92	   search
1.92	     run=0  nbConstraintChecks=5418498  nbAssignments=10000
1.92	       =>  wckTime=1.314  cpuTime=1.28  mem=5M496
3.23	   
3.23	   search
3.23	     run=1  nbConstraintChecks=11330038  nbAssignments=20000
3.23	       =>  wckTime=2.617  cpuTime=2.56  mem=5M496
4.49	   
4.49	   search
4.49	     run=2  nbConstraintChecks=17026978  nbAssignments=30000
4.49	       =>  wckTime=3.884  cpuTime=3.81  mem=5M496
5.79	   
5.79	   search
5.79	     run=3  nbConstraintChecks=22858615  nbAssignments=40000
5.79	       =>  wckTime=5.177  cpuTime=5.09  mem=5M496
7.07	   
7.07	   search
7.07	     run=4  nbConstraintChecks=28704764  nbAssignments=50000
7.07	       =>  wckTime=6.465  cpuTime=6.37  mem=5M496
8.39	   
8.39	   search
8.39	     run=5  nbConstraintChecks=34758728  nbAssignments=60000
8.39	       =>  wckTime=7.783  cpuTime=7.68  mem=5M496
9.71	   
9.71	   search
9.71	     run=6  nbConstraintChecks=40585815  nbAssignments=70000
9.71	       =>  wckTime=9.102  cpuTime=8.96  mem=5M496
11.01	   
11.01	   search
11.02	     run=7  nbConstraintChecks=46439220  nbAssignments=80000
11.02	       =>  wckTime=10.405  cpuTime=10.25  mem=5M496
12.31	   
12.31	   search
12.31	     run=8  nbConstraintChecks=52103782  nbAssignments=90000
12.31	       =>  wckTime=11.705  cpuTime=11.52  mem=5M496
13.66	   
13.66	   search
13.66	     run=9  nbConstraintChecks=58015888  nbAssignments=100000
13.66	       =>  wckTime=13.049  cpuTime=12.83  mem=5M496
14.95	   
14.95	   search
14.95	     run=10  nbConstraintChecks=63774020  nbAssignments=110000
14.95	       =>  wckTime=14.341  cpuTime=14.11  mem=5M496
16.27	   
16.28	   search
16.28	     run=11  nbConstraintChecks=69802989  nbAssignments=120000
16.28	       =>  wckTime=15.665  cpuTime=15.42  mem=5M496
17.55	   
17.55	   search
17.55	     run=12  nbConstraintChecks=75406447  nbAssignments=130000
17.55	       =>  wckTime=16.937  cpuTime=16.68  mem=5M496
18.88	   
18.88	   search
18.88	     run=13  nbConstraintChecks=81356282  nbAssignments=140000
18.88	       =>  wckTime=18.266  cpuTime=17.99  mem=5M496
20.14	   
20.14	   search
20.14	     run=14  nbConstraintChecks=86957552  nbAssignments=150000
20.14	       =>  wckTime=19.533  cpuTime=19.25  mem=5M496
21.41	   
21.41	   search
21.41	     run=15  nbConstraintChecks=92570744  nbAssignments=160000
21.41	       =>  wckTime=20.8  cpuTime=20.5  mem=5M496
22.67	   
22.67	   search
22.67	     run=16  nbConstraintChecks=98101674  nbAssignments=170000
22.67	       =>  wckTime=22.063  cpuTime=21.75  mem=5M496
23.95	   
23.95	   search
23.95	     run=17  nbConstraintChecks=103828400  nbAssignments=180000
23.95	       =>  wckTime=23.338  cpuTime=23.01  mem=5M496
25.22	   
25.22	   search
25.22	     run=18  nbConstraintChecks=109480588  nbAssignments=190000
25.22	       =>  wckTime=24.612  cpuTime=24.26  mem=5M496
26.53	   
26.53	   search
26.53	     run=19  nbConstraintChecks=115383063  nbAssignments=200000
26.53	       =>  wckTime=25.915  cpuTime=25.56  mem=5M496
27.80	   
27.80	   search
27.80	     run=20  nbConstraintChecks=121076952  nbAssignments=210000
27.80	       =>  wckTime=27.189  cpuTime=26.82  mem=5M496
29.11	   
29.11	   search
29.11	     run=21  nbConstraintChecks=127103926  nbAssignments=220000
29.11	       =>  wckTime=28.501  cpuTime=28.12  mem=5M496
30.40	   
30.40	   search
30.40	     run=22  nbConstraintChecks=132809512  nbAssignments=230000
30.40	       =>  wckTime=29.787  cpuTime=29.39  mem=5M496
31.04	   
31.04	   search
31.04	     run=23  nbConstraintChecks=135653034  nbAssignments=234717
31.04	       =>  wckTime=30.432  cpuTime=30.02  mem=5M496
31.04	   
31.04	   global
31.04	     nbConstraintChecks=135653034  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.04	     solvingWckTime=30.43  solvingCpuTime=30.02  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.04	     globalCpuTime=30.28
31.04	       =>  wckTime=30.73  cpuTime=30.22  mem=5M496
31.04	   
31.04	   solver IterativeSystematicSolver being built... 
31.18	       =>  wckTime=30.862  cpuTime=30.32  mem=16M518
31.18	   
31.18	   preprocessing
31.18	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.18	     detectedInconsistency=no
31.18	       =>  wckTime=0.0030  cpuTime=0.0  mem=16M518
31.28	   
31.28	   search
31.28	     run=0  nbConstraintChecks=140172  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=100
31.28	     nbFailedAssignments=85  nbBacktracks=12  nbVisitedNodes=197  nbRestartNogoods=0
31.28	       =>  wckTime=0.103  cpuTime=0.07  mem=16M518
31.34	   
31.34	   search
31.34	     run=1  nbConstraintChecks=296013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=195
31.34	     nbFailedAssignments=156  nbBacktracks=27  nbVisitedNodes=378  nbRestartNogoods=2
31.34	       =>  wckTime=0.164  cpuTime=0.12  mem=16M518
31.43	   
31.43	   search
31.43	     run=2  nbConstraintChecks=545547  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=359
31.43	     nbFailedAssignments=289  nbBacktracks=49  nbVisitedNodes=697  nbRestartNogoods=23
31.43	       =>  wckTime=0.251  cpuTime=0.21  mem=16M518
31.50	   
31.50	   search
31.50	     run=3  nbConstraintChecks=793402  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=510
31.50	     nbFailedAssignments=400  nbBacktracks=82  nbVisitedNodes=992  nbRestartNogoods=40
31.50	       =>  wckTime=0.319  cpuTime=0.28  mem=16M518
31.64	   
31.64	   search
31.64	     run=4  nbConstraintChecks=1288078  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=829
31.64	     nbFailedAssignments=661  nbBacktracks=132  nbVisitedNodes=1622  nbRestartNogoods=60
31.64	       =>  wckTime=0.468  cpuTime=0.42  mem=16M518
31.81	   
31.81	   search
31.81	     run=5  nbConstraintChecks=1842880  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1159
31.81	     nbFailedAssignments=910  nbBacktracks=207  nbVisitedNodes=2274  nbRestartNogoods=79
31.81	       =>  wckTime=0.628  cpuTime=0.57  mem=16M518
32.13	   
32.13	   search
32.13	     run=6  nbConstraintChecks=2838451  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1806
32.13	     nbFailedAssignments=1436  nbBacktracks=320  nbVisitedNodes=3554  nbRestartNogoods=92
32.13	       =>  wckTime=0.952  cpuTime=0.88  mem=16M518
32.44	   
32.44	   search
32.44	     run=7  nbConstraintChecks=4003755  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2619
32.44	     nbFailedAssignments=2072  nbBacktracks=490  nbVisitedNodes=5171  nbRestartNogoods=107
32.44	       =>  wckTime=1.261  cpuTime=1.18  mem=16M518
32.88	   
32.88	   search
32.88	     run=8  nbConstraintChecks=5655051  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3737
32.88	     nbFailedAssignments=2923  nbBacktracks=746  nbVisitedNodes=7393  nbRestartNogoods=131
32.88	       =>  wckTime=1.701  cpuTime=1.61  mem=16M518
33.70	   
33.70	   search
33.70	     run=9  nbConstraintChecks=8838444  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5765
33.70	     nbFailedAssignments=4559  nbBacktracks=1130  nbVisitedNodes=11435  nbRestartNogoods=154
33.70	       =>  wckTime=2.523  cpuTime=2.43  mem=16M518
34.52	   
34.52	   search
34.52	     run=10  nbConstraintChecks=11735455  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7978
34.52	     nbFailedAssignments=6188  nbBacktracks=1706  nbVisitedNodes=15845  nbRestartNogoods=171
34.52	       =>  wckTime=3.344  cpuTime=3.22  mem=16M518
36.58	   
36.58	   search
36.58	     run=11  nbConstraintChecks=19284512  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12880
36.58	     nbFailedAssignments=10219  nbBacktracks=2570  nbVisitedNodes=25587  nbRestartNogoods=187
36.58	       =>  wckTime=5.404  cpuTime=5.26  mem=16M518
39.33	   
39.33	   search
39.33	     run=12  nbConstraintChecks=28806254  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19060
39.33	     nbFailedAssignments=15092  nbBacktracks=3867  nbVisitedNodes=37921  nbRestartNogoods=196
39.33	       =>  wckTime=8.149  cpuTime=7.98  mem=16M518
41.82	   
41.82	   search
41.82	     run=13  nbConstraintChecks=37976059  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25423
41.82	     nbFailedAssignments=19501  nbBacktracks=5813  nbVisitedNodes=50635  nbRestartNogoods=216
41.82	       =>  wckTime=10.647  cpuTime=10.45  mem=16M518
47.63	   
47.63	   search
47.63	     run=14  nbConstraintChecks=56700294  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37889
47.63	     nbFailedAssignments=29041  nbBacktracks=8733  nbVisitedNodes=75448  nbRestartNogoods=223
47.63	       =>  wckTime=16.454  cpuTime=16.18  mem=16M518
53.90	   
53.90	   search
53.90	     run=15  nbConstraintChecks=75397053  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=50814
53.90	     nbFailedAssignments=37577  nbBacktracks=13111  nbVisitedNodes=101151  nbRestartNogoods=239
53.90	       =>  wckTime=22.723  cpuTime=22.38  mem=16M518
62.35	   
62.35	   search
62.35	     run=16  nbConstraintChecks=99410928  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=68143
62.35	     nbFailedAssignments=48333  nbBacktracks=19679  nbVisitedNodes=135301  nbRestartNogoods=261
62.35	       =>  wckTime=31.175  cpuTime=30.74  mem=16M518
73.68	   
73.68	   search
73.68	     run=17  nbConstraintChecks=129157387  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89138
73.68	     nbFailedAssignments=59474  nbBacktracks=29531  nbVisitedNodes=176429  nbRestartNogoods=276
73.68	       =>  wckTime=42.501  cpuTime=41.96  mem=16M518
85.22	   
85.22	   search
85.22	     run=18  nbConstraintChecks=159271531  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=110708
85.22	     nbFailedAssignments=71111  nbBacktracks=39465  nbVisitedNodes=218927  nbRestartNogoods=282
85.22	       =>  wckTime=54.047  cpuTime=53.38  mem=16M518
85.23	   
85.23	   global
85.23	     nbConstraintChecks=159271531  nbRestartNogoods=282  solvingWckTime=54.049  solvingCpuTime=53.38  expiredTime=no
85.23	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=83.76
85.23	       =>  wckTime=84.912  cpuTime=83.7  mem=16M518
85.23	
85.23	s OPTIMUM FOUND
85.23	v 6 0 0 3 1 8 9 5 4 4 4 8 0 1 7 7 9 0 0 3 0 1 5 3 2 4 0 8 2 6 
85.23	   
85.23	   totalWckTime=84.991  totalCpuTime=83.76

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/node35/watcher-280946-1169308852 -o ROOT/results/node35/solver-280946-1169308852 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280946-1169308852/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.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=18540 CPUtime=0
/proc/671/stat : 671 (runsolver) R 669 671 32673 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279278877 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/671/statm: 4635 279 244 17 0 2626 0

[startup+0.107849 s]
/proc/loadavg: 1.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=914988 CPUtime=0.09
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 279278877 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516898 s]
/proc/loadavg: 1.72 1.25 1.09 4/81 672
/proc/meminfo: memFree=1378304/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915332 CPUtime=0.49
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 6554 0 1 0 45 4 0 0 18 0 8 0 279278877 937299968 6293 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228833 6293 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33999 s]
/proc/loadavg: 1.72 1.25 1.09 4/88 679
/proc/meminfo: memFree=1360456/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=1.3
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7130 0 1 0 105 25 0 0 25 0 8 0 279278877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6868 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.11
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6868 18446744073709551615 134512640 134570532 4294956480 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.98419 s]
/proc/loadavg: 1.72 1.25 1.09 3/88 679
/proc/meminfo: memFree=1360392/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=2.93
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 217 76 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 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.26358 s]
/proc/loadavg: 1.74 1.26 1.09 3/88 679
/proc/meminfo: memFree=1360328/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=6.19
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 446 173 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 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) 915444

[startup+12.7514 s]
/proc/loadavg: 1.76 1.28 1.10 5/93 719
/proc/meminfo: memFree=1358864/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=12.55
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7133 0 1 0 894 361 0 0 25 0 8 0 279278877 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6870 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915444

[startup+25.6049 s]
/proc/loadavg: 1.81 1.31 1.11 3/94 761
/proc/meminfo: memFree=1359048/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=25.27
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 7134 0 1 0 1781 746 0 0 25 0 8 0 279278877 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 6871 2476 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.12
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915444

[startup+51.222 s]
/proc/loadavg: 1.88 1.37 1.13 3/94 817
/proc/meminfo: memFree=1351688/2055920 swapFree=4184640/4192956
[pid=671] ppid=669 vsize=915444 CPUtime=50.58
/proc/671/stat : 671 (java) R 669 671 32673 0 -1 0 9026 0 1 0 4147 911 0 0 25 0 8 0 279278877 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/671/statm: 228861 8760 2527 14 0 215331 0
[pid=671/tid=673] ppid=669 vsize=915444 CPUtime=0.02
/proc/671/task/673/stat : 673 (java) S 669 671 32673 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279278881 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=674] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/674/stat : 674 (java) S 669 671 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279278882 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=675] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/675/stat : 675 (java) S 669 671 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279278882 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=676] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/676/stat : 676 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=677] ppid=669 vsize=915444 CPUtime=0.23
/proc/671/task/677/stat : 677 (java) S 669 671 32673 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=678] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/678/stat : 678 (java) S 669 671 32673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=671/tid=679] ppid=669 vsize=915444 CPUtime=0
/proc/671/task/679/stat : 679 (java) S 669 671 32673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279278885 937414656 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 85.2604
CPU time (s): 84.2482
CPU user time (s): 75.1196
CPU system time (s): 9.12861
CPU usage (%): 98.8129
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.1196
system time used= 9.12861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9132
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= 2817
involuntary context switches= 6817

runsolver used 0.113982 s user time and 0.275958 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan 20 16:00:52 UTC 2007


IDJOB= 280946
IDBENCH= 12002
IDSOLVER= 69
FILE ID= node35/280946-1169308852

PBS_JOBID= 3610132

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87f5aa1220054fda273b57978016554f

RANDOM SEED= 918411005

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.234
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.234
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:       1378784 kB
Buffers:         42180 kB
Cached:         542136 kB
SwapCached:       2184 kB
Active:         145328 kB
Inactive:       461360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1378784 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            1684 kB
Writeback:           0 kB
Mapped:          36840 kB
Slab:            55760 kB
Committed_AS:  5600388 kB
PageTables:       1880 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 node35 on Sat Jan 20 16:02:18 UTC 2007