Trace number 217882

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
Abscon 109 ESACSAT 66.8118 66.9052

DiagnosticValue
CHECKS21748211
NODES289273

General information on the benchmark

Nameramsey/ramsey4/
ramsey-35-4.xml
MD5SUMd7ff1f14815257f2473330bda53a6dc1
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.93525
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables595
Number of constraints6545
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension6545
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/217882-1168249758/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.46	     nbVariables=595  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.46	       =>  wckTime=0.162  cpuTime=0.12  mem=9M0
0.46	   
0.46	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
1.45	     nbConstraints=6545  nbConflictsStructures=1  nbSharedConflictsStructures=6544  nbSharedBinaryRepresentations=0
1.45	     nbEvaluationManagers=1  nbSharedEvaluationManagers=6544  maxDegree=33  maxArity=3
1.45	       =>  wckTime=1.151  cpuTime=0.97  mem=18M870
1.53	   
1.53	   solver IterativeSystematicSolver being built... 
1.86	       =>  wckTime=1.564  cpuTime=1.21  mem=10M707
2.22	   
2.22	   preprocessing
2.22	     nbConstraintChecks=12673  nbValidityChecks=21  nbPropagations=2572  nbRevisions=4502  nbUselessRevisions=3110
2.22	     nbSingletonTests=612  nbEffectiveSingletonTests=0  nbESACBranches=13  nbRemovedValues=0  detectedInconsistency=no
2.22	       =>  wckTime=0.351  cpuTime=0.32  mem=11M702
2.37	   
2.37	   search
2.37	     run=0  nbConstraintChecks=10027  nbValidityChecks=4564  nbPropagations=3477  nbRevisions=8096
2.37	     nbUselessRevisions=5823  nbAssignments=286  nbFailedAssignments=13  nbBacktracks=14  nbVisitedNodes=308
2.38	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.38	       =>  wckTime=0.511  cpuTime=0.46  mem=11M702
2.77	   
2.77	   search
2.77	     run=1  nbConstraintChecks=33821  nbValidityChecks=56188  nbPropagations=11989  nbRevisions=35549
2.77	     nbUselessRevisions=27781  nbAssignments=2519  nbFailedAssignments=25  nbBacktracks=29  nbVisitedNodes=725
2.77	     nbRestartNogoods=12  mapSize=18  nbInferences=0  nbTooLargeKeys=0
2.77	       =>  wckTime=0.907  cpuTime=0.84  mem=12M696
3.12	   
3.12	   search
3.12	     run=2  nbConstraintChecks=62687  nbValidityChecks=117537  nbPropagations=25844  nbRevisions=84603
3.12	     nbUselessRevisions=67416  nbAssignments=4695  nbFailedAssignments=46  nbBacktracks=51  nbVisitedNodes=1202
3.12	     nbRestartNogoods=22  mapSize=35  nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=1.255  cpuTime=1.19  mem=12M696
3.80	   
3.80	   search
3.80	     run=3  nbConstraintChecks=103501  nbValidityChecks=290472  nbPropagations=52317  nbRevisions=191380
3.80	     nbUselessRevisions=156060  nbAssignments=9769  nbFailedAssignments=67  nbBacktracks=88  nbVisitedNodes=1671
3.80	     nbRestartNogoods=37  mapSize=66  nbInferences=0  nbTooLargeKeys=0
3.80	       =>  wckTime=1.935  cpuTime=1.86  mem=12M696
4.17	   
4.17	   search
4.17	     run=4  nbConstraintChecks=136142  nbValidityChecks=397389  nbPropagations=86391  nbRevisions=333949
4.17	     nbUselessRevisions=274901  nbAssignments=12799  nbFailedAssignments=99  nbBacktracks=141  nbVisitedNodes=2105
4.17	     nbRestartNogoods=44  mapSize=108  nbInferences=0  nbTooLargeKeys=0
4.17	       =>  wckTime=2.306  cpuTime=2.22  mem=13M691
4.66	   
4.66	   search
4.66	     run=5  nbConstraintChecks=174122  nbValidityChecks=479330  nbPropagations=126531  nbRevisions=504069
4.66	     nbUselessRevisions=416392  nbAssignments=15205  nbFailedAssignments=143  nbBacktracks=220  nbVisitedNodes=2717
4.66	     nbRestartNogoods=56  mapSize=161  nbInferences=0  nbTooLargeKeys=0
4.66	       =>  wckTime=2.8  cpuTime=2.72  mem=13M691
5.58	   
5.58	   search
5.58	     run=6  nbConstraintChecks=231440  nbValidityChecks=714695  nbPropagations=182844  nbRevisions=752176
5.58	     nbUselessRevisions=623761  nbAssignments=21415  nbFailedAssignments=191  nbBacktracks=340  nbVisitedNodes=3391
5.58	     nbRestartNogoods=77  mapSize=232  nbInferences=0  nbTooLargeKeys=0
5.58	       =>  wckTime=3.713  cpuTime=3.63  mem=14M686
6.44	   
6.44	   search
6.44	     run=7  nbConstraintChecks=299673  nbValidityChecks=944919  nbPropagations=254898  nbRevisions=1077101
6.44	     nbUselessRevisions=895125  nbAssignments=26860  nbFailedAssignments=261  nbBacktracks=512  nbVisitedNodes=4213
6.44	     nbRestartNogoods=93  mapSize=332  nbInferences=0  nbTooLargeKeys=0
6.44	       =>  wckTime=4.579  cpuTime=4.49  mem=14M686
7.79	   
7.79	   search
7.79	     run=8  nbConstraintChecks=388245  nbValidityChecks=1153217  nbPropagations=339607  nbRevisions=1474792
7.79	     nbUselessRevisions=1227216  nbAssignments=31319  nbFailedAssignments=369  nbBacktracks=769  nbVisitedNodes=5209
7.79	     nbRestartNogoods=123  mapSize=490  nbInferences=0  nbTooLargeKeys=0
7.79	       =>  wckTime=5.928  cpuTime=5.84  mem=15M680
8.81	   
8.81	   search
8.81	     run=9  nbConstraintChecks=508188  nbValidityChecks=1510133  nbPropagations=445847  nbRevisions=1994424
8.81	     nbUselessRevisions=1661568  nbAssignments=39130  nbFailedAssignments=529  nbBacktracks=1157  nbVisitedNodes=6435
8.81	     nbRestartNogoods=148  mapSize=746  nbInferences=0  nbTooLargeKeys=0
8.81	       =>  wckTime=6.946  cpuTime=6.85  mem=16M675
9.40	   
9.41	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=16M675)
9.42	   
9.42	   search
9.42	     run=10  nbConstraintChecks=554234  nbValidityChecks=1684249  nbPropagations=564721  nbRevisions=2574188
9.42	     nbUselessRevisions=2144768  nbAssignments=43844  nbFailedAssignments=708  nbBacktracks=1737  nbVisitedNodes=7561
9.42	     nbRestartNogoods=169
9.42	       =>  wckTime=7.555  cpuTime=7.44  mem=16M675
9.80	   
9.80	   search
9.80	     run=11  nbConstraintChecks=748246  nbValidityChecks=1959281  nbPropagations=693432  nbRevisions=3255371
9.80	     nbUselessRevisions=2709319  nbAssignments=45483  nbFailedAssignments=1053  nbBacktracks=2601  nbVisitedNodes=9849
9.80	     nbRestartNogoods=173
9.80	       =>  wckTime=7.938  cpuTime=7.82  mem=16M675
10.57	   
10.58	   search
10.58	     run=12  nbConstraintChecks=850094  nbValidityChecks=2200247  nbPropagations=839497  nbRevisions=4021771
10.58	     nbUselessRevisions=3339693  nbAssignments=51410  nbFailedAssignments=1549  nbBacktracks=3899  nbVisitedNodes=12745
10.58	     nbRestartNogoods=209
10.58	       =>  wckTime=8.712  cpuTime=8.59  mem=16M675
11.13	   
11.13	   search
11.14	     run=13  nbConstraintChecks=1028030  nbValidityChecks=2457117  nbPropagations=997325  nbRevisions=4879640
11.14	     nbUselessRevisions=4039457  nbAssignments=54199  nbFailedAssignments=2024  nbBacktracks=5848  nbVisitedNodes=16381
11.14	     nbRestartNogoods=213
11.14	       =>  wckTime=9.272  cpuTime=9.15  mem=16M675
12.18	   
12.18	   search
12.18	     run=14  nbConstraintChecks=1391490  nbValidityChecks=3075685  nbPropagations=1180636  nbRevisions=5984279
12.18	     nbUselessRevisions=4940278  nbAssignments=59351  nbFailedAssignments=2690  nbBacktracks=8781  nbVisitedNodes=21592
12.18	     nbRestartNogoods=229
12.18	       =>  wckTime=10.316  cpuTime=10.2  mem=17M670
13.85	   
13.85	   search
13.85	     run=15  nbConstraintChecks=2107734  nbValidityChecks=4241705  nbPropagations=1405675  nbRevisions=7550260
13.85	     nbUselessRevisions=6218745  nbAssignments=66177  nbFailedAssignments=3989  nbBacktracks=13162  nbVisitedNodes=30225
13.85	     nbRestartNogoods=241
13.85	       =>  wckTime=11.983  cpuTime=11.86  mem=17M670
16.45	   
16.45	   search
16.45	     run=16  nbConstraintChecks=3134948  nbValidityChecks=5984043  nbPropagations=1697102  nbRevisions=9806348
16.45	     nbUselessRevisions=8066080  nbAssignments=78677  nbFailedAssignments=5839  nbBacktracks=19732  nbVisitedNodes=42664
16.45	     nbRestartNogoods=273
16.45	       =>  wckTime=14.587  cpuTime=14.46  mem=17M670
19.18	   
19.18	   search
19.18	     run=17  nbConstraintChecks=3515445  nbValidityChecks=6700731  nbPropagations=2047460  nbRevisions=12369887
19.18	     nbUselessRevisions=10135393  nbAssignments=95369  nbFailedAssignments=7746  nbBacktracks=29595
19.18	     nbVisitedNodes=58489  nbRestartNogoods=298
19.18	       =>  wckTime=17.32  cpuTime=17.2  mem=17M670
23.38	   
23.38	   search
23.38	     run=18  nbConstraintChecks=4695246  nbValidityChecks=8684519  nbPropagations=2490349  nbRevisions=15691756
23.38	     nbUselessRevisions=12787771  nbAssignments=113837  nbFailedAssignments=11210  nbBacktracks=44373
23.38	     nbVisitedNodes=83932  nbRestartNogoods=306
23.38	       =>  wckTime=21.517  cpuTime=21.39  mem=17M670
29.95	   
29.95	   search
29.95	     run=19  nbConstraintChecks=6875097  nbValidityChecks=12138931  nbPropagations=3079297  nbRevisions=20262111
29.95	     nbUselessRevisions=16400581  nbAssignments=142575  nbFailedAssignments=17181  nbBacktracks=66543
29.95	     nbVisitedNodes=124038  nbRestartNogoods=318
29.95	       =>  wckTime=28.09  cpuTime=27.94  mem=17M670
40.73	   
40.73	   search
40.73	     run=20  nbConstraintChecks=11559933  nbValidityChecks=19459365  nbPropagations=3930914  nbRevisions=27780142
40.73	     nbUselessRevisions=22426996  nbAssignments=184610  nbFailedAssignments=25345  nbBacktracks=99798
40.73	     nbVisitedNodes=183228  nbRestartNogoods=331
40.73	       =>  wckTime=38.871  cpuTime=38.72  mem=17M670
59.78	   
59.78	   search
59.78	     run=21  nbConstraintChecks=19974622  nbValidityChecks=33201865  nbPropagations=5243536  nbRevisions=40982790
59.78	     nbUselessRevisions=33185052  nbAssignments=252894  nbFailedAssignments=40263  nbBacktracks=149676
59.78	     nbVisitedNodes=277760  nbRestartNogoods=357
59.78	       =>  wckTime=57.92  cpuTime=57.75  mem=17M670
66.87	   
66.87	   search
66.87	     run=22  nbConstraintChecks=21735538  nbValidityChecks=36146215  nbPropagations=6713516  nbRevisions=55332152
66.87	     nbUselessRevisions=44815513  nbAssignments=289273  nbFailedAssignments=48744  nbBacktracks=173809
66.87	     nbVisitedNodes=327625  nbRestartNogoods=397
66.87	       =>  wckTime=65.005  cpuTime=64.83  mem=17M670
66.87	   
66.87	   global
66.87	     nbConstraintChecks=21748211  nbValidityChecks=36146236  nbPropagations=6716088  nbRevisions=55336654
66.87	     nbUselessRevisions=44818623  nbRestartNogoods=397  solvingWckTime=65.007  solvingCpuTime=64.83  expiredTime=no
66.87	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=66.1
66.87	       =>  wckTime=66.576  cpuTime=66.05  mem=17M670
66.87	   
66.87	s SATISFIABLE
66.87	v 1 0 1 0 2 3 2 2 2 3 3 0 0 0 2 3 3 0 1 0 1 2 0 0 2 1 1 0 3 2 0 3 1 1 1 0 1 0 1 0 3 1 0 1 1 1 0 1 1 0 1 2 0 0 1 0 0 3 2 0 0 1 0 0 0 0 2 0 2 0 0 0 2 3 0 2 3 2 2 2 3 3 3 1 1 2 0 1 1 1 1 0 1 3 0 2 3 0 1 0 1 1 1 0 0 3 1 3 0 1 2 3 3 0 0 1 3 2 3 2 1 0 2 2 3 2 1 2 3 2 0 2 2 1 2 0 3 2 3 1 0 0 2 3 2 1 0 0 1 3 0 1 0 1 3 2 3 0 0 1 2 3 0 0 1 3 2 0 2 1 3 3 0 0 2 2 3 1 2 3 0 1 3 1 1 3 2 3 2 3 1 0 1 2 3 2 0 2 2 0 3 3 0 0 3 1 3 2 1 1 0 0 1 3 0 3 1 0 3 3 2 0 0 2 1 1 1 0 1 3 3 1 1 1 0 0 2 1 1 3 2 2 2 0 1 0 3 1 3 0 1 2 0 2 1 0 0 3 0 0 1 2 0 0 1 0 0 0 0 2 0 3 0 3 1 0 0 1 2 3 2 2 3 1 2 0 1 0 3 2 1 1 2 0 1 0 1 3 1 2 1 1 2 1 2 1 3 2 3 3 0 3 1 0 2 3 2 2 0 3 0 0 3 0 1 2 1 2 0 2 1 1 0 1 0 1 2 2 0 0 0 1 3 3 2 2 0 2 0 1 0 0 1 1 3 1 2 3 0 0 1 0 2 1 1 0 3 0 2 1 1 3 0 1 2 1 1 2 2 0 2 1 2 3 1 0 3 3 2 0 3 3 0 2 1 2 0 3 2 2 2 3 1 1 3 3 3 0 2 0 1 3 0 0 3 1 3 0 2 0 0 1 1 1 0 0 0 0 2 2 0 0 1 1 1 2 2 0 2 2 1 1 1 3 1 2 2 2 3 0 0 1 2 2 3 2 2 1 0 1 3 0 0 1 1 1 1 0 3 0 3 1 0 0 1 2 2 2 3 2 2 3 3 0 3 1 0 1 0 0 1 0 3 3 0 0 2 2 3 1 2 1 3 0 1 1 1 3 0 2 3 1 2 1 3 2 0 0 0 1 1 1 0 3 1 0 3 2 1 2 0 0 2 3 0 3 3 1 1 0 0 0 1 3 0 1 2 3 2 0 2 2 0 3 0 2 1 2 3 0 0 1 0 0 0 0 3 3 2 3 1 1 3 0 3 1 1 1 2 3 3 0 1 1 1 2 3 1 0 3 1 2 3 0 2 
66.87	d NODES 289273
66.87	d CHECKS 21748211
66.87	   
66.87	   totalWckTime=66.654  totalCpuTime=66.11

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-217882-1168249758 -o ROOT/results/node26/solver-217882-1168249758 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=1788 CPUtime=0
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 173370209 1830912 159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21971/statm: 446 158 123 14 0 91 0

[startup+0.104423 s]
/proc/loadavg: 1.85 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=914988 CPUtime=0.09
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 3069 0 1 0 8 1 0 0 22 0 8 0 173370209 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516462 s]
/proc/loadavg: 1.85 2.01 1.87 4/87 21972
/proc/meminfo: memFree=1786520/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915328 CPUtime=0.5
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 6721 0 1 0 46 4 0 0 25 0 8 0 173370209 937295872 6460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228832 6460 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34254 s]
/proc/loadavg: 1.85 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1726432/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915632 CPUtime=1.32
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 17346 0 1 0 101 31 0 0 25 0 8 0 173370209 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228908 17084 2178 14 0 215378 0
[pid=21971/tid=21973] ppid=21969 vsize=915636 CPUtime=0.03
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 743 0 0 0 3 0 0 0 17 0 8 0 173370212 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915636 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915636 CPUtime=0.16
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 419 0 0 0 16 0 0 0 16 0 8 0 173370216 937611264 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915632 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937607168 17084 18446744073709551615 134512640 134570532 4294956480 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) 915632

[startup+2.97969 s]
/proc/loadavg: 1.85 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1717152/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=2.96
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20025 0 1 0 260 36 0 0 25 0 8 0 173370209 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074010062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19760 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 17 0 8 0 173370212 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.3
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 495 0 0 0 29 1 0 0 15 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19760 18446744073709551615 134512640 134570532 4294956480 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) 915732

[startup+6.267 s]
/proc/loadavg: 1.87 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1716768/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=6.25
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20036 0 1 0 588 37 0 0 25 0 8 0 173370209 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19769 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.32
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 504 0 0 0 31 1 0 0 16 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19769 18446744073709551615 134512640 134570532 4294956480 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) 915732

[startup+12.7566 s]
/proc/loadavg: 1.88 2.01 1.87 3/94 21979
/proc/meminfo: memFree=1716448/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=12.72
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 1235 37 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915732

[startup+25.6328 s]
/proc/loadavg: 1.90 2.01 1.88 3/94 21979
/proc/meminfo: memFree=1716000/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=25.59
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 2522 37 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915732

[startup+51.2662 s]
/proc/loadavg: 1.93 2.01 1.88 3/94 21979
/proc/meminfo: memFree=1714976/2055920 swapFree=4192812/4192956
[pid=21971] ppid=21969 vsize=915732 CPUtime=51.2
/proc/21971/stat : 21971 (java) R 21969 21971 21430 0 -1 0 20046 0 1 0 5082 38 0 0 25 0 8 0 173370209 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073998518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21971/statm: 228933 19776 2547 14 0 215403 0
[pid=21971/tid=21973] ppid=21969 vsize=915732 CPUtime=0.14
/proc/21971/task/21973/stat : 21973 (java) S 21969 21971 21430 0 -1 64 2892 0 0 0 13 1 0 0 16 0 8 0 173370212 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21974] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21974/stat : 21974 (java) S 21969 21971 21430 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21975] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21975/stat : 21975 (java) S 21969 21971 21430 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173370213 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21976] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21976/stat : 21976 (java) S 21969 21971 21430 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21977] ppid=21969 vsize=915732 CPUtime=0.33
/proc/21971/task/21977/stat : 21977 (java) S 21969 21971 21430 0 -1 64 512 0 0 0 32 1 0 0 17 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21978] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21978/stat : 21978 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21971/tid=21979] ppid=21969 vsize=915732 CPUtime=0
/proc/21971/task/21979/stat : 21979 (java) S 21969 21971 21430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173370216 937709568 19776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 66.9052
CPU time (s): 66.8118
CPU user time (s): 66.4179
CPU system time (s): 0.39394
CPU usage (%): 99.8604
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.4179
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20054
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= 2920
involuntary context switches= 3610

runsolver used 0.077988 s user time and 0.234964 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Jan  8 09:49:19 UTC 2007


IDJOB= 217882
IDBENCH= 5178
FILE ID= node26/217882-1168249758

PBS_JOBID= 3481887

Free space on /tmp= 66533 MiB

BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-35-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-217882-1168249758 -o ROOT/results/node26/solver-217882-1168249758 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217882-1168249758/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7ff1f14815257f2473330bda53a6dc1

RANDOM SEED= 398788420

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1786936 kB
Buffers:         29864 kB
Cached:          95256 kB
SwapCached:          0 kB
Active:         155960 kB
Inactive:        57864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:         108500 kB
Slab:            39928 kB
Committed_AS:  3486196 kB
PageTables:       2324 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= 66533 MiB



End job on node26 on Mon Jan  8 09:50:26 UTC 2007