Trace number 282178

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 86.6168 87.0528

General information on the benchmark

NameMaxCSP/pi/
pi-40-10-08-t60/pi-40-10-07948-40-81.xml
MD5SUM867a7efda4b5f90a16cdb69e293f03b0
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints95
Best CPU time to get the best result obtained on this benchmark2.90456
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints98
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension98
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/282178-1169318553/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.38	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.38	       =>  wckTime=0.087  cpuTime=0.08  mem=6M885
0.38	   
0.38	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.48	     nbConstraints=98  nbRelationTypes=98  nbExtensionStructures=98  nbSharedExtensionStructures=0
0.49	     nbConflictsStructures=98  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1206  maxDegree=12
0.49	     maxArity=2
0.49	       =>  wckTime=0.191  cpuTime=0.15  mem=7M910
0.52	   
0.52	   solver LocalSearchSolver being built... 
0.56	       =>  wckTime=0.266  cpuTime=0.19  mem=5M492
0.56	
0.56	s SATISFIABLE
0.56	o 42
0.56	c 56
0.56	o 45
0.56	c 53
0.57	o 48
0.57	c 50
0.57	o 51
0.57	c 47
0.57	o 54
0.57	c 44
0.57	o 57
0.57	c 41
0.57	o 60
0.57	c 38
0.57	o 63
0.57	c 35
0.57	o 66
0.57	c 32
0.57	o 69
0.57	c 29
0.57	o 71
0.57	c 27
0.58	o 74
0.58	c 24
0.58	o 76
0.58	c 22
0.58	o 77
0.58	c 21
0.58	o 78
0.58	c 20
0.58	o 80
0.58	c 18
0.58	o 81
0.58	c 17
0.58	o 82
0.58	c 16
0.58	o 83
0.58	c 15
0.58	o 84
0.58	c 14
0.59	o 85
0.59	c 13
0.59	o 86
0.59	c 12
0.59	o 87
0.59	c 11
0.59	o 88
0.59	c 10
0.59	o 89
0.59	c 9
0.60	o 90
0.60	c 8
0.60	o 91
0.60	c 7
0.60	o 92
0.60	c 6
0.60	o 93
0.60	c 5
0.82	o 94
0.82	c 4
0.82	o 95
0.82	c 3
1.84	   
1.84	   search
1.84	     run=0  nbConstraintChecks=5792529  nbAssignments=10000
1.84	       =>  wckTime=1.283  cpuTime=1.26  mem=5M492
3.17	   
3.17	   search
3.17	     run=1  nbConstraintChecks=12221246  nbAssignments=20000
3.17	       =>  wckTime=2.609  cpuTime=2.57  mem=5M492
4.45	   
4.45	   search
4.45	     run=2  nbConstraintChecks=18459993  nbAssignments=30000
4.45	       =>  wckTime=3.896  cpuTime=3.86  mem=5M492
5.81	   
5.81	   search
5.81	     run=3  nbConstraintChecks=25250153  nbAssignments=40000
5.81	       =>  wckTime=5.256  cpuTime=5.21  mem=5M492
7.08	   
7.08	   search
7.08	     run=4  nbConstraintChecks=31301992  nbAssignments=50000
7.08	       =>  wckTime=6.522  cpuTime=6.47  mem=5M492
8.37	   
8.37	   search
8.37	     run=5  nbConstraintChecks=37547269  nbAssignments=60000
8.37	       =>  wckTime=7.815  cpuTime=7.76  mem=5M492
9.63	   
9.63	   search
9.63	     run=6  nbConstraintChecks=43449239  nbAssignments=70000
9.63	       =>  wckTime=9.072  cpuTime=9.01  mem=5M492
10.94	   
10.94	   search
10.94	     run=7  nbConstraintChecks=49818014  nbAssignments=80000
10.94	       =>  wckTime=10.377  cpuTime=10.31  mem=5M492
12.19	   
12.19	   search
12.19	     run=8  nbConstraintChecks=55754763  nbAssignments=90000
12.19	       =>  wckTime=11.633  cpuTime=11.57  mem=5M492
13.46	   
13.46	   search
13.46	     run=9  nbConstraintChecks=61809500  nbAssignments=100000
13.46	       =>  wckTime=12.898  cpuTime=12.83  mem=5M492
14.74	   
14.74	   search
14.74	     run=10  nbConstraintChecks=68058180  nbAssignments=110000
14.74	       =>  wckTime=14.181  cpuTime=14.1  mem=5M492
15.98	   
15.98	   search
15.98	     run=11  nbConstraintChecks=74004226  nbAssignments=120000
15.98	       =>  wckTime=15.42  cpuTime=15.34  mem=5M492
17.25	   
17.25	   search
17.25	     run=12  nbConstraintChecks=80139469  nbAssignments=130000
17.25	       =>  wckTime=16.692  cpuTime=16.6  mem=5M492
18.51	   
18.51	   search
18.51	     run=13  nbConstraintChecks=86063601  nbAssignments=140000
18.51	       =>  wckTime=17.948  cpuTime=17.86  mem=5M492
19.77	   
19.77	   search
19.77	     run=14  nbConstraintChecks=92198941  nbAssignments=150000
19.77	       =>  wckTime=19.212  cpuTime=19.11  mem=5M492
21.05	   
21.05	   search
21.05	     run=15  nbConstraintChecks=98465505  nbAssignments=160000
21.05	       =>  wckTime=20.491  cpuTime=20.39  mem=5M492
22.32	   
22.32	   search
22.32	     run=16  nbConstraintChecks=104622919  nbAssignments=170000
22.32	       =>  wckTime=21.763  cpuTime=21.66  mem=5M492
23.59	   
23.59	   search
23.59	     run=17  nbConstraintChecks=110720019  nbAssignments=180000
23.59	       =>  wckTime=23.03  cpuTime=22.92  mem=5M492
24.85	   
24.85	   search
24.85	     run=18  nbConstraintChecks=116698286  nbAssignments=190000
24.85	       =>  wckTime=24.291  cpuTime=24.18  mem=5M492
26.14	   
26.14	   search
26.14	     run=19  nbConstraintChecks=122907797  nbAssignments=200000
26.14	       =>  wckTime=25.576  cpuTime=25.45  mem=5M492
27.40	   
27.40	   search
27.40	     run=20  nbConstraintChecks=128940910  nbAssignments=210000
27.40	       =>  wckTime=26.839  cpuTime=26.71  mem=5M492
28.64	   
28.64	   search
28.64	     run=21  nbConstraintChecks=134781536  nbAssignments=220000
28.64	       =>  wckTime=28.083  cpuTime=27.96  mem=5M492
29.90	   
29.90	   search
29.90	     run=22  nbConstraintChecks=140761450  nbAssignments=230000
29.90	       =>  wckTime=29.337  cpuTime=29.2  mem=5M492
30.96	   
30.96	   search
30.96	     run=23  nbConstraintChecks=145891655  nbAssignments=238050
30.96	       =>  wckTime=30.406  cpuTime=30.26  mem=5M492
30.97	   
30.97	   global
30.97	     nbConstraintChecks=145891655  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.97	     solvingWckTime=30.403  solvingCpuTime=30.26  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.97	     globalCpuTime=30.5
30.97	       =>  wckTime=30.672  cpuTime=30.45  mem=5M492
30.97	   
30.97	   solver IterativeSystematicSolver being built... 
31.10	       =>  wckTime=30.807  cpuTime=30.55  mem=16M633
31.15	   
31.15	   preprocessing
31.15	     nbConstraintChecks=18223  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.15	     detectedInconsistency=no
31.15	       =>  wckTime=0.052  cpuTime=0.04  mem=16M633
31.19	   
31.19	   search
31.19	     run=0  nbConstraintChecks=74751  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=56
31.19	     nbFailedAssignments=36  nbBacktracks=10  nbVisitedNodes=102  nbRestartNogoods=0
31.19	       =>  wckTime=0.087  cpuTime=0.07  mem=16M633
31.25	   
31.25	   search
31.25	     run=1  nbConstraintChecks=181474  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=139
31.25	     nbFailedAssignments=94  nbBacktracks=26  nbVisitedNodes=259  nbRestartNogoods=21
31.25	       =>  wckTime=0.148  cpuTime=0.12  mem=16M633
31.32	   
31.32	   search
31.32	     run=2  nbConstraintChecks=342363  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=257
31.32	     nbFailedAssignments=184  nbBacktracks=48  nbVisitedNodes=489  nbRestartNogoods=46
31.32	       =>  wckTime=0.221  cpuTime=0.19  mem=16M633
31.45	   
31.45	   search
31.45	     run=3  nbConstraintChecks=643608  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=459
31.45	     nbFailedAssignments=346  nbBacktracks=81  nbVisitedNodes=886  nbRestartNogoods=54
31.45	       =>  wckTime=0.353  cpuTime=0.32  mem=16M633
31.61	   
31.61	   search
31.61	     run=4  nbConstraintChecks=1102675  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=746
31.61	     nbFailedAssignments=577  nbBacktracks=131  nbVisitedNodes=1450  nbRestartNogoods=72
31.61	       =>  wckTime=0.509  cpuTime=0.47  mem=16M633
31.80	   
31.80	   search
31.80	     run=5  nbConstraintChecks=1652228  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1076
31.80	     nbFailedAssignments=828  nbBacktracks=207  nbVisitedNodes=2106  nbRestartNogoods=96
31.80	       =>  wckTime=0.701  cpuTime=0.66  mem=16M633
31.98	   
31.98	   search
31.98	     run=6  nbConstraintChecks=2144186  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1413
31.98	     nbFailedAssignments=1041  nbBacktracks=320  nbVisitedNodes=2765  nbRestartNogoods=110
31.98	       =>  wckTime=0.883  cpuTime=0.84  mem=16M633
32.38	   
32.38	   search
32.38	     run=7  nbConstraintChecks=3322543  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2147
32.38	     nbFailedAssignments=1600  nbBacktracks=490  nbVisitedNodes=4228  nbRestartNogoods=149
32.38	       =>  wckTime=1.281  cpuTime=1.22  mem=16M633
32.99	   
32.99	   search
32.99	     run=8  nbConstraintChecks=5291941  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3424
32.99	     nbFailedAssignments=2613  nbBacktracks=747  nbVisitedNodes=6768  nbRestartNogoods=163
32.99	       =>  wckTime=1.885  cpuTime=1.82  mem=16M633
33.98	   
33.98	   search
33.98	     run=9  nbConstraintChecks=8117500  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5285
33.98	     nbFailedAssignments=4080  nbBacktracks=1131  nbVisitedNodes=10471  nbRestartNogoods=178
33.98	       =>  wckTime=2.876  cpuTime=2.8  mem=16M633
35.18	   
35.18	   search
35.18	     run=10  nbConstraintChecks=12217165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7905
35.18	     nbFailedAssignments=6112  nbBacktracks=1707  nbVisitedNodes=15669  nbRestartNogoods=197
35.18	       =>  wckTime=4.077  cpuTime=3.99  mem=16M633
37.07	   
37.07	   search
37.07	     run=11  nbConstraintChecks=18339177  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11794
37.07	     nbFailedAssignments=9123  nbBacktracks=2572  nbVisitedNodes=23407  nbRestartNogoods=233
37.07	       =>  wckTime=5.972  cpuTime=5.88  mem=16M633
39.70	   
39.70	   search
39.70	     run=12  nbConstraintChecks=26186023  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16859
39.70	     nbFailedAssignments=12882  nbBacktracks=3869  nbVisitedNodes=33498  nbRestartNogoods=265
39.70	       =>  wckTime=8.596  cpuTime=8.49  mem=16M633
44.37	   
44.38	   search
44.38	     run=13  nbConstraintChecks=40033887  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26113
44.38	     nbFailedAssignments=20175  nbBacktracks=5815  nbVisitedNodes=51945  nbRestartNogoods=304
44.38	       =>  wckTime=13.274  cpuTime=13.13  mem=16M633
50.72	   
50.72	   search
50.72	     run=14  nbConstraintChecks=58214006  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=38419
50.72	     nbFailedAssignments=29555  nbBacktracks=8734  nbVisitedNodes=76400  nbRestartNogoods=341
50.72	       =>  wckTime=19.622  cpuTime=19.45  mem=16M633
59.98	   
59.98	   search
59.98	     run=15  nbConstraintChecks=83550566  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=55533
59.98	     nbFailedAssignments=42282  nbBacktracks=13112  nbVisitedNodes=110499  nbRestartNogoods=350
59.98	       =>  wckTime=28.879  cpuTime=28.68  mem=16M633
73.16	   
73.16	   search
73.16	     run=16  nbConstraintChecks=117006603  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79445
73.16	     nbFailedAssignments=59621  nbBacktracks=19680  nbVisitedNodes=158032  nbRestartNogoods=373
73.16	       =>  wckTime=42.059  cpuTime=41.81  mem=16M633
86.99	   
86.99	   search
86.99	     run=17  nbConstraintChecks=151602109  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103503
86.99	     nbFailedAssignments=76200  nbBacktracks=27160  nbVisitedNodes=205841  nbRestartNogoods=374
86.99	       =>  wckTime=55.889  cpuTime=55.56  mem=16M633
86.99	   
86.99	   global
86.99	     nbConstraintChecks=151620332  nbRestartNogoods=374  solvingWckTime=55.89  solvingCpuTime=55.56  expiredTime=no
86.99	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=86.16
86.99	       =>  wckTime=86.697  cpuTime=86.11  mem=16M633
86.99	
86.99	s OPTIMUM FOUND
86.99	v 10 2 7 8 5 10 7 5 1 8 3 2 2 3 1 8 6 3 8 9 5 3 10 6 3 3 10 2 1 5 2 2 7 3 3 5 6 8 1 2 
86.99	   
87.00	   totalWckTime=86.775  totalCpuTime=86.16

Verifier Data (download as text)

3 unsatisfied constraints, 95 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/node16/watcher-282178-1169318553 -o ROOT/results/node16/solver-282178-1169318553 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/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.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=292 CPUtime=0
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 280250115 299008 31 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7207565 0 0 4096 0 0 0 0 17 0 0 0
/proc/2725/statm: 73 35 27 14 0 5 0

[startup+0.107315 s]
/proc/loadavg: 1.94 1.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=914988 CPUtime=0.09
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 3065 0 1 0 8 1 0 0 23 0 8 0 280250115 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515237 s]
/proc/loadavg: 1.94 1.98 1.99 4/87 2726
/proc/meminfo: memFree=1630096/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915332 CPUtime=0.49
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 6519 0 1 0 45 4 0 0 25 0 8 0 280250115 937299968 6257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228833 6257 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33608 s]
/proc/loadavg: 1.94 1.98 1.99 4/94 2733
/proc/meminfo: memFree=1612824/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=1.31
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7009 0 1 0 105 26 0 0 25 0 8 0 280250115 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6747 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444

[startup+2.97278 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612760/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=2.94
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 221 73 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.26416 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612696/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=6.22
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 454 168 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444

[startup+12.7379 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612704/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=12.68
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7012 0 1 0 919 349 0 0 25 0 8 0 280250115 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6749 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915448 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.09
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 330 0 0 0 9 0 0 0 16 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444

[startup+25.6055 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1612704/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=25.49
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 7013 0 1 0 1831 718 0 0 25 0 8 0 280250115 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 6750 2479 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915448 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.1
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915444

[startup+51.2107 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 2733
/proc/meminfo: memFree=1604576/2055920 swapFree=4191880/4192956
[pid=2725] ppid=2723 vsize=915444 CPUtime=50.97
/proc/2725/stat : 2725 (java) R 2723 2725 2471 0 -1 0 9128 0 1 0 4217 880 0 0 25 0 8 0 280250115 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2725/statm: 228861 8860 2532 14 0 215331 0
[pid=2725/tid=2727] ppid=2723 vsize=915444 CPUtime=0.02
/proc/2725/task/2727/stat : 2727 (java) S 2723 2725 2471 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2728] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2728/stat : 2728 (java) S 2723 2725 2471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2729] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2729/stat : 2729 (java) S 2723 2725 2471 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280250119 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2730] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2730/stat : 2730 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2731] ppid=2723 vsize=915444 CPUtime=0.21
/proc/2725/task/2731/stat : 2731 (java) S 2723 2725 2471 0 -1 64 394 0 0 0 20 1 0 0 16 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2732] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2732/stat : 2732 (java) S 2723 2725 2471 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2725/tid=2733] ppid=2723 vsize=915444 CPUtime=0
/proc/2725/task/2733/stat : 2733 (java) S 2723 2725 2471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280250123 937414656 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 87.0528
CPU time (s): 86.6168
CPU user time (s): 77.8052
CPU system time (s): 8.81166
CPU usage (%): 99.4992
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.8052
system time used= 8.81166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9231
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= 2939
involuntary context switches= 4837

runsolver used 0.111982 s user time and 0.285956 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan 20 18:42:33 UTC 2007


IDJOB= 282178
IDBENCH= 12523
IDSOLVER= 68
FILE ID= node16/282178-1169318553

PBS_JOBID= 3610038

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-40-10-08-t60/pi-40-10-07948-40-81.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-282178-1169318553 -o ROOT/results/node16/solver-282178-1169318553 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282178-1169318553/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  867a7efda4b5f90a16cdb69e293f03b0

RANDOM SEED= 48124362

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.220
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.220
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:       1630512 kB
Buffers:         49712 kB
Cached:         251056 kB
SwapCached:        268 kB
Active:         129924 kB
Inactive:       222784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630512 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1704 kB
Writeback:           0 kB
Mapped:          71488 kB
Slab:            57360 kB
Committed_AS:  8394568 kB
PageTables:       2372 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= 66560 MiB



End job on node16 on Sat Jan 20 18:44:00 UTC 2007