Trace number 282214

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 98.678 99.6014

General information on the benchmark

NameMaxCSP/pi/
pi-40-10-08-t60/pi-40-10-07948-40-51.xml
MD5SUM6d238ffd18ba65e6fcbc93dec51f04a3
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 benchmark3.52246
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.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/282214-1169318665/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.40	       =>  wckTime=0.092  cpuTime=0.09  mem=6M885
0.40	   
0.41	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.52	     nbConstraints=98  nbRelationTypes=98  nbExtensionStructures=98  nbSharedExtensionStructures=0
0.52	     nbConflictsStructures=98  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1187  maxDegree=9
0.52	     maxArity=2
0.52	       =>  wckTime=0.205  cpuTime=0.16  mem=7M975
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.60	       =>  wckTime=0.285  cpuTime=0.21  mem=5M493
0.60	
0.60	s SATISFIABLE
0.60	o 39
0.60	c 59
0.60	o 44
0.60	c 54
0.60	o 48
0.60	c 50
0.61	o 52
0.61	c 46
0.61	o 57
0.61	c 41
0.61	o 59
0.61	c 39
0.61	o 61
0.61	c 37
0.61	o 64
0.61	c 34
0.61	o 67
0.61	c 31
0.61	o 69
0.61	c 29
0.61	o 71
0.61	c 27
0.61	o 73
0.61	c 25
0.61	o 75
0.61	c 23
0.62	o 76
0.62	c 22
0.62	o 77
0.62	c 21
0.62	o 78
0.62	c 20
0.62	o 79
0.62	c 19
0.62	o 80
0.62	c 18
0.62	o 81
0.62	c 17
0.62	o 82
0.62	c 16
0.62	o 83
0.62	c 15
0.62	o 84
0.62	c 14
0.63	o 86
0.63	c 12
0.63	o 87
0.63	c 11
0.63	o 88
0.63	c 10
0.63	o 89
0.63	c 9
0.63	o 90
0.63	c 8
0.63	o 91
0.63	c 7
0.63	o 92
0.63	c 6
0.65	o 93
0.65	c 5
0.65	o 94
0.65	c 4
1.94	   
1.94	   search
1.94	     run=0  nbConstraintChecks=5508080  nbAssignments=10000
1.94	       =>  wckTime=1.347  cpuTime=1.32  mem=5M493
3.25	   
3.25	   search
3.25	     run=1  nbConstraintChecks=11153669  nbAssignments=20000
3.25	       =>  wckTime=2.654  cpuTime=2.61  mem=5M493
4.59	   
4.59	   search
4.59	     run=2  nbConstraintChecks=17107502  nbAssignments=30000
4.59	       =>  wckTime=3.995  cpuTime=3.93  mem=5M493
5.97	   
5.97	   search
5.97	     run=3  nbConstraintChecks=23431009  nbAssignments=40000
5.97	       =>  wckTime=5.374  cpuTime=5.3  mem=5M493
6.75	o 95
6.75	c 3
7.28	   
7.28	   search
7.28	     run=4  nbConstraintChecks=29173014  nbAssignments=50000
7.28	       =>  wckTime=6.68  cpuTime=6.6  mem=5M493
8.54	   
8.54	   search
8.54	     run=5  nbConstraintChecks=34491927  nbAssignments=60000
8.54	       =>  wckTime=7.942  cpuTime=7.86  mem=5M493
9.89	   
9.89	   search
9.89	     run=6  nbConstraintChecks=40520703  nbAssignments=70000
9.89	       =>  wckTime=9.29  cpuTime=9.19  mem=5M493
11.29	   
11.29	   search
11.29	     run=7  nbConstraintChecks=46951713  nbAssignments=80000
11.29	       =>  wckTime=10.695  cpuTime=10.58  mem=5M493
12.60	   
12.60	   search
12.60	     run=8  nbConstraintChecks=52603152  nbAssignments=90000
12.60	       =>  wckTime=12.004  cpuTime=11.88  mem=5M493
13.83	   
13.83	   search
13.83	     run=9  nbConstraintChecks=57703454  nbAssignments=100000
13.83	       =>  wckTime=13.237  cpuTime=13.09  mem=5M493
15.16	   
15.16	   search
15.16	     run=10  nbConstraintChecks=63454700  nbAssignments=110000
15.16	       =>  wckTime=14.561  cpuTime=14.41  mem=5M493
16.56	   
16.57	   search
16.57	     run=11  nbConstraintChecks=69806565  nbAssignments=120000
16.57	       =>  wckTime=15.969  cpuTime=15.8  mem=5M493
17.85	   
17.85	   search
17.85	     run=12  nbConstraintChecks=75287663  nbAssignments=130000
17.85	       =>  wckTime=17.256  cpuTime=17.08  mem=5M493
19.17	   
19.17	   search
19.17	     run=13  nbConstraintChecks=80911396  nbAssignments=140000
19.17	       =>  wckTime=18.573  cpuTime=18.39  mem=5M493
20.48	   
20.48	   search
20.48	     run=14  nbConstraintChecks=86501807  nbAssignments=150000
20.48	       =>  wckTime=19.88  cpuTime=19.68  mem=5M493
21.90	   
21.90	   search
21.90	     run=15  nbConstraintChecks=93036890  nbAssignments=160000
21.90	       =>  wckTime=21.304  cpuTime=21.1  mem=5M493
23.19	   
23.19	   search
23.19	     run=16  nbConstraintChecks=98645530  nbAssignments=170000
23.19	       =>  wckTime=22.595  cpuTime=22.38  mem=5M493
24.57	   
24.57	   search
24.57	     run=17  nbConstraintChecks=104887675  nbAssignments=180000
24.57	       =>  wckTime=23.971  cpuTime=23.75  mem=5M493
25.92	   
25.92	   search
25.92	     run=18  nbConstraintChecks=110908320  nbAssignments=190000
25.92	       =>  wckTime=25.323  cpuTime=25.08  mem=5M493
27.28	   
27.28	   search
27.28	     run=19  nbConstraintChecks=116893653  nbAssignments=200000
27.28	       =>  wckTime=26.68  cpuTime=26.43  mem=5M493
28.64	   
28.64	   search
28.64	     run=20  nbConstraintChecks=123089842  nbAssignments=210000
28.64	       =>  wckTime=28.047  cpuTime=27.78  mem=5M493
30.02	   
30.02	   search
30.02	     run=21  nbConstraintChecks=129448506  nbAssignments=220000
30.02	       =>  wckTime=29.428  cpuTime=29.16  mem=5M493
31.35	   
31.35	   search
31.35	     run=22  nbConstraintChecks=135336192  nbAssignments=230000
31.35	       =>  wckTime=30.756  cpuTime=30.48  mem=5M493
32.74	   
32.74	   search
32.74	     run=23  nbConstraintChecks=141592853  nbAssignments=240000
32.74	       =>  wckTime=32.145  cpuTime=31.85  mem=5M493
34.05	   
34.05	   search
34.05	     run=24  nbConstraintChecks=147179412  nbAssignments=250000
34.05	       =>  wckTime=33.456  cpuTime=33.15  mem=5M493
35.46	   
35.46	   search
35.46	     run=25  nbConstraintChecks=153638327  nbAssignments=260000
35.46	       =>  wckTime=34.869  cpuTime=34.55  mem=5M493
36.81	   
36.81	   search
36.81	     run=26  nbConstraintChecks=159583283  nbAssignments=270000
36.81	       =>  wckTime=36.217  cpuTime=35.89  mem=5M493
37.01	   
37.01	   search
37.01	     run=27  nbConstraintChecks=160433221  nbAssignments=271572
37.01	       =>  wckTime=36.417  cpuTime=36.09  mem=5M493
37.01	   
37.02	   global
37.02	     nbConstraintChecks=160433221  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.02	     solvingWckTime=36.415  solvingCpuTime=36.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.02	     globalCpuTime=36.34
37.02	       =>  wckTime=36.703  cpuTime=36.29  mem=5M493
37.02	   
37.02	   solver IterativeSystematicSolver being built... 
37.16	       =>  wckTime=36.851  cpuTime=36.4  mem=16M628
37.21	   
37.21	   preprocessing
37.21	     nbConstraintChecks=17983  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
37.21	     detectedInconsistency=no
37.21	       =>  wckTime=0.048  cpuTime=0.03  mem=16M628
37.28	   
37.28	   search
37.28	     run=0  nbConstraintChecks=113165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=80
37.28	     nbFailedAssignments=64  nbBacktracks=10  nbVisitedNodes=155  nbRestartNogoods=0
37.28	       =>  wckTime=0.112  cpuTime=0.08  mem=16M628
37.32	   
37.32	   search
37.32	     run=1  nbConstraintChecks=171808  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=131
37.32	     nbFailedAssignments=91  nbBacktracks=25  nbVisitedNodes=248  nbRestartNogoods=22
37.32	       =>  wckTime=0.156  cpuTime=0.11  mem=16M628
37.42	   
37.42	   search
37.42	     run=2  nbConstraintChecks=381307  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=279
37.42	     nbFailedAssignments=213  nbBacktracks=48  nbVisitedNodes=540  nbRestartNogoods=32
37.42	       =>  wckTime=0.254  cpuTime=0.2  mem=16M628
37.50	   
37.50	   search
37.50	     run=3  nbConstraintChecks=535057  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=387
37.50	     nbFailedAssignments=282  nbBacktracks=82  nbVisitedNodes=751  nbRestartNogoods=34
37.50	       =>  wckTime=0.333  cpuTime=0.28  mem=16M628
37.67	   
37.67	   search
37.67	     run=4  nbConstraintChecks=964377  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=667
37.67	     nbFailedAssignments=501  nbBacktracks=132  nbVisitedNodes=1299  nbRestartNogoods=51
37.67	       =>  wckTime=0.503  cpuTime=0.45  mem=16M628
37.96	   
37.96	   search
37.96	     run=5  nbConstraintChecks=1731978  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1162
37.96	     nbFailedAssignments=913  nbBacktracks=207  nbVisitedNodes=2281  nbRestartNogoods=73
37.96	       =>  wckTime=0.795  cpuTime=0.74  mem=16M628
38.33	   
38.33	   search
38.33	     run=6  nbConstraintChecks=2610502  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1724
38.33	     nbFailedAssignments=1354  nbBacktracks=320  nbVisitedNodes=3389  nbRestartNogoods=106
38.33	       =>  wckTime=1.167  cpuTime=1.09  mem=16M628
38.76	   
38.76	   search
38.76	     run=7  nbConstraintChecks=3747297  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2457
38.76	     nbFailedAssignments=1909  nbBacktracks=491  nbVisitedNodes=4842  nbRestartNogoods=126
38.76	       =>  wckTime=1.598  cpuTime=1.51  mem=16M628
39.55	   
39.55	   search
39.55	     run=8  nbConstraintChecks=5885247  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3794
39.55	     nbFailedAssignments=2986  nbBacktracks=748  nbVisitedNodes=7498  nbRestartNogoods=136
39.55	       =>  wckTime=2.381  cpuTime=2.29  mem=16M628
40.62	   
40.62	   search
40.62	     run=9  nbConstraintChecks=8742995  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5712
40.62	     nbFailedAssignments=4513  nbBacktracks=1132  nbVisitedNodes=11303  nbRestartNogoods=154
40.62	       =>  wckTime=3.454  cpuTime=3.35  mem=16M628
42.41	   
42.41	   search
42.41	     run=10  nbConstraintChecks=13637276  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9003
42.41	     nbFailedAssignments=7213  nbBacktracks=1708  nbVisitedNodes=17826  nbRestartNogoods=164
42.41	       =>  wckTime=5.244  cpuTime=5.12  mem=16M628
44.55	   
44.55	   search
44.55	     run=11  nbConstraintChecks=19139721  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12816
44.55	     nbFailedAssignments=10153  nbBacktracks=2572  nbVisitedNodes=25416  nbRestartNogoods=195
44.56	       =>  wckTime=7.391  cpuTime=7.25  mem=16M628
47.65	   
47.65	   search
47.65	     run=12  nbConstraintChecks=26697838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18038
47.65	     nbFailedAssignments=14070  nbBacktracks=3869  nbVisitedNodes=35824  nbRestartNogoods=216
47.65	       =>  wckTime=10.483  cpuTime=10.31  mem=16M628
51.78	   
51.78	   search
51.78	     run=13  nbConstraintChecks=37870534  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25796
51.78	     nbFailedAssignments=19875  nbBacktracks=5815  nbVisitedNodes=51247  nbRestartNogoods=227
51.78	       =>  wckTime=14.613  cpuTime=14.41  mem=16M628
57.47	   
57.47	   search
57.47	     run=14  nbConstraintChecks=51612131  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34946
57.47	     nbFailedAssignments=26098  nbBacktracks=8734  nbVisitedNodes=69473  nbRestartNogoods=247
57.47	       =>  wckTime=20.305  cpuTime=20.05  mem=16M628
65.42	   
65.42	   search
65.42	     run=15  nbConstraintChecks=69954486  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48493
65.42	     nbFailedAssignments=35263  nbBacktracks=13112  nbVisitedNodes=96396  nbRestartNogoods=265
65.42	       =>  wckTime=28.254  cpuTime=27.93  mem=16M628
76.48	   
76.48	   search
76.48	     run=16  nbConstraintChecks=95201553  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=66253
76.48	     nbFailedAssignments=46449  nbBacktracks=19680  nbVisitedNodes=131550  nbRestartNogoods=286
76.48	       =>  wckTime=39.317  cpuTime=38.9  mem=16M628
92.17	   
92.17	   search
92.17	     run=17  nbConstraintChecks=129389058  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=92065
92.17	     nbFailedAssignments=62405  nbBacktracks=29534  nbVisitedNodes=182349  nbRestartNogoods=297
92.17	       =>  wckTime=55.004  cpuTime=54.46  mem=16M628
99.53	   
99.53	   search
99.53	     run=18  nbConstraintChecks=145491035  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103970
99.53	     nbFailedAssignments=69526  nbBacktracks=34319  nbVisitedNodes=205679  nbRestartNogoods=306
99.53	       =>  wckTime=62.368  cpuTime=61.75  mem=16M628
99.53	   
99.53	   global
99.53	     nbConstraintChecks=145509018  nbRestartNogoods=306  solvingWckTime=62.369  solvingCpuTime=61.75  expiredTime=no
99.53	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=98.2
99.53	       =>  wckTime=99.221  cpuTime=98.15  mem=16M628
99.54	
99.54	s OPTIMUM FOUND
99.54	v 8 10 3 8 10 2 10 8 6 2 7 3 9 6 7 7 6 6 9 7 2 9 6 9 10 2 2 5 10 9 1 10 1 9 8 7 1 5 10 4 
99.54	   
99.54	   totalWckTime=99.304  totalCpuTime=98.21

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/node6/watcher-282214-1169318665 -o ROOT/results/node6/solver-282214-1169318665 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282214-1169318665/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.92 1.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=18540 CPUtime=0
/proc/713/stat : 713 (runsolver) R 711 713 573 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280261914 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/713/statm: 4635 279 244 17 0 2626 0

[startup+0.102596 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=914988 CPUtime=0.09
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 2994 0 1 0 7 2 0 0 17 0 8 0 280261914 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514642 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 714
/proc/meminfo: memFree=1243368/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915332 CPUtime=0.49
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 6470 0 1 0 45 4 0 0 19 0 8 0 280261914 937299968 6209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228833 6209 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33974 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=1.31
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7009 0 1 0 103 28 0 0 25 0 8 0 280261914 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073662036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6747 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.11
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444

[startup+2.97693 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=2.94
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 219 75 0 0 25 0 8 0 280261914 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6749 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6749 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.25631 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225968/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=6.18
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 447 171 0 0 25 0 8 0 280261914 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073657565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 6749 2479 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444

[startup+12.7431 s]
/proc/loadavg: 1.94 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225904/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915448 CPUtime=12.61
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7012 0 1 0 907 354 0 0 25 0 8 0 280261914 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228862 6749 2479 14 0 215332 0
[pid=713/tid=715] ppid=711 vsize=915448 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915448 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 331 0 0 0 12 0 0 0 16 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937418752 6749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448

[startup+25.6006 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 721
/proc/meminfo: memFree=1225904/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915448 CPUtime=25.37
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 7013 0 1 0 1817 720 0 0 25 0 8 0 280261914 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228862 6750 2479 14 0 215332 0
[pid=713/tid=715] ppid=711 vsize=915448 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 280261918 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915448 CPUtime=0.12
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 332 0 0 0 12 0 0 0 16 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937418752 6750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915448 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937418752 6750 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) 915448

[startup+51.2026 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 721
/proc/meminfo: memFree=1217712/2055924 swapFree=4165736/4192956
[pid=713] ppid=711 vsize=915444 CPUtime=50.74
/proc/713/stat : 713 (java) R 711 713 573 0 -1 0 9123 0 1 0 4017 1057 0 0 25 0 8 0 280261914 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/713/statm: 228861 8856 2532 14 0 215331 0
[pid=713/tid=715] ppid=711 vsize=915444 CPUtime=0.02
/proc/713/task/715/stat : 715 (java) S 711 713 573 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 280261918 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=716] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/716/stat : 716 (java) S 711 713 573 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 280261919 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=717] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/717/stat : 717 (java) S 711 713 573 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280261919 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=718] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/718/stat : 718 (java) S 711 713 573 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=719] ppid=711 vsize=915444 CPUtime=0.22
/proc/713/task/719/stat : 719 (java) S 711 713 573 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=720] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/720/stat : 720 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=713/tid=721] ppid=711 vsize=915444 CPUtime=0
/proc/713/task/721/stat : 721 (java) S 711 713 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280261922 937414656 8856 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 99.6014
CPU time (s): 98.678
CPU user time (s): 88.0946
CPU system time (s): 10.5834
CPU usage (%): 99.0729
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.0946
system time used= 10.5834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9234
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= 3087
involuntary context switches= 5476

runsolver used 0.119981 s user time and 0.341948 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan 20 18:44:25 UTC 2007


IDJOB= 282214
IDBENCH= 12547
IDSOLVER= 68
FILE ID= node6/282214-1169318665

PBS_JOBID= 3610055

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6d238ffd18ba65e6fcbc93dec51f04a3

RANDOM SEED= 113936015

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.240
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.240
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:      2055924 kB
MemFree:       1243848 kB
Buffers:         66308 kB
Cached:         612244 kB
SwapCached:       2944 kB
Active:         321740 kB
Inactive:       405464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1243848 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            1972 kB
Writeback:           0 kB
Mapped:          59364 kB
Slab:            69780 kB
Committed_AS:  9197228 kB
PageTables:       2340 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 node6 on Sat Jan 20 18:46:06 UTC 2007