Trace number 279101

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 44.6172 44.7259

General information on the benchmark

NameMaxCSP/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/
kbtree-9-5-3-5-20-11_ext.xml
MD5SUM46c42ef5e27772844383990467e7e999
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints253
Best CPU time to get the best result obtained on this benchmark0.112982
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints255
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension255
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/279101-1169291381/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.40	       =>  wckTime=0.098  cpuTime=0.09  mem=6M910
0.40	   
0.40	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.55	     nbConstraints=255  nbRelationTypes=255  nbExtensionStructures=255  nbSharedExtensionStructures=0
0.55	     nbConflictsStructures=255  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2521  maxDegree=34
0.55	     maxArity=2
0.55	       =>  wckTime=0.246  cpuTime=0.17  mem=8M860
0.59	   
0.59	   solver LocalSearchSolver being built... 
0.63	       =>  wckTime=0.328  cpuTime=0.22  mem=5M599
0.63	
0.63	s SATISFIABLE
0.63	o 213
0.63	c 42
0.63	o 217
0.63	c 38
0.63	o 218
0.63	c 37
0.63	o 222
0.63	c 33
0.63	o 224
0.63	c 31
0.64	o 226
0.64	c 29
0.64	o 229
0.64	c 26
0.64	o 230
0.64	c 25
0.64	o 231
0.64	c 24
0.64	o 232
0.64	c 23
0.64	o 235
0.64	c 20
0.64	o 236
0.64	c 19
0.64	o 237
0.64	c 18
0.64	o 238
0.64	c 17
0.64	o 239
0.64	c 16
0.65	o 241
0.65	c 14
0.65	o 242
0.65	c 13
0.65	o 244
0.65	c 11
0.65	o 245
0.65	c 10
0.65	o 247
0.65	c 8
0.65	o 248
0.65	c 7
0.65	o 250
0.65	c 5
0.65	o 251
0.65	c 4
0.66	o 253
0.66	c 2
1.95	   
1.95	   search
1.95	     run=0  nbConstraintChecks=5809629  nbAssignments=10000
1.95	       =>  wckTime=1.329  cpuTime=1.31  mem=5M599
3.39	   
3.39	   search
3.39	     run=1  nbConstraintChecks=13060580  nbAssignments=20000
3.39	       =>  wckTime=2.764  cpuTime=2.74  mem=5M599
4.63	   
4.63	   search
4.63	     run=2  nbConstraintChecks=18710606  nbAssignments=30000
4.63	       =>  wckTime=4.004  cpuTime=3.98  mem=5M599
5.96	   
5.96	   search
5.96	     run=3  nbConstraintChecks=25071667  nbAssignments=40000
5.96	       =>  wckTime=5.332  cpuTime=5.31  mem=5M599
7.24	   
7.24	   search
7.24	     run=4  nbConstraintChecks=31046338  nbAssignments=50000
7.24	       =>  wckTime=6.613  cpuTime=6.59  mem=5M599
8.57	   
8.57	   search
8.57	     run=5  nbConstraintChecks=37370417  nbAssignments=60000
8.57	       =>  wckTime=7.94  cpuTime=7.92  mem=5M599
9.83	   
9.83	   search
9.83	     run=6  nbConstraintChecks=43206931  nbAssignments=70000
9.83	       =>  wckTime=9.202  cpuTime=9.17  mem=5M599
11.13	   
11.13	   search
11.14	     run=7  nbConstraintChecks=49362618  nbAssignments=80000
11.14	       =>  wckTime=10.509  cpuTime=10.49  mem=5M599
12.40	   
12.40	   search
12.40	     run=8  nbConstraintChecks=55122198  nbAssignments=90000
12.40	       =>  wckTime=11.775  cpuTime=11.75  mem=5M599
13.81	   
13.81	   search
13.81	     run=9  nbConstraintChecks=62100841  nbAssignments=100000
13.81	       =>  wckTime=13.186  cpuTime=13.16  mem=5M599
15.06	   
15.06	   search
15.06	     run=10  nbConstraintChecks=67698431  nbAssignments=110000
15.06	       =>  wckTime=14.43  cpuTime=14.4  mem=5M599
16.43	   
16.43	   search
16.43	     run=11  nbConstraintChecks=74388586  nbAssignments=120000
16.44	       =>  wckTime=15.809  cpuTime=15.78  mem=5M599
17.74	   
17.74	   search
17.74	     run=12  nbConstraintChecks=80493865  nbAssignments=130000
17.74	       =>  wckTime=17.114  cpuTime=17.09  mem=5M599
19.08	   
19.08	   search
19.08	     run=13  nbConstraintChecks=86885284  nbAssignments=140000
19.08	       =>  wckTime=18.455  cpuTime=18.42  mem=5M599
20.34	   
20.34	   search
20.34	     run=14  nbConstraintChecks=92644242  nbAssignments=150000
20.34	       =>  wckTime=19.718  cpuTime=19.68  mem=5M599
21.67	   
21.67	   search
21.67	     run=15  nbConstraintChecks=98966035  nbAssignments=160000
21.67	       =>  wckTime=21.043  cpuTime=21.01  mem=5M599
22.90	   
22.90	   search
22.90	     run=16  nbConstraintChecks=104555275  nbAssignments=170000
22.90	       =>  wckTime=22.278  cpuTime=22.25  mem=5M599
24.21	   
24.21	   search
24.21	     run=17  nbConstraintChecks=110757080  nbAssignments=180000
24.21	       =>  wckTime=23.587  cpuTime=23.56  mem=5M599
25.47	   
25.47	   search
25.47	     run=18  nbConstraintChecks=116489648  nbAssignments=190000
25.47	       =>  wckTime=24.841  cpuTime=24.81  mem=5M599
26.77	   
26.77	   search
26.77	     run=19  nbConstraintChecks=122649369  nbAssignments=200000
26.77	       =>  wckTime=26.147  cpuTime=26.11  mem=5M599
28.03	   
28.03	   search
28.03	     run=20  nbConstraintChecks=128430795  nbAssignments=210000
28.03	       =>  wckTime=27.404  cpuTime=27.37  mem=5M599
29.34	   
29.34	   search
29.34	     run=21  nbConstraintChecks=134649890  nbAssignments=220000
29.34	       =>  wckTime=28.716  cpuTime=28.67  mem=5M599
30.61	   
30.61	   search
30.61	     run=22  nbConstraintChecks=140508568  nbAssignments=230000
30.61	       =>  wckTime=29.987  cpuTime=29.95  mem=5M599
30.69	   
30.69	   search
30.69	     run=23  nbConstraintChecks=140834070  nbAssignments=230581
30.69	       =>  wckTime=30.06  cpuTime=30.03  mem=5M599
30.69	   
30.69	   global
30.69	     nbConstraintChecks=140834070  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.69	     solvingWckTime=30.059  solvingCpuTime=30.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.69	     globalCpuTime=30.28
30.69	       =>  wckTime=30.388  cpuTime=30.25  mem=5M599
30.69	   
30.69	   solver IterativeSystematicSolver being built... 
30.81	       =>  wckTime=30.514  cpuTime=30.35  mem=16M687
30.82	   
30.82	   preprocessing
30.82	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.82	     detectedInconsistency=no
30.82	       =>  wckTime=0.0050  cpuTime=0.01  mem=16M687
30.90	   
30.90	   search
30.90	     run=0  nbConstraintChecks=65829  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=64
30.90	     nbFailedAssignments=44  nbBacktracks=10  nbVisitedNodes=119  nbRestartNogoods=0
30.90	       =>  wckTime=0.081  cpuTime=0.06  mem=16M687
30.94	   
30.94	   search
30.94	     run=1  nbConstraintChecks=139152  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=124
30.94	     nbFailedAssignments=72  nbBacktracks=26  nbVisitedNodes=223  nbRestartNogoods=8
30.94	       =>  wckTime=0.125  cpuTime=0.09  mem=16M687
30.99	   
30.99	   search
30.99	     run=2  nbConstraintChecks=234283  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=200
30.99	     nbFailedAssignments=115  nbBacktracks=48  nbVisitedNodes=364  nbRestartNogoods=17
30.99	       =>  wckTime=0.17  cpuTime=0.13  mem=16M687
31.08	   
31.08	   search
31.08	     run=3  nbConstraintChecks=405154  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=365
31.08	     nbFailedAssignments=233  nbBacktracks=81  nbVisitedNodes=680  nbRestartNogoods=32
31.08	       =>  wckTime=0.26  cpuTime=0.22  mem=16M687
31.16	   
31.16	   search
31.16	     run=4  nbConstraintChecks=607027  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=507
31.16	     nbFailedAssignments=315  nbBacktracks=131  nbVisitedNodes=954  nbRestartNogoods=48
31.16	       =>  wckTime=0.344  cpuTime=0.3  mem=16M687
31.27	   
31.27	   search
31.27	     run=5  nbConstraintChecks=857151  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=731
31.27	     nbFailedAssignments=456  nbBacktracks=206  nbVisitedNodes=1390  nbRestartNogoods=61
31.27	       =>  wckTime=0.455  cpuTime=0.41  mem=16M687
31.47	   
31.47	   search
31.47	     run=6  nbConstraintChecks=1327633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1094
31.47	     nbFailedAssignments=695  nbBacktracks=319  nbVisitedNodes=2105  nbRestartNogoods=62
31.47	       =>  wckTime=0.658  cpuTime=0.61  mem=16M687
31.77	   
31.77	   search
31.77	     run=7  nbConstraintChecks=1898838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1583
31.77	     nbFailedAssignments=1003  nbBacktracks=489  nbVisitedNodes=3072  nbRestartNogoods=77
31.77	       =>  wckTime=0.951  cpuTime=0.89  mem=16M687
32.20	   
32.20	   search
32.20	     run=8  nbConstraintChecks=2916405  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2383
32.20	     nbFailedAssignments=1535  nbBacktracks=745  nbVisitedNodes=4659  nbRestartNogoods=88
32.20	       =>  wckTime=1.384  cpuTime=1.32  mem=16M687
32.73	   
32.73	   search
32.73	     run=9  nbConstraintChecks=4321201  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3421
32.73	     nbFailedAssignments=2177  nbBacktracks=1129  nbVisitedNodes=6723  nbRestartNogoods=103
32.73	       =>  wckTime=1.913  cpuTime=1.85  mem=16M687
33.48	   
33.48	   search
33.48	     run=10  nbConstraintChecks=6357841  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4896
33.48	     nbFailedAssignments=3066  nbBacktracks=1705  nbVisitedNodes=9662  nbRestartNogoods=117
33.48	       =>  wckTime=2.661  cpuTime=2.59  mem=16M687
34.71	   
34.71	   search
34.71	     run=11  nbConstraintChecks=9496402  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7223
34.71	     nbFailedAssignments=4521  nbBacktracks=2569  nbVisitedNodes=14307  nbRestartNogoods=129
34.71	       =>  wckTime=3.898  cpuTime=3.83  mem=16M687
36.73	   
36.73	   search
36.73	     run=12  nbConstraintChecks=14639083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10956
36.73	     nbFailedAssignments=6948  nbBacktracks=3866  nbVisitedNodes=21762  nbRestartNogoods=134
36.73	       =>  wckTime=5.919  cpuTime=5.85  mem=16M687
39.08	   
39.08	   search
39.08	     run=13  nbConstraintChecks=20404258  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15270
39.08	     nbFailedAssignments=9301  nbBacktracks=5814  nbVisitedNodes=30349  nbRestartNogoods=149
39.08	       =>  wckTime=8.265  cpuTime=8.19  mem=16M687
42.42	   
42.42	   search
42.42	     run=14  nbConstraintChecks=29400295  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22065
42.42	     nbFailedAssignments=13165  nbBacktracks=8733  nbVisitedNodes=43902  nbRestartNogoods=164
42.42	       =>  wckTime=11.61  cpuTime=11.53  mem=16M687
44.65	   
44.65	   search
44.65	     run=15  nbConstraintChecks=34938488  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26160
44.65	     nbFailedAssignments=15465  nbBacktracks=10529  nbVisitedNodes=52051  nbRestartNogoods=175
44.65	       =>  wckTime=13.833  cpuTime=13.76  mem=16M687
44.65	   
44.65	   global
44.65	     nbConstraintChecks=34938488  nbRestartNogoods=175  solvingWckTime=13.834  solvingCpuTime=13.76  expiredTime=no
44.65	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=44.14
44.65	       =>  wckTime=44.349  cpuTime=44.11  mem=16M687
44.70	
44.70	s OPTIMUM FOUND
44.70	v 4 2 4 0 4 2 4 4 2 3 0 4 2 2 4 4 2 0 1 2 0 2 1 4 0 1 3 2 0 2 1 3 4 1 4 1 4 3 4 2 
44.70	   
44.70	   totalWckTime=44.472  totalCpuTime=44.15

Verifier Data (download as text)

2 unsatisfied constraints, 253 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/node21/watcher-279101-1169291381 -o ROOT/results/node21/solver-279101-1169291381 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=172 CPUtime=0
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 213 0 0 0 0 0 0 0 18 0 1 0 277532672 176128 20 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8412576 0 0 4096 0 0 0 0 17 1 0 0
/proc/19917/statm: 43 24 18 14 0 3 0

[startup+0.103648 s]
/proc/loadavg: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=914988 CPUtime=0.08
/proc/19917/stat : 19917 (java) S 19915 19917 19099 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 277532672 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511724 s]
/proc/loadavg: 0.85 0.97 1.02 4/78 19918
/proc/meminfo: memFree=1317888/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915332 CPUtime=0.48
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 6516 0 1 0 45 3 0 0 16 0 8 0 277532672 937299968 6255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073541773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228833 6255 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33488 s]
/proc/loadavg: 0.86 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299592/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=1.3
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7251 0 1 0 105 25 0 0 17 0 8 0 277532672 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228866 6989 2476 14 0 215336 0
[pid=19917/tid=19919] ppid=19915 vsize=915468 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915468 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915468 CPUtime=0.12
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 277532680 937439232 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464

[startup+2.97219 s]
/proc/loadavg: 0.86 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299528/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=2.94
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7254 0 1 0 222 72 0 0 18 0 8 0 277532672 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228867 6991 2476 14 0 215337 0
[pid=19917/tid=19919] ppid=19915 vsize=915464 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915468 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 277532680 937439232 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 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) 915464

[startup+6.26481 s]
/proc/loadavg: 0.87 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=915464 CPUtime=6.22
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7254 0 1 0 451 171 0 0 18 0 8 0 277532672 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 228866 6991 2476 14 0 215336 0
[pid=19917/tid=19919] ppid=19915 vsize=915464 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=915468 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 937439232 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=915464 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 347 0 0 0 13 0 0 0 16 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=915464 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277532680 937435136 6991 18446744073709551615 134512640 134570532 4294956480 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) 915464

[startup+12.736 s]
/proc/loadavg: 0.88 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=916488 CPUtime=12.7
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7256 0 1 0 907 363 0 0 23 0 8 0 277532672 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 229122 6993 2476 14 0 215592 0
[pid=19917/tid=19919] ppid=19915 vsize=916492 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 938487808 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19917/tid=19920] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=916492 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277532680 938487808 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 916488

[startup+25.5765 s]
/proc/loadavg: 0.90 0.97 1.02 2/85 19925
/proc/meminfo: memFree=1299536/2055920 swapFree=4156356/4192956
[pid=19917] ppid=19915 vsize=916488 CPUtime=25.54
/proc/19917/stat : 19917 (java) R 19915 19917 19099 0 -1 0 7256 0 1 0 1799 755 0 0 25 0 8 0 277532672 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19917/statm: 229122 6993 2476 14 0 215592 0
[pid=19917/tid=19919] ppid=19915 vsize=916488 CPUtime=0.02
/proc/19917/task/19919/stat : 19919 (java) S 19915 19917 19099 0 -1 64 180 0 0 0 2 0 0 0 16 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19920] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19920/stat : 19920 (java) S 19915 19917 19099 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19921] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19921/stat : 19921 (java) S 19915 19917 19099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277532676 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19922] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19922/stat : 19922 (java) S 19915 19917 19099 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19923] ppid=19915 vsize=916488 CPUtime=0.13
/proc/19917/task/19923/stat : 19923 (java) S 19915 19917 19099 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19924] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19924/stat : 19924 (java) S 19915 19917 19099 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19917/tid=19925] ppid=19915 vsize=916488 CPUtime=0
/proc/19917/task/19925/stat : 19925 (java) S 19915 19917 19099 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277532680 938483712 6993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916488

Child status: 0
Real time (s): 44.7259
CPU time (s): 44.6172
CPU user time (s): 35.5226
CPU system time (s): 9.09462
CPU usage (%): 99.7571
Max. virtual memory (cumulated for all children) (KiB): 916492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.5226
system time used= 9.09462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9180
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= 1827
involuntary context switches= 173

runsolver used 0.048992 s user time and 0.121981 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan 20 11:09:41 UTC 2007


IDJOB= 279101
IDBENCH= 9440
IDSOLVER= 69
FILE ID= node21/279101-1169291381

PBS_JOBID= 3609660

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-5-3-5/kbtree-9-5-3-5-20/kbtree-9-5-3-5-20-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-279101-1169291381 -o ROOT/results/node21/solver-279101-1169291381 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279101-1169291381/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  46c42ef5e27772844383990467e7e999

RANDOM SEED= 792865327

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.261
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.261
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:       1318304 kB
Buffers:         48220 kB
Cached:         584432 kB
SwapCached:       7704 kB
Active:         207972 kB
Inactive:       454008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318304 kB
SwapTotal:     4192956 kB
SwapFree:      4156356 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:          36876 kB
Slab:            61128 kB
Committed_AS:  5173148 kB
PageTables:       1792 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node21 on Sat Jan 20 11:10:27 UTC 2007