Trace number 280909

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 73.1589 73.5473

General information on the benchmark

NameMaxCSP/randomMaxCSP/denseLoose/
vcsp-30-10-25-48-11_ext.xml
MD5SUM6a23201799764f9ab5945e86632e379a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints106
Best CPU time to get the best result obtained on this benchmark4.62529
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/280909-1169308438/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=30  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.098  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.53	     nbConstraints=109  nbRelationTypes=109  nbDisconnectedVariables=1  nbExtensionStructures=109
0.53	     nbSharedExtensionStructures=0  nbConflictsStructures=109  nbSharedConflictsStructures=0
0.53	     nbSharedBinaryRepresentations=1277  maxDegree=12  maxArity=2
0.53	       =>  wckTime=0.21  cpuTime=0.15  mem=8M854
0.56	   
0.57	   solver LocalSearchSolver being built... 
0.61	       =>  wckTime=0.294  cpuTime=0.19  mem=5M497
0.61	
0.61	s SATISFIABLE
0.61	o 68
0.61	c 41
0.61	o 71
0.62	c 38
0.62	o 73
0.62	c 36
0.62	o 74
0.62	c 35
0.62	o 77
0.62	c 32
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 85
0.62	c 24
0.62	o 87
0.62	c 22
0.62	o 88
0.62	c 21
0.63	o 89
0.63	c 20
0.63	o 91
0.63	c 18
0.63	o 92
0.63	c 17
0.63	o 93
0.63	c 16
0.63	o 95
0.63	c 14
0.63	o 96
0.63	c 13
0.63	o 98
0.63	c 11
0.63	o 99
0.63	c 10
0.64	o 100
0.64	c 9
0.64	o 101
0.64	c 8
0.64	o 102
0.64	c 7
0.65	o 103
0.65	c 6
0.66	o 104
0.66	c 5
0.69	o 105
0.69	c 4
0.95	o 106
0.95	c 3
1.99	   
1.99	   search
1.99	     run=0  nbConstraintChecks=6076128  nbAssignments=10000
1.99	       =>  wckTime=1.385  cpuTime=1.36  mem=5M497
3.37	   
3.37	   search
3.37	     run=1  nbConstraintChecks=12589711  nbAssignments=20000
3.37	       =>  wckTime=2.765  cpuTime=2.74  mem=5M497
4.70	   
4.70	   search
4.70	     run=2  nbConstraintChecks=18604727  nbAssignments=30000
4.70	       =>  wckTime=4.09  cpuTime=4.05  mem=5M497
6.07	   
6.07	   search
6.07	     run=3  nbConstraintChecks=24982295  nbAssignments=40000
6.07	       =>  wckTime=5.462  cpuTime=5.42  mem=5M497
7.39	   
7.39	   search
7.39	     run=4  nbConstraintChecks=30901203  nbAssignments=50000
7.39	       =>  wckTime=6.778  cpuTime=6.73  mem=5M497
8.77	   
8.77	   search
8.77	     run=5  nbConstraintChecks=37310131  nbAssignments=60000
8.77	       =>  wckTime=8.158  cpuTime=8.1  mem=5M497
10.11	   
10.11	   search
10.11	     run=6  nbConstraintChecks=43457359  nbAssignments=70000
10.11	       =>  wckTime=9.501  cpuTime=9.44  mem=5M497
11.46	   
11.46	   search
11.46	     run=7  nbConstraintChecks=49549241  nbAssignments=80000
11.46	       =>  wckTime=10.849  cpuTime=10.78  mem=5M497
12.79	   
12.79	   search
12.79	     run=8  nbConstraintChecks=55563774  nbAssignments=90000
12.79	       =>  wckTime=12.179  cpuTime=12.1  mem=5M497
14.14	   
14.14	   search
14.14	     run=9  nbConstraintChecks=61838815  nbAssignments=100000
14.14	       =>  wckTime=13.534  cpuTime=13.45  mem=5M497
15.46	   
15.46	   search
15.46	     run=10  nbConstraintChecks=67836901  nbAssignments=110000
15.46	       =>  wckTime=14.852  cpuTime=14.77  mem=5M497
16.83	   
16.83	   search
16.83	     run=11  nbConstraintChecks=74326722  nbAssignments=120000
16.83	       =>  wckTime=16.221  cpuTime=16.12  mem=5M497
18.14	   
18.14	   search
18.14	     run=12  nbConstraintChecks=80236869  nbAssignments=130000
18.14	       =>  wckTime=17.531  cpuTime=17.43  mem=5M497
19.52	   
19.52	   search
19.52	     run=13  nbConstraintChecks=86713640  nbAssignments=140000
19.52	       =>  wckTime=18.91  cpuTime=18.8  mem=5M497
20.83	   
20.83	   search
20.83	     run=14  nbConstraintChecks=92670256  nbAssignments=150000
20.83	       =>  wckTime=20.222  cpuTime=20.11  mem=5M497
22.19	   
22.19	   search
22.19	     run=15  nbConstraintChecks=99002162  nbAssignments=160000
22.19	       =>  wckTime=21.585  cpuTime=21.47  mem=5M497
23.51	   
23.51	   search
23.51	     run=16  nbConstraintChecks=104953460  nbAssignments=170000
23.51	       =>  wckTime=22.899  cpuTime=22.77  mem=5M497
24.88	   
24.88	   search
24.88	     run=17  nbConstraintChecks=111308858  nbAssignments=180000
24.88	       =>  wckTime=24.274  cpuTime=24.14  mem=5M497
26.24	   
26.24	   search
26.24	     run=18  nbConstraintChecks=117512604  nbAssignments=190000
26.24	       =>  wckTime=25.634  cpuTime=25.49  mem=5M497
27.62	   
27.62	   search
27.62	     run=19  nbConstraintChecks=123886307  nbAssignments=200000
27.62	       =>  wckTime=27.013  cpuTime=26.86  mem=5M497
28.93	   
28.93	   search
28.93	     run=20  nbConstraintChecks=129723888  nbAssignments=210000
28.93	       =>  wckTime=28.324  cpuTime=28.17  mem=5M497
30.28	   
30.28	   search
30.28	     run=21  nbConstraintChecks=135876229  nbAssignments=220000
30.28	       =>  wckTime=29.672  cpuTime=29.51  mem=5M497
31.11	   
31.11	   search
31.11	     run=22  nbConstraintChecks=139567350  nbAssignments=226322
31.11	       =>  wckTime=30.501  cpuTime=30.34  mem=5M497
31.11	   
31.11	   global
31.11	     nbConstraintChecks=139567350  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.11	     solvingWckTime=30.498  solvingCpuTime=30.33  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.11	     globalCpuTime=30.58
31.11	       =>  wckTime=30.795  cpuTime=30.53  mem=5M497
31.11	   
31.11	   solver IterativeSystematicSolver being built... 
31.24	       =>  wckTime=30.928  cpuTime=30.63  mem=16M519
31.29	   
31.29	   preprocessing
31.29	     nbConstraintChecks=18679  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.29	     detectedInconsistency=no
31.29	       =>  wckTime=0.046  cpuTime=0.03  mem=16M519
31.32	   
31.32	   search
31.32	     run=0  nbConstraintChecks=59104  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41
31.32	     nbFailedAssignments=25  nbBacktracks=10  nbVisitedNodes=77  nbRestartNogoods=0
31.32	       =>  wckTime=0.079  cpuTime=0.06  mem=16M519
31.38	   
31.38	   search
31.38	     run=1  nbConstraintChecks=166433  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=118
31.38	     nbFailedAssignments=78  nbBacktracks=26  nbVisitedNodes=223  nbRestartNogoods=15
31.38	       =>  wckTime=0.136  cpuTime=0.11  mem=16M519
31.45	   
31.45	   search
31.45	     run=2  nbConstraintChecks=351415  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=236
31.45	     nbFailedAssignments=171  nbBacktracks=48  nbVisitedNodes=456  nbRestartNogoods=25
31.45	       =>  wckTime=0.205  cpuTime=0.17  mem=16M519
31.53	   
31.53	   search
31.53	     run=3  nbConstraintChecks=610821  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=395
31.53	     nbFailedAssignments=293  nbBacktracks=81  nbVisitedNodes=769  nbRestartNogoods=26
31.53	       =>  wckTime=0.284  cpuTime=0.25  mem=16M519
31.66	   
31.66	   search
31.66	     run=4  nbConstraintChecks=1067860  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=673
31.66	     nbFailedAssignments=516  nbBacktracks=132  nbVisitedNodes=1314  nbRestartNogoods=43
31.66	       =>  wckTime=0.414  cpuTime=0.38  mem=16M519
31.89	   
31.89	   search
31.89	     run=5  nbConstraintChecks=1700456  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1050
31.89	     nbFailedAssignments=811  nbBacktracks=207  nbVisitedNodes=2060  nbRestartNogoods=63
31.89	       =>  wckTime=0.648  cpuTime=0.61  mem=16M519
32.08	   
32.08	   search
32.08	     run=6  nbConstraintChecks=2297261  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1440
32.08	     nbFailedAssignments=1078  nbBacktracks=320  nbVisitedNodes=2830  nbRestartNogoods=80
32.08	       =>  wckTime=0.832  cpuTime=0.79  mem=16M519
32.37	   
32.37	   search
32.37	     run=7  nbConstraintChecks=3285707  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2080
32.37	     nbFailedAssignments=1542  nbBacktracks=490  nbVisitedNodes=4104  nbRestartNogoods=94
32.37	       =>  wckTime=1.124  cpuTime=1.06  mem=16M519
32.81	   
32.81	   search
32.81	     run=8  nbConstraintChecks=4922607  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3117
32.81	     nbFailedAssignments=2316  nbBacktracks=746  nbVisitedNodes=6168  nbRestartNogoods=108
32.81	       =>  wckTime=1.57  cpuTime=1.5  mem=16M519
33.68	   
33.68	   search
33.68	     run=9  nbConstraintChecks=7746113  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4849
33.68	     nbFailedAssignments=3658  nbBacktracks=1131  nbVisitedNodes=9586  nbRestartNogoods=122
33.68	       =>  wckTime=2.439  cpuTime=2.37  mem=16M519
34.76	   
34.76	   search
34.76	     run=10  nbConstraintChecks=11464314  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7362
34.76	     nbFailedAssignments=5587  nbBacktracks=1707  nbVisitedNodes=14591  nbRestartNogoods=148
34.76	       =>  wckTime=3.513  cpuTime=3.43  mem=16M519
36.15	   
36.15	   search
36.15	     run=11  nbConstraintChecks=16245258  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10538
36.15	     nbFailedAssignments=7890  nbBacktracks=2571  nbVisitedNodes=20923  nbRestartNogoods=160
36.15	       =>  wckTime=4.905  cpuTime=4.82  mem=16M519
38.25	   
38.25	   search
38.25	     run=12  nbConstraintChecks=23017893  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15061
38.25	     nbFailedAssignments=11103  nbBacktracks=3868  nbVisitedNodes=29904  nbRestartNogoods=170
38.25	       =>  wckTime=7.005  cpuTime=6.9  mem=16M519
40.86	   
40.87	   search
40.87	     run=13  nbConstraintChecks=30921653  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20817
40.87	     nbFailedAssignments=14907  nbBacktracks=5814  nbVisitedNodes=41320  nbRestartNogoods=189
40.87	       =>  wckTime=9.621  cpuTime=9.5  mem=16M519
44.51	   
44.51	   search
44.51	     run=14  nbConstraintChecks=41109830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=28039
44.51	     nbFailedAssignments=19193  nbBacktracks=8733  nbVisitedNodes=55501  nbRestartNogoods=203
44.51	       =>  wckTime=13.27  cpuTime=13.13  mem=16M519
49.81	   
49.81	   search
49.81	     run=15  nbConstraintChecks=55797872  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38498
49.81	     nbFailedAssignments=25270  nbBacktracks=13112  nbVisitedNodes=76051  nbRestartNogoods=218
49.81	       =>  wckTime=18.565  cpuTime=18.4  mem=16M519
57.81	   
57.81	   search
57.81	     run=16  nbConstraintChecks=78340219  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=54409
57.81	     nbFailedAssignments=34607  nbBacktracks=19683  nbVisitedNodes=107397  nbRestartNogoods=225
57.81	       =>  wckTime=26.564  cpuTime=26.36  mem=16M519
69.40	   
69.40	   search
69.40	     run=17  nbConstraintChecks=111512983  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77684
69.40	     nbFailedAssignments=48025  nbBacktracks=29535  nbVisitedNodes=153036  nbRestartNogoods=228
69.40	       =>  wckTime=38.153  cpuTime=37.89  mem=16M519
73.50	   
73.50	   search
73.50	     run=18  nbConstraintChecks=123028930  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85522
73.50	     nbFailedAssignments=52457  nbBacktracks=32942  nbVisitedNodes=168408  nbRestartNogoods=242
73.50	       =>  wckTime=42.257  cpuTime=41.98  mem=16M519
73.50	   
73.50	   global
73.50	     nbConstraintChecks=123047609  nbRestartNogoods=242  solvingWckTime=42.258  solvingCpuTime=41.98  expiredTime=no
73.50	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=72.66
73.50	       =>  wckTime=73.187  cpuTime=72.61  mem=16M519
73.51	
73.51	s OPTIMUM FOUND
73.51	v 4 2 1 3 5 5 1 5 5 5 0 7 3 6 8 0 7 7 1 6 6 2 2 0 3 8 3 3 3 0 
73.51	   
73.51	   totalWckTime=73.27  totalCpuTime=72.67

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/node17/watcher-280909-1169308438 -o ROOT/results/node17/solver-280909-1169308438 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280909-1169308438/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.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=18540 CPUtime=0
/proc/23014/stat : 23014 (runsolver) R 23012 23014 22656 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279238667 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23014/statm: 4635 279 244 17 0 2626 0

[startup+0.107856 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=914988 CPUtime=0.09
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 279238667 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515897 s]
/proc/loadavg: 1.94 1.99 1.99 4/86 23015
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915332 CPUtime=0.49
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 6564 0 1 0 45 4 0 0 18 0 8 0 279238667 937299968 6303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228833 6303 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33698 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323808/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=1.3
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7138 0 1 0 106 24 0 0 25 0 8 0 279238667 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6876 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.12
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444

[startup+2.97515 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323744/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=2.94
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 223 71 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3228638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.1825 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323744/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=6.13
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 450 163 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915444

[startup+12.6502 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 23022
/proc/meminfo: memFree=1323760/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=12.57
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7141 0 1 0 897 360 0 0 25 0 8 0 279238667 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6878 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6878 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915444

[startup+25.5075 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 23022
/proc/meminfo: memFree=1323760/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=25.37
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 7142 0 1 0 1806 731 0 0 25 0 8 0 279238667 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3185076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 6879 2479 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.13
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 335 0 0 0 13 0 0 0 16 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444

[startup+51.1152 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 23022
/proc/meminfo: memFree=1316528/2055920 swapFree=4192812/4192956
[pid=23014] ppid=23012 vsize=915444 CPUtime=50.85
/proc/23014/stat : 23014 (java) R 23012 23014 22656 0 -1 0 9038 0 1 0 4188 897 0 0 25 0 8 0 279238667 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23014/statm: 228861 8770 2532 14 0 215331 0
[pid=23014/tid=23016] ppid=23012 vsize=915444 CPUtime=0.02
/proc/23014/task/23016/stat : 23016 (java) S 23012 23014 22656 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23017] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23017/stat : 23017 (java) S 23012 23014 22656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23018] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23018/stat : 23018 (java) S 23012 23014 22656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279238671 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23019] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23019/stat : 23019 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23020] ppid=23012 vsize=915444 CPUtime=0.23
/proc/23014/task/23020/stat : 23020 (java) S 23012 23014 22656 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23021] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23021/stat : 23021 (java) S 23012 23014 22656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23014/tid=23022] ppid=23012 vsize=915444 CPUtime=0
/proc/23014/task/23022/stat : 23022 (java) S 23012 23014 22656 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279238675 937414656 8770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 73.5473
CPU time (s): 73.1589
CPU user time (s): 64.1792
CPU system time (s): 8.97963
CPU usage (%): 99.4719
Max. virtual memory (cumulated for all children) (KiB): 915960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1792
system time used= 8.97963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9142
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2598
involuntary context switches= 3779

runsolver used 0.105983 s user time and 0.233964 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 20 15:53:59 UTC 2007


IDJOB= 280909
IDBENCH= 11989
IDSOLVER= 68
FILE ID= node17/280909-1169308438

PBS_JOBID= 3609928

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6a23201799764f9ab5945e86632e379a

RANDOM SEED= 95136902

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.236
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.236
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:       1342136 kB
Buffers:         48852 kB
Cached:         512148 kB
SwapCached:          0 kB
Active:         283380 kB
Inactive:       353660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1342136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1932 kB
Writeback:           0 kB
Mapped:          96448 kB
Slab:            61684 kB
Committed_AS:  8877320 kB
PageTables:       2228 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= 66559 MiB



End job on node17 on Sat Jan 20 15:55:13 UTC 2007