Trace number 280945

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 93.5288 94.4446

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=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/280945-1169308755/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=30  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.41	       =>  wckTime=0.099  cpuTime=0.09  mem=6M887
0.41	   
0.41	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.52	     nbConstraints=109  nbRelationTypes=109  nbExtensionStructures=109  nbSharedExtensionStructures=0
0.52	     nbConflictsStructures=109  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1296  maxDegree=14
0.52	     maxArity=2
0.52	       =>  wckTime=0.211  cpuTime=0.15  mem=8M854
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.60	       =>  wckTime=0.294  cpuTime=0.19  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.61	o 66
0.61	c 43
0.61	o 68
0.61	c 41
0.61	o 72
0.61	c 37
0.61	o 74
0.61	c 35
0.61	o 75
0.61	c 34
0.61	o 78
0.61	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.62	o 88
0.62	c 21
0.62	o 89
0.62	c 20
0.62	o 92
0.62	c 17
0.62	o 93
0.62	c 16
0.62	o 94
0.62	c 15
0.62	o 95
0.62	c 14
0.62	o 97
0.62	c 12
0.62	o 98
0.62	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.63	c 6
0.63	o 104
0.63	c 5
0.63	o 105
0.63	c 4
0.63	o 106
0.63	c 3
1.92	   
1.92	   search
1.92	     run=0  nbConstraintChecks=5418498  nbAssignments=10000
1.92	       =>  wckTime=1.321  cpuTime=1.29  mem=5M496
3.22	   
3.22	   search
3.22	     run=1  nbConstraintChecks=11330038  nbAssignments=20000
3.22	       =>  wckTime=2.62  cpuTime=2.58  mem=5M496
4.49	   
4.49	   search
4.49	     run=2  nbConstraintChecks=17026978  nbAssignments=30000
4.49	       =>  wckTime=3.888  cpuTime=3.84  mem=5M496
5.79	   
5.79	   search
5.79	     run=3  nbConstraintChecks=22858615  nbAssignments=40000
5.79	       =>  wckTime=5.182  cpuTime=5.11  mem=5M496
7.08	   
7.08	   search
7.08	     run=4  nbConstraintChecks=28704764  nbAssignments=50000
7.08	       =>  wckTime=6.478  cpuTime=6.39  mem=5M496
8.41	   
8.41	   search
8.41	     run=5  nbConstraintChecks=34758728  nbAssignments=60000
8.41	       =>  wckTime=7.81  cpuTime=7.72  mem=5M496
9.71	   
9.71	   search
9.71	     run=6  nbConstraintChecks=40585815  nbAssignments=70000
9.71	       =>  wckTime=9.109  cpuTime=9.0  mem=5M496
11.02	   
11.02	   search
11.02	     run=7  nbConstraintChecks=46439220  nbAssignments=80000
11.02	       =>  wckTime=10.418  cpuTime=10.3  mem=5M496
12.30	   
12.30	   search
12.30	     run=8  nbConstraintChecks=52103782  nbAssignments=90000
12.30	       =>  wckTime=11.696  cpuTime=11.56  mem=5M496
13.61	   
13.61	   search
13.62	     run=9  nbConstraintChecks=58015888  nbAssignments=100000
13.62	       =>  wckTime=13.012  cpuTime=12.87  mem=5M496
14.91	   
14.91	   search
14.91	     run=10  nbConstraintChecks=63774020  nbAssignments=110000
14.91	       =>  wckTime=14.306  cpuTime=14.14  mem=5M496
16.23	   
16.23	   search
16.23	     run=11  nbConstraintChecks=69802989  nbAssignments=120000
16.23	       =>  wckTime=15.629  cpuTime=15.46  mem=5M496
17.50	   
17.50	   search
17.50	     run=12  nbConstraintChecks=75406447  nbAssignments=130000
17.50	       =>  wckTime=16.899  cpuTime=16.72  mem=5M496
18.82	   
18.82	   search
18.82	     run=13  nbConstraintChecks=81356282  nbAssignments=140000
18.82	       =>  wckTime=18.214  cpuTime=18.02  mem=5M496
20.08	   
20.08	   search
20.08	     run=14  nbConstraintChecks=86957552  nbAssignments=150000
20.08	       =>  wckTime=19.477  cpuTime=19.27  mem=5M496
21.34	   
21.34	   search
21.34	     run=15  nbConstraintChecks=92570744  nbAssignments=160000
21.34	       =>  wckTime=20.74  cpuTime=20.52  mem=5M496
22.60	   
22.60	   search
22.60	     run=16  nbConstraintChecks=98101674  nbAssignments=170000
22.60	       =>  wckTime=21.996  cpuTime=21.76  mem=5M496
23.88	   
23.88	   search
23.88	     run=17  nbConstraintChecks=103828400  nbAssignments=180000
23.88	       =>  wckTime=23.28  cpuTime=23.04  mem=5M496
25.15	   
25.15	   search
25.15	     run=18  nbConstraintChecks=109480588  nbAssignments=190000
25.15	       =>  wckTime=24.548  cpuTime=24.3  mem=5M496
26.46	   
26.46	   search
26.46	     run=19  nbConstraintChecks=115383063  nbAssignments=200000
26.46	       =>  wckTime=25.854  cpuTime=25.59  mem=5M496
27.74	   
27.74	   search
27.74	     run=20  nbConstraintChecks=121076952  nbAssignments=210000
27.74	       =>  wckTime=27.14  cpuTime=26.87  mem=5M496
29.07	   
29.07	   search
29.07	     run=21  nbConstraintChecks=127103926  nbAssignments=220000
29.07	       =>  wckTime=28.465  cpuTime=28.18  mem=5M496
30.35	   
30.35	   search
30.35	     run=22  nbConstraintChecks=132809512  nbAssignments=230000
30.35	       =>  wckTime=29.748  cpuTime=29.44  mem=5M496
30.94	   
30.94	   search
30.94	     run=23  nbConstraintChecks=135508383  nbAssignments=234481
30.95	       =>  wckTime=30.342  cpuTime=30.04  mem=5M496
30.95	   
30.95	   global
30.95	     nbConstraintChecks=135508383  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.95	     solvingWckTime=30.341  solvingCpuTime=30.04  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.95	     globalCpuTime=30.28
30.95	       =>  wckTime=30.637  cpuTime=30.23  mem=5M496
30.95	   
30.95	   solver IterativeSystematicSolver being built... 
31.08	       =>  wckTime=30.772  cpuTime=30.34  mem=16M518
31.13	   
31.13	   preprocessing
31.13	     nbConstraintChecks=14926  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.13	     detectedInconsistency=no
31.13	       =>  wckTime=0.045  cpuTime=0.02  mem=16M518
31.18	   
31.18	   search
31.18	     run=0  nbConstraintChecks=100613  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=67
31.18	     nbFailedAssignments=52  nbBacktracks=10  nbVisitedNodes=130  nbRestartNogoods=0
31.18	       =>  wckTime=0.095  cpuTime=0.07  mem=16M518
31.23	   
31.23	   search
31.23	     run=1  nbConstraintChecks=196449  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=130
31.23	     nbFailedAssignments=94  nbBacktracks=25  nbVisitedNodes=250  nbRestartNogoods=9
31.23	       =>  wckTime=0.145  cpuTime=0.11  mem=16M518
31.32	   
31.32	   search
31.32	     run=2  nbConstraintChecks=419272  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=284
31.32	     nbFailedAssignments=219  nbBacktracks=47  nbVisitedNodes=550  nbRestartNogoods=16
31.32	       =>  wckTime=0.241  cpuTime=0.19  mem=16M518
31.42	   
31.42	   search
31.42	     run=3  nbConstraintChecks=740277  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=471
31.42	     nbFailedAssignments=369  nbBacktracks=80  nbVisitedNodes=920  nbRestartNogoods=41
31.42	       =>  wckTime=0.335  cpuTime=0.29  mem=16M518
31.53	   
31.53	   search
31.53	     run=4  nbConstraintChecks=1114910  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=715
31.53	     nbFailedAssignments=556  nbBacktracks=130  nbVisitedNodes=1399  nbRestartNogoods=43
31.53	       =>  wckTime=0.45  cpuTime=0.4  mem=16M518
31.72	   
31.72	   search
31.72	     run=5  nbConstraintChecks=1676833  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1067
31.72	     nbFailedAssignments=821  nbBacktracks=205  nbVisitedNodes=2090  nbRestartNogoods=54
31.72	       =>  wckTime=0.639  cpuTime=0.58  mem=16M518
31.98	   
31.98	   search
31.98	     run=6  nbConstraintChecks=2400150  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1573
31.98	     nbFailedAssignments=1208  nbBacktracks=318  nbVisitedNodes=3084  nbRestartNogoods=82
31.98	       =>  wckTime=0.893  cpuTime=0.82  mem=16M518
32.28	   
32.28	   search
32.28	     run=7  nbConstraintChecks=3449874  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2274
32.28	     nbFailedAssignments=1728  nbBacktracks=488  nbVisitedNodes=4471  nbRestartNogoods=100
32.28	       =>  wckTime=1.201  cpuTime=1.12  mem=16M518
32.87	   
32.87	   search
32.87	     run=8  nbConstraintChecks=5233685  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3438
32.87	     nbFailedAssignments=2632  nbBacktracks=744  nbVisitedNodes=6787  nbRestartNogoods=128
32.87	       =>  wckTime=1.79  cpuTime=1.7  mem=16M518
33.63	   
33.63	   search
33.63	     run=9  nbConstraintChecks=7663921  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5006
33.63	     nbFailedAssignments=3812  nbBacktracks=1128  nbVisitedNodes=9902  nbRestartNogoods=130
33.63	       =>  wckTime=2.552  cpuTime=2.45  mem=16M518
34.79	   
34.79	   search
34.79	     run=10  nbConstraintChecks=11315865  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7401
34.79	     nbFailedAssignments=5624  nbBacktracks=1704  nbVisitedNodes=14663  nbRestartNogoods=153
34.79	       =>  wckTime=3.703  cpuTime=3.59  mem=16M518
36.53	   
36.53	   search
36.53	     run=11  nbConstraintChecks=17367023  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11132
36.53	     nbFailedAssignments=8481  nbBacktracks=2569  nbVisitedNodes=22094  nbRestartNogoods=173
36.53	       =>  wckTime=5.452  cpuTime=5.32  mem=16M518
38.82	   
38.82	   search
38.82	     run=12  nbConstraintChecks=24880663  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16213
38.82	     nbFailedAssignments=12258  nbBacktracks=3866  nbVisitedNodes=32220  nbRestartNogoods=190
38.82	       =>  wckTime=7.742  cpuTime=7.59  mem=16M518
42.42	   
42.42	   search
42.42	     run=13  nbConstraintChecks=36539794  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23930
42.42	     nbFailedAssignments=18024  nbBacktracks=5813  nbVisitedNodes=47625  nbRestartNogoods=207
42.42	       =>  wckTime=11.336  cpuTime=11.16  mem=16M518
46.99	   
47.00	   search
47.00	     run=14  nbConstraintChecks=51142481  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33711
47.00	     nbFailedAssignments=24880  nbBacktracks=8732  nbVisitedNodes=67006  nbRestartNogoods=225
47.00	       =>  wckTime=15.913  cpuTime=15.69  mem=16M518
54.11	   
54.11	   search
54.11	     run=15  nbConstraintChecks=72259573  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48177
54.11	     nbFailedAssignments=34959  nbBacktracks=13110  nbVisitedNodes=95692  nbRestartNogoods=234
54.11	       =>  wckTime=23.028  cpuTime=22.74  mem=16M518
63.21	   
63.21	   search
63.21	     run=16  nbConstraintChecks=96858165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=65465
63.21	     nbFailedAssignments=45673  nbBacktracks=19679  nbVisitedNodes=129798  nbRestartNogoods=254
63.21	       =>  wckTime=32.128  cpuTime=31.75  mem=16M518
76.26	   
76.26	   search
76.26	     run=17  nbConstraintChecks=131090175  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89133
76.26	     nbFailedAssignments=59485  nbBacktracks=29533  nbVisitedNodes=176347  nbRestartNogoods=269
76.26	       =>  wckTime=45.176  cpuTime=44.68  mem=16M518
94.40	   
94.40	   search
94.40	     run=18  nbConstraintChecks=178454427  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=122468
94.40	     nbFailedAssignments=78226  nbBacktracks=44128  nbVisitedNodes=241587  nbRestartNogoods=290
94.40	       =>  wckTime=63.313  cpuTime=62.65  mem=16M518
94.40	   
94.40	   global
94.40	     nbConstraintChecks=178469353  nbRestartNogoods=290  solvingWckTime=63.314  solvingCpuTime=62.65  expiredTime=no
94.40	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=93.04
94.40	       =>  wckTime=94.087  cpuTime=92.99  mem=16M518
94.40	
94.40	s OPTIMUM FOUND
94.40	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 
94.40	   
94.40	   totalWckTime=94.169  totalCpuTime=93.04

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-280945-1169308755 -o ROOT/results/node35/solver-280945-1169308755 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280945-1169308755/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: 0.94 0.98 0.99 4/81 614
/proc/meminfo: memFree=1378616/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=18540 CPUtime=0
/proc/613/stat : 613 (runsolver) R 611 613 32673 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279269171 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/613/statm: 4635 279 244 17 0 2626 0

[startup+0.103631 s]
/proc/loadavg: 0.94 0.98 0.99 4/81 614
/proc/meminfo: memFree=1378616/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=914988 CPUtime=0.08
/proc/613/stat : 613 (java) S 611 613 32673 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 279269171 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511681 s]
/proc/loadavg: 0.94 0.98 0.99 4/81 614
/proc/meminfo: memFree=1378616/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915332 CPUtime=0.49
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 6564 0 1 0 45 4 0 0 17 0 8 0 279269171 937299968 6303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228833 6303 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33277 s]
/proc/loadavg: 1.02 1.00 1.00 3/88 621
/proc/meminfo: memFree=1360384/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=1.3
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 7137 0 1 0 102 28 0 0 22 0 8 0 279269171 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 6875 2479 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.11
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 330 0 0 0 11 0 0 0 19 0 8 0 279269179 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 6875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 6875 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.98197 s]
/proc/loadavg: 1.02 1.00 1.00 3/88 621
/proc/meminfo: memFree=1360320/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=2.93
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 7140 0 1 0 215 78 0 0 25 0 8 0 279269171 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 6877 2479 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.12
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 6877 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.28036 s]
/proc/loadavg: 1.10 1.02 1.01 3/88 621
/proc/meminfo: memFree=1360256/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=6.21
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 7140 0 1 0 446 175 0 0 25 0 8 0 279269171 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 6877 2479 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.12
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444

[startup+12.7601 s]
/proc/loadavg: 1.17 1.03 1.01 3/88 621
/proc/meminfo: memFree=1360336/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=12.62
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 7140 0 1 0 893 369 0 0 25 0 8 0 279269171 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 1926801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 6877 2479 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.12
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 6877 18446744073709551615 134512640 134570532 4294956480 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.6037 s]
/proc/loadavg: 1.30 1.06 1.02 3/88 621
/proc/meminfo: memFree=1360464/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=25.35
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 7141 0 1 0 1776 759 0 0 25 0 8 0 279269171 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 6878 2479 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.12
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 279269179 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 6878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915444

[startup+51.2107 s]
/proc/loadavg: 1.57 1.15 1.05 3/88 621
/proc/meminfo: memFree=1353232/2055920 swapFree=4184640/4192956
[pid=613] ppid=611 vsize=915444 CPUtime=50.72
/proc/613/stat : 613 (java) R 611 613 32673 0 -1 0 9033 0 1 0 4153 919 0 0 25 0 8 0 279269171 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779650 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/613/statm: 228861 8767 2532 14 0 215331 0
[pid=613/tid=615] ppid=611 vsize=915444 CPUtime=0.02
/proc/613/task/615/stat : 615 (java) S 611 613 32673 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279269175 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=616] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/616/stat : 616 (java) S 611 613 32673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279269175 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=617] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/617/stat : 617 (java) S 611 613 32673 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279269175 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=618] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/618/stat : 618 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279269179 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=619] ppid=611 vsize=915444 CPUtime=0.23
/proc/613/task/619/stat : 619 (java) S 611 613 32673 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 279269179 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=620] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/620/stat : 620 (java) S 611 613 32673 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279269179 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=613/tid=621] ppid=611 vsize=915444 CPUtime=0
/proc/613/task/621/stat : 621 (java) S 611 613 32673 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279269179 937414656 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 94.4446
CPU time (s): 93.5288
CPU user time (s): 84.3322
CPU system time (s): 9.1966
CPU usage (%): 99.0303
Max. virtual memory (cumulated for all children) (KiB): 915960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.3322
system time used= 9.1966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9139
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= 2877
involuntary context switches= 5991

runsolver used 0.118981 s user time and 0.316951 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Jan 20 15:59:15 UTC 2007


IDJOB= 280945
IDBENCH= 12002
IDSOLVER= 68
FILE ID= node35/280945-1169308755

PBS_JOBID= 3610132

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-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280945-1169308755/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-280945-1169308755 -o ROOT/results/node35/solver-280945-1169308755 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280945-1169308755/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87f5aa1220054fda273b57978016554f

RANDOM SEED= 69752176

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:       1379032 kB
Buffers:         42160 kB
Cached:         542088 kB
SwapCached:       2184 kB
Active:         144800 kB
Inactive:       461332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379032 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:          36340 kB
Slab:            56044 kB
Committed_AS:  5597608 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:00:50 UTC 2007