Trace number 282422

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 95.1365 95.2767

General information on the benchmark

NameMaxCSP/pi/pi-30-10-25-t48/
pi-30-10-197-52-31.xml
MD5SUM4c6816eb0649655a8384a2ac165c687f
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints106
Best CPU time to get the best result obtained on this benchmark4.23935
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints109
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension109
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/282422-1169319064/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=30  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.38	       =>  wckTime=0.088  cpuTime=0.07  mem=6M903
0.38	   
0.38	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.49	     nbConstraints=109  nbRelationTypes=109  nbExtensionStructures=109  nbSharedExtensionStructures=0
0.49	     nbConflictsStructures=109  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1286  maxDegree=13
0.49	     maxArity=2
0.49	       =>  wckTime=0.197  cpuTime=0.14  mem=8M854
0.53	   
0.53	   solver LocalSearchSolver being built... 
0.56	       =>  wckTime=0.273  cpuTime=0.18  mem=5M499
0.57	
0.57	s SATISFIABLE
0.57	o 70
0.57	c 39
0.57	o 74
0.57	c 35
0.57	o 75
0.57	c 34
0.57	o 77
0.57	c 32
0.57	o 78
0.57	c 31
0.57	o 80
0.57	c 29
0.57	o 82
0.57	c 27
0.57	o 84
0.57	c 25
0.57	o 85
0.57	c 24
0.57	o 87
0.57	c 22
0.58	o 88
0.58	c 21
0.58	o 89
0.58	c 20
0.58	o 90
0.58	c 19
0.58	o 91
0.58	c 18
0.58	o 92
0.58	c 17
0.58	o 93
0.58	c 16
0.58	o 94
0.58	c 15
0.58	o 95
0.58	c 14
0.59	o 96
0.59	c 13
0.59	o 97
0.59	c 12
0.59	o 98
0.59	c 11
0.59	o 99
0.59	c 10
0.59	o 100
0.59	c 9
0.59	o 101
0.59	c 8
0.59	o 102
0.59	c 7
0.60	o 103
0.60	c 6
0.61	o 105
0.61	c 4
1.85	   
1.85	   search
1.85	     run=0  nbConstraintChecks=6238181  nbAssignments=10000
1.85	       =>  wckTime=1.292  cpuTime=1.28  mem=5M499
3.12	   
3.12	   search
3.12	     run=1  nbConstraintChecks=12680618  nbAssignments=20000
3.12	       =>  wckTime=2.557  cpuTime=2.55  mem=5M499
3.16	o 106
3.16	c 3
4.34	   
4.34	   search
4.34	     run=2  nbConstraintChecks=18750974  nbAssignments=30000
4.34	       =>  wckTime=3.777  cpuTime=3.77  mem=5M499
5.57	   
5.57	   search
5.57	     run=3  nbConstraintChecks=24927318  nbAssignments=40000
5.57	       =>  wckTime=5.009  cpuTime=5.0  mem=5M499
6.82	   
6.82	   search
6.82	     run=4  nbConstraintChecks=31303159  nbAssignments=50000
6.82	       =>  wckTime=6.261  cpuTime=6.24  mem=5M499
8.08	   
8.08	   search
8.08	     run=5  nbConstraintChecks=37744497  nbAssignments=60000
8.08	       =>  wckTime=7.522  cpuTime=7.51  mem=5M499
9.29	   
9.29	   search
9.29	     run=6  nbConstraintChecks=43702839  nbAssignments=70000
9.29	       =>  wckTime=8.73  cpuTime=8.71  mem=5M499
10.52	   
10.52	   search
10.52	     run=7  nbConstraintChecks=49744321  nbAssignments=80000
10.52	       =>  wckTime=9.958  cpuTime=9.94  mem=5M499
11.75	   
11.75	   search
11.75	     run=8  nbConstraintChecks=55875256  nbAssignments=90000
11.75	       =>  wckTime=11.193  cpuTime=11.17  mem=5M499
12.98	   
12.98	   search
12.98	     run=9  nbConstraintChecks=61857367  nbAssignments=100000
12.98	       =>  wckTime=12.414  cpuTime=12.39  mem=5M499
14.25	   
14.25	   search
14.25	     run=10  nbConstraintChecks=68142917  nbAssignments=110000
14.25	       =>  wckTime=13.689  cpuTime=13.65  mem=5M499
15.51	   
15.51	   search
15.51	     run=11  nbConstraintChecks=74460279  nbAssignments=120000
15.51	       =>  wckTime=14.947  cpuTime=14.91  mem=5M499
16.72	   
16.72	   search
16.72	     run=12  nbConstraintChecks=80405882  nbAssignments=130000
16.72	       =>  wckTime=16.162  cpuTime=16.12  mem=5M499
17.94	   
17.94	   search
17.94	     run=13  nbConstraintChecks=86418465  nbAssignments=140000
17.94	       =>  wckTime=17.383  cpuTime=17.34  mem=5M499
19.15	   
19.15	   search
19.15	     run=14  nbConstraintChecks=92296333  nbAssignments=150000
19.15	       =>  wckTime=18.593  cpuTime=18.55  mem=5M499
20.38	   
20.38	   search
20.38	     run=15  nbConstraintChecks=98398638  nbAssignments=160000
20.38	       =>  wckTime=19.82  cpuTime=19.78  mem=5M499
21.61	   
21.61	   search
21.61	     run=16  nbConstraintChecks=104427487  nbAssignments=170000
21.61	       =>  wckTime=21.046  cpuTime=20.99  mem=5M499
22.88	   
22.88	   search
22.88	     run=17  nbConstraintChecks=110940935  nbAssignments=180000
22.88	       =>  wckTime=22.319  cpuTime=22.27  mem=5M499
24.11	   
24.11	   search
24.11	     run=18  nbConstraintChecks=117110282  nbAssignments=190000
24.11	       =>  wckTime=23.55  cpuTime=23.49  mem=5M499
25.34	   
25.34	   search
25.34	     run=19  nbConstraintChecks=123224183  nbAssignments=200000
25.34	       =>  wckTime=24.776  cpuTime=24.72  mem=5M499
26.54	   
26.54	   search
26.54	     run=20  nbConstraintChecks=129090878  nbAssignments=210000
26.54	       =>  wckTime=25.976  cpuTime=25.92  mem=5M499
27.77	   
27.77	   search
27.77	     run=21  nbConstraintChecks=135259790  nbAssignments=220000
27.77	       =>  wckTime=27.206  cpuTime=27.15  mem=5M499
29.01	   
29.01	   search
29.01	     run=22  nbConstraintChecks=141553781  nbAssignments=230000
29.01	       =>  wckTime=28.451  cpuTime=28.4  mem=5M499
30.26	   
30.26	   search
30.26	     run=23  nbConstraintChecks=147718799  nbAssignments=240000
30.26	       =>  wckTime=29.697  cpuTime=29.64  mem=5M499
31.46	   
31.46	   search
31.47	     run=24  nbConstraintChecks=153567052  nbAssignments=250000
31.47	       =>  wckTime=30.904  cpuTime=30.85  mem=5M499
32.75	   
32.75	   search
32.75	     run=25  nbConstraintChecks=160080604  nbAssignments=260000
32.75	       =>  wckTime=32.188  cpuTime=32.12  mem=5M499
33.21	   
33.21	   search
33.21	     run=26  nbConstraintChecks=162332599  nbAssignments=263856
33.21	       =>  wckTime=32.653  cpuTime=32.6  mem=5M499
33.22	   
33.22	   global
33.22	     nbConstraintChecks=162332599  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.22	     solvingWckTime=32.651  solvingCpuTime=32.59  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.22	     globalCpuTime=32.82
33.22	       =>  wckTime=32.926  cpuTime=32.77  mem=5M499
33.22	   
33.22	   solver IterativeSystematicSolver being built... 
33.35	       =>  wckTime=33.058  cpuTime=32.86  mem=16M698
33.35	   
33.35	   preprocessing
33.35	     nbConstraintChecks=20  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
33.35	     detectedInconsistency=no
33.35	       =>  wckTime=0.0040  cpuTime=0.0  mem=16M698
33.43	   
33.43	   search
33.43	     run=0  nbConstraintChecks=113572  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79
33.43	     nbFailedAssignments=60  nbBacktracks=12  nbVisitedNodes=152  nbRestartNogoods=0
33.43	       =>  wckTime=0.082  cpuTime=0.06  mem=16M698
33.48	   
33.48	   search
33.48	     run=1  nbConstraintChecks=248012  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=167
33.48	     nbFailedAssignments=126  nbBacktracks=27  nbVisitedNodes=321  nbRestartNogoods=14
33.48	       =>  wckTime=0.134  cpuTime=0.1  mem=16M698
33.54	   
33.54	   search
33.54	     run=2  nbConstraintChecks=442149  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=293
33.54	     nbFailedAssignments=221  nbBacktracks=49  nbVisitedNodes=563  nbRestartNogoods=29
33.54	       =>  wckTime=0.193  cpuTime=0.16  mem=16M698
33.58	   
33.58	   search
33.58	     run=3  nbConstraintChecks=595674  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=391
33.58	     nbFailedAssignments=279  nbBacktracks=83  nbVisitedNodes=753  nbRestartNogoods=37
33.58	       =>  wckTime=0.235  cpuTime=0.2  mem=16M698
33.67	   
33.67	   search
33.67	     run=4  nbConstraintChecks=945865  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=591
33.67	     nbFailedAssignments=421  nbBacktracks=133  nbVisitedNodes=1142  nbRestartNogoods=42
33.67	       =>  wckTime=0.323  cpuTime=0.28  mem=16M698
33.81	   
33.81	   search
33.81	     run=5  nbConstraintChecks=1523553  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=934
33.81	     nbFailedAssignments=680  nbBacktracks=208  nbVisitedNodes=1819  nbRestartNogoods=55
33.81	       =>  wckTime=0.465  cpuTime=0.43  mem=16M698
33.93	   
33.93	   search
33.93	     run=6  nbConstraintChecks=1970355  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1238
33.93	     nbFailedAssignments=863  nbBacktracks=321  nbVisitedNodes=2419  nbRestartNogoods=67
33.93	       =>  wckTime=0.578  cpuTime=0.53  mem=16M698
34.23	   
34.23	   search
34.23	     run=7  nbConstraintChecks=2999218  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1884
34.23	     nbFailedAssignments=1332  nbBacktracks=491  nbVisitedNodes=3698  nbRestartNogoods=78
34.23	       =>  wckTime=0.886  cpuTime=0.83  mem=16M698
34.65	   
34.65	   search
34.65	     run=8  nbConstraintChecks=4672674  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2928
34.65	     nbFailedAssignments=2113  nbBacktracks=747  nbVisitedNodes=5773  nbRestartNogoods=102
34.65	       =>  wckTime=1.306  cpuTime=1.24  mem=16M698
35.39	   
35.39	   search
35.39	     run=9  nbConstraintChecks=7589950  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4706
35.39	     nbFailedAssignments=3502  nbBacktracks=1131  nbVisitedNodes=9307  nbRestartNogoods=114
35.39	       =>  wckTime=2.037  cpuTime=1.98  mem=16M698
36.19	   
36.19	   search
36.19	     run=10  nbConstraintChecks=10649903  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6820
36.19	     nbFailedAssignments=5030  nbBacktracks=1707  nbVisitedNodes=13511  nbRestartNogoods=122
36.19	       =>  wckTime=2.837  cpuTime=2.77  mem=16M698
37.55	   
37.55	   search
37.55	     run=11  nbConstraintChecks=15714671  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10001
37.55	     nbFailedAssignments=7337  nbBacktracks=2571  nbVisitedNodes=19842  nbRestartNogoods=150
37.55	       =>  wckTime=4.199  cpuTime=4.13  mem=16M698
39.34	   
39.34	   search
39.34	     run=12  nbConstraintChecks=21229777  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14101
39.34	     nbFailedAssignments=10132  nbBacktracks=3868  nbVisitedNodes=27971  nbRestartNogoods=175
39.34	       =>  wckTime=5.993  cpuTime=5.92  mem=16M698
41.40	   
41.40	   search
41.40	     run=13  nbConstraintChecks=27841441  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18921
41.40	     nbFailedAssignments=12997  nbBacktracks=5815  nbVisitedNodes=37487  nbRestartNogoods=193
41.40	       =>  wckTime=8.048  cpuTime=7.98  mem=16M698
44.73	   
44.73	   search
44.73	     run=14  nbConstraintChecks=38321390  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26150
44.73	     nbFailedAssignments=17303  nbBacktracks=8734  nbVisitedNodes=51855  nbRestartNogoods=211
44.73	       =>  wckTime=11.378  cpuTime=11.3  mem=16M698
49.39	   
49.39	   search
49.39	     run=15  nbConstraintChecks=53065069  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36618
49.39	     nbFailedAssignments=23382  nbBacktracks=13112  nbVisitedNodes=72515  nbRestartNogoods=220
49.39	       =>  wckTime=16.043  cpuTime=15.96  mem=16M698
56.23	   
56.23	   search
56.23	     run=16  nbConstraintChecks=74452918  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51538
56.23	     nbFailedAssignments=31729  nbBacktracks=19680  nbVisitedNodes=102034  nbRestartNogoods=248
56.23	       =>  wckTime=22.885  cpuTime=22.8  mem=16M698
65.76	   
65.76	   search
65.76	     run=17  nbConstraintChecks=103310316  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=72256
65.76	     nbFailedAssignments=42592  nbBacktracks=29532  nbVisitedNodes=142495  nbRestartNogoods=260
65.76	       =>  wckTime=32.406  cpuTime=32.3  mem=16M698
79.16	   
79.16	   search
79.16	     run=18  nbConstraintChecks=144513334  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=102969
79.16	     nbFailedAssignments=58516  nbBacktracks=44311  nbVisitedNodes=202331  nbRestartNogoods=265
79.16	       =>  wckTime=45.811  cpuTime=45.69  mem=16M698
95.24	   
95.24	   search
95.24	     run=19  nbConstraintChecks=193206759  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=138998
95.24	     nbFailedAssignments=77122  nbBacktracks=61735  nbVisitedNodes=272729  nbRestartNogoods=282
95.24	       =>  wckTime=61.893  cpuTime=61.77  mem=16M698
95.24	   
95.24	   global
95.24	     nbConstraintChecks=193206779  nbRestartNogoods=282  solvingWckTime=61.894  solvingCpuTime=61.77  expiredTime=no
95.24	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=94.68
95.24	       =>  wckTime=94.952  cpuTime=94.63  mem=16M698
95.25	
95.25	s OPTIMUM FOUND
95.25	v 1 4 2 4 4 4 2 3 5 9 6 8 6 3 7 8 3 1 6 3 1 10 4 8 4 10 4 5 3 2 
95.25	   
95.25	   totalWckTime=95.028  totalCpuTime=94.68

Verifier Data (download as text)

3 unsatisfied constraints, 106 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node11/watcher-282422-1169319064 -o ROOT/results/node11/solver-282422-1169319064 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282422-1169319064/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.85 1.95 1.98 4/87 28118
/proc/meminfo: memFree=1179848/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=172 CPUtime=0
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280301474 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979812 0 0 4096 0 0 0 0 17 0 0 0
/proc/28117/statm: 43 24 18 14 0 3 0

[startup+0.107233 s]
/proc/loadavg: 1.85 1.95 1.98 4/87 28118
/proc/meminfo: memFree=1179848/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=914988 CPUtime=0.09
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 3069 0 1 0 7 2 0 0 23 0 8 0 280301474 936947712 2815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515314 s]
/proc/loadavg: 1.85 1.95 1.98 4/87 28118
/proc/meminfo: memFree=1179848/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915332 CPUtime=0.49
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 6551 0 1 0 45 4 0 0 25 0 8 0 280301474 937299968 6289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228833 6289 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33848 s]
/proc/loadavg: 1.85 1.95 1.98 3/94 28125
/proc/meminfo: memFree=1162384/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915444 CPUtime=1.32
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 7041 0 1 0 106 26 0 0 25 0 8 0 280301474 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228861 6779 2476 14 0 215331 0
[pid=28117/tid=28119] ppid=28115 vsize=915444 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280301478 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.1
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280301481 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444

[startup+2.9808 s]
/proc/loadavg: 1.85 1.95 1.98 3/94 28125
/proc/meminfo: memFree=1162384/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915444 CPUtime=2.96
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 7044 0 1 0 222 74 0 0 25 0 8 0 280301474 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228862 6781 2476 14 0 215332 0
[pid=28117/tid=28119] ppid=28115 vsize=915444 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.11
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444

[startup+6.27746 s]
/proc/loadavg: 1.86 1.95 1.98 3/94 28125
/proc/meminfo: memFree=1162384/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915444 CPUtime=6.25
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 7044 0 1 0 455 170 0 0 25 0 8 0 280301474 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228862 6781 2476 14 0 215332 0
[pid=28117/tid=28119] ppid=28115 vsize=915444 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.11
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444

[startup+12.7657 s]
/proc/loadavg: 1.87 1.95 1.98 3/94 28125
/proc/meminfo: memFree=1162384/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915444 CPUtime=12.74
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 7044 0 1 0 906 368 0 0 25 0 8 0 280301474 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228862 6781 2476 14 0 215332 0
[pid=28117/tid=28119] ppid=28115 vsize=915444 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915448 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.11
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915444

[startup+25.6303 s]
/proc/loadavg: 1.90 1.96 1.98 3/94 28125
/proc/meminfo: memFree=1162448/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915448 CPUtime=25.57
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 7046 0 1 0 1793 764 0 0 25 0 8 0 280301474 937418752 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228861 6783 2476 14 0 215331 0
[pid=28117/tid=28119] ppid=28115 vsize=915448 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280301478 937418752 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.11
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 280301481 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915448

[startup+51.2664 s]
/proc/loadavg: 1.99 1.97 1.98 3/94 28125
/proc/meminfo: memFree=1154640/2055920 swapFree=4171812/4192956
[pid=28117] ppid=28115 vsize=915444 CPUtime=51.19
/proc/28117/stat : 28117 (java) R 28115 28117 27118 0 -1 0 9109 0 1 0 4121 998 0 0 25 0 8 0 280301474 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28117/statm: 228861 8840 2527 14 0 215331 0
[pid=28117/tid=28119] ppid=28115 vsize=915444 CPUtime=0.02
/proc/28117/task/28119/stat : 28119 (java) S 28115 28117 27118 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 280301478 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28120] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28120/stat : 28120 (java) S 28115 28117 27118 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280301478 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28121] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28121/stat : 28121 (java) S 28115 28117 27118 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280301478 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28122] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28122/stat : 28122 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280301481 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28123] ppid=28115 vsize=915444 CPUtime=0.22
/proc/28117/task/28123/stat : 28123 (java) S 28115 28117 27118 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 280301481 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28124] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28124/stat : 28124 (java) S 28115 28117 27118 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280301481 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28117/tid=28125] ppid=28115 vsize=915444 CPUtime=0
/proc/28117/task/28125/stat : 28125 (java) S 28115 28117 27118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280301481 937414656 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 95.2767
CPU time (s): 95.1365
CPU user time (s): 85.1461
CPU system time (s): 9.99048
CPU usage (%): 99.8529
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.1461
system time used= 9.99048
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9215
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= 3086
involuntary context switches= 6053

runsolver used 0.109983 s user time and 0.32595 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan 20 18:51:04 UTC 2007


IDJOB= 282422
IDBENCH= 12783
IDSOLVER= 69
FILE ID= node11/282422-1169319064

PBS_JOBID= 3610015

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t48/pi-30-10-197-52-31.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282422-1169319064/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-282422-1169319064 -o ROOT/results/node11/solver-282422-1169319064 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282422-1169319064/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4c6816eb0649655a8384a2ac165c687f

RANDOM SEED= 538884775

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	: 5931.00
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:       1180264 kB
Buffers:         65916 kB
Cached:         598272 kB
SwapCached:       3844 kB
Active:         322856 kB
Inactive:       471924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1180264 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:         148508 kB
Slab:            65332 kB
Committed_AS:  9086308 kB
PageTables:       2560 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= 66561 MiB



End job on node11 on Sat Jan 20 18:52:40 UTC 2007