Trace number 247614

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 26.7869 26.9573

DiagnosticValue
CHECKS30048711
NODES29052

General information on the benchmark

Namedriver/
driverlogw-09-sat_ext.xml
MD5SUM5933f4a42187117e9e508d20340f2ade
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.89671
SatisfiableYES
(Un)Satisfiability was proved
Number of variables650
Number of constraints17447
Maximum constraint arity2
Maximum domain size12
Number of constraints which are defined in extension17447
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/247614-1168393259/unknown.xml
0.37	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.49	     nbVariables=650  nbDomainTypes=9  minDomainSize=2  maxDomainSize=12
0.49	       =>  wckTime=0.171  cpuTime=0.13  mem=8M869
0.49	   
0.49	   relations being loaded...
0.61	   
0.61	   constraints being loaded...
1.43	     nbConstraints=17447  nbRelationTypes=1639  nbExtensionStructures=2320  nbSharedExtensionStructures=15127
1.43	     nbConflictsStructures=2320  nbSharedConflictsStructures=15127  nbSharedBinaryRepresentations=29855  maxDegree=138
1.43	     maxArity=2
1.43	       =>  wckTime=1.116  cpuTime=0.75  mem=29M164
1.57	   
1.57	   solver IterativeSystematicSolver being built... 
1.80	       =>  wckTime=1.485  cpuTime=0.92  mem=30M570
9.41	   
9.41	   preprocessing
9.41	     nbConstraintChecks=6589994  nbPropagations=42354  nbRevisions=1597776  nbUselessRevisions=1544768
9.41	     nbSingletonTests=6433  nbEffectiveSingletonTests=12  nbESACBranches=99  nbRemovedValues=192
9.41	     detectedInconsistency=no
9.41	       =>  wckTime=7.601  cpuTime=7.48  mem=30M570
9.54	   
9.54	   search
9.54	     run=0  nbConstraintChecks=144877  nbPropagations=43333  nbRevisions=1636688  nbUselessRevisions=1581971
9.54	     nbAssignments=156  nbFailedAssignments=5  nbBacktracks=48  nbVisitedNodes=171  nbRestartNogoods=0  mapSize=11
9.54	     nbInferences=0  nbTooLargeKeys=0
9.54	       =>  wckTime=7.732  cpuTime=7.6  mem=31M564
9.65	   
9.66	   search
9.66	     run=1  nbConstraintChecks=351798  nbPropagations=88103  nbRevisions=3327032  nbUselessRevisions=3215686
9.66	     nbAssignments=353  nbFailedAssignments=7  nbBacktracks=105  nbVisitedNodes=340  nbRestartNogoods=3  mapSize=19
9.66	     nbInferences=0  nbTooLargeKeys=0
9.66	       =>  wckTime=7.852  cpuTime=7.72  mem=31M564
9.76	   
9.76	   search
9.76	     run=2  nbConstraintChecks=501795  nbPropagations=133891  nbRevisions=5059585  nbUselessRevisions=4889677
9.76	     nbAssignments=513  nbFailedAssignments=9  nbBacktracks=193  nbVisitedNodes=514  nbRestartNogoods=4  mapSize=32
9.76	     nbInferences=0  nbTooLargeKeys=0
9.76	       =>  wckTime=7.952  cpuTime=7.81  mem=31M564
9.87	   
9.87	   search
9.87	     run=3  nbConstraintChecks=631342  nbPropagations=180743  nbRevisions=6830609  nbUselessRevisions=6600572
9.87	     nbAssignments=750  nbFailedAssignments=11  nbBacktracks=250  nbVisitedNodes=760  nbRestartNogoods=5  mapSize=40
9.87	     nbInferences=0  nbTooLargeKeys=0
9.87	       =>  wckTime=8.062  cpuTime=7.93  mem=31M564
9.96	   
9.96	   search
9.96	     run=4  nbConstraintChecks=745297  nbPropagations=228418  nbRevisions=8631231  nbUselessRevisions=8340070
9.96	     nbAssignments=973  nbFailedAssignments=12  nbBacktracks=337  nbVisitedNodes=985  nbRestartNogoods=6  mapSize=41
9.96	     nbInferences=0  nbTooLargeKeys=0
9.96	       =>  wckTime=8.157  cpuTime=8.03  mem=31M564
10.09	   
10.09	   search
10.09	     run=5  nbConstraintChecks=939601  nbPropagations=277556  nbRevisions=10489262  nbUselessRevisions=10134415
10.09	     nbAssignments=1155  nbFailedAssignments=14  nbBacktracks=431  nbVisitedNodes=1179  nbRestartNogoods=7  mapSize=52
10.09	     nbInferences=0  nbTooLargeKeys=0
10.09	       =>  wckTime=8.287  cpuTime=8.15  mem=31M564
10.22	   
10.22	   search
10.22	     run=6  nbConstraintChecks=1081787  nbPropagations=327865  nbRevisions=12389647  nbUselessRevisions=11969454
10.22	     nbAssignments=1431  nbFailedAssignments=17  nbBacktracks=570  nbVisitedNodes=1464  nbRestartNogoods=8  mapSize=60
10.22	     nbInferences=0  nbTooLargeKeys=0
10.22	       =>  wckTime=8.418  cpuTime=8.28  mem=31M564
10.42	   
10.42	   search
10.42	     run=7  nbConstraintChecks=1361950  nbPropagations=380364  nbRevisions=14374342  nbUselessRevisions=13884924
10.42	     nbAssignments=1784  nbFailedAssignments=22  nbBacktracks=794  nbVisitedNodes=1839  nbRestartNogoods=9  mapSize=79
10.42	     nbInferences=0  nbTooLargeKeys=0
10.42	       =>  wckTime=8.621  cpuTime=8.47  mem=31M564
10.68	   
10.68	   search
10.68	     run=8  nbConstraintChecks=1754083  nbPropagations=435886  nbRevisions=16468346  nbUselessRevisions=15904280
10.68	     nbAssignments=2343  nbFailedAssignments=33  nbBacktracks=1057  nbVisitedNodes=2306  nbRestartNogoods=12
10.68	     mapSize=108  nbInferences=0  nbTooLargeKeys=0
10.68	       =>  wckTime=8.877  cpuTime=8.72  mem=31M564
11.09	   
11.09	   search
11.09	     run=9  nbConstraintChecks=2382946  nbPropagations=497562  nbRevisions=18787805  nbUselessRevisions=18135737
11.09	     nbAssignments=2925  nbFailedAssignments=58  nbBacktracks=1452  nbVisitedNodes=2992  nbRestartNogoods=14
11.09	     mapSize=209  nbInferences=1  nbTooLargeKeys=0
11.09	       =>  wckTime=9.286  cpuTime=9.12  mem=32M559
11.65	   
11.65	   search
11.65	     run=10  nbConstraintChecks=3135348  nbPropagations=567015  nbRevisions=21432032  nbUselessRevisions=20676938
11.65	     nbAssignments=3672  nbFailedAssignments=75  nbBacktracks=2088  nbVisitedNodes=3829  nbRestartNogoods=17
11.65	     mapSize=296  nbInferences=1  nbTooLargeKeys=0
11.65	       =>  wckTime=9.847  cpuTime=9.68  mem=32M559
12.37	   
12.37	   search
12.37	     run=11  nbConstraintChecks=4133519  nbPropagations=646363  nbRevisions=24493657  nbUselessRevisions=23615247
12.37	     nbAssignments=4703  nbFailedAssignments=122  nbBacktracks=2957  nbVisitedNodes=5002  nbRestartNogoods=20
12.37	     mapSize=435  nbInferences=3  nbTooLargeKeys=0
12.37	       =>  wckTime=10.57  cpuTime=10.4  mem=32M559
13.30	   
13.30	   search
13.30	     run=12  nbConstraintChecks=5365275  nbPropagations=737966  nbRevisions=28066766  nbUselessRevisions=27041770
13.30	     nbAssignments=6174  nbFailedAssignments=153  nbBacktracks=4254  nbVisitedNodes=6602  nbRestartNogoods=23
13.30	     mapSize=556  nbInferences=5  nbTooLargeKeys=0
13.30	       =>  wckTime=11.501  cpuTime=11.33  mem=33M554
14.65	   
14.65	   search
14.65	     run=13  nbConstraintChecks=7095109  nbPropagations=848113  nbRevisions=32414259  nbUselessRevisions=31204439
14.65	     nbAssignments=8228  nbFailedAssignments=197  nbBacktracks=6204  nbVisitedNodes=8881  nbRestartNogoods=27
14.65	     mapSize=770  nbInferences=11  nbTooLargeKeys=0
14.65	       =>  wckTime=12.85  cpuTime=12.67  mem=34M548
16.31	   
16.31	   search
16.31	     run=14  nbConstraintChecks=8971487  nbPropagations=978635  nbRevisions=37582848  nbUselessRevisions=36154333
16.31	     nbAssignments=11423  nbFailedAssignments=288  nbBacktracks=9146  nbVisitedNodes=12323  nbRestartNogoods=29
16.31	     mapSize=992  nbInferences=12  nbTooLargeKeys=0
16.31	       =>  wckTime=14.505  cpuTime=14.32  mem=35M543
19.05	   
19.05	   search
19.05	     run=15  nbConstraintChecks=12441219  nbPropagations=1142153  nbRevisions=44195399  nbUselessRevisions=42486747
19.05	     nbAssignments=16104  nbFailedAssignments=392  nbBacktracks=13560  nbVisitedNodes=17345  nbRestartNogoods=34
19.05	     mapSize=1328  nbInferences=23  nbTooLargeKeys=0
19.05	       =>  wckTime=17.251  cpuTime=17.07  mem=37M532
23.48	   
23.48	   search
23.48	     run=16  nbConstraintChecks=18642404  nbPropagations=1359235  nbRevisions=53209632  nbUselessRevisions=51119831
23.48	     nbAssignments=23040  nbFailedAssignments=549  nbBacktracks=20178  nbVisitedNodes=24752  nbRestartNogoods=38
23.48	     mapSize=1870  nbInferences=39  nbTooLargeKeys=0
23.48	       =>  wckTime=21.674  cpuTime=21.48  mem=39M522
26.88	   
26.88	   search
26.88	     run=17  nbConstraintChecks=23458717  nbPropagations=1615863  nbRevisions=64031156  nbUselessRevisions=61488508
26.88	     nbAssignments=29052  nbFailedAssignments=708  nbBacktracks=25374  nbVisitedNodes=31232  nbRestartNogoods=41
26.88	     mapSize=2311  nbInferences=46  nbTooLargeKeys=0
26.88	       =>  wckTime=25.075  cpuTime=24.88  mem=41M511
26.88	   
26.88	   global
26.88	     nbConstraintChecks=30048711  nbPropagations=1658217  nbRevisions=65628932  nbUselessRevisions=63033276
26.88	     nbRestartNogoods=41  solvingWckTime=25.076  solvingCpuTime=24.88  expiredTime=no  totalExploration=no
26.88	     nbFoundSolutions=1  globalCpuTime=25.86
26.88	       =>  wckTime=26.566  cpuTime=25.8  mem=41M511
26.88	   
26.88	s SATISFIABLE
26.88	v 0 0 1 0 1 0 3 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 8 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 9 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 2 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 
26.88	d NODES 29052
26.88	d CHECKS 30048711
26.88	   
26.88	   totalWckTime=26.648  totalCpuTime=25.87

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/node13/watcher-247614-1168393259 -o ROOT/results/node13/solver-247614-1168393259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/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: 0.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=18540 CPUtime=0
/proc/26934/stat : 26934 (runsolver) R 26928 26934 26801 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 187720941 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26934/statm: 4635 279 244 17 0 2626 0

[startup+0.109688 s]
/proc/loadavg: 0.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=914988 CPUtime=0.09
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 3046 0 1 0 8 1 0 0 18 0 8 0 187720941 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517737 s]
/proc/loadavg: 0.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915328 CPUtime=0.49
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 6503 0 1 0 45 4 0 0 19 0 8 0 187720941 937295872 6242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228832 6242 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33885 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26942
/proc/meminfo: memFree=1708088/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915628 CPUtime=1.3
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 20068 0 1 0 119 11 0 0 23 0 8 0 187720941 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228907 19805 2160 14 0 215377 0
[pid=26934/tid=26936] ppid=26928 vsize=915628 CPUtime=0.16
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 3498 0 0 0 15 1 0 0 17 0 8 0 187720945 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187720946 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915628 CPUtime=0.2
/proc/26934/task/26940/stat : 26940 (java) R 26928 26934 26801 0 -1 64 421 0 0 0 19 1 0 0 16 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153091585 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.97607 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26942
/proc/meminfo: memFree=1664632/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=2.94
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22171 0 1 0 280 14 0 0 25 0 8 0 187720941 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228961 21885 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 17 0 8 0 187720945 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.33
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 502 0 0 0 31 2 0 0 15 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915844

[startup+6.18149 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26951
/proc/meminfo: memFree=1702072/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=6.1
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22173 0 1 0 596 14 0 0 25 0 8 0 187720941 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228961 21886 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 16 0 8 0 187720945 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.33
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915844

[startup+12.6574 s]
/proc/loadavg: 0.98 1.34 1.58 3/101 27021
/proc/meminfo: memFree=1728136/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=12.54
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22200 0 1 0 1239 15 0 0 25 0 8 0 187720941 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074069643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26934/statm: 228961 21909 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 17 0 8 0 187720945 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.38
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 525 0 0 0 36 2 0 0 15 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915844

[startup+25.5381 s]
/proc/loadavg: 1.14 1.36 1.58 3/101 27021
/proc/meminfo: memFree=1721288/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=25.42
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22202 0 1 0 2526 16 0 0 25 0 8 0 187720941 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074072824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26934/statm: 228961 21910 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 16 0 8 0 187720945 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.38
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 526 0 0 0 36 2 0 0 15 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915844

Child status: 0
Real time (s): 26.9573
CPU time (s): 26.7869
CPU user time (s): 26.608
CPU system time (s): 0.178972
CPU usage (%): 99.3679
Max. virtual memory (cumulated for all children) (KiB): 915844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.608
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22213
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= 2057
involuntary context switches= 2224

runsolver used 0.031995 s user time and 0.103984 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Wed Jan 10 01:41:00 UTC 2007


IDJOB= 247614
IDBENCH= 11646
FILE ID= node13/247614-1168393259

PBS_JOBID= 3522810

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/driver/driverlogw-09-sat_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-247614-1168393259 -o ROOT/results/node13/solver-247614-1168393259 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5933f4a42187117e9e508d20340f2ade

RANDOM SEED= 256033891

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.247
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.247
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:       1811016 kB
Buffers:         18688 kB
Cached:         116800 kB
SwapCached:        376 kB
Active:         147008 kB
Inactive:        41144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811016 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7972 kB
Writeback:           0 kB
Mapped:          74924 kB
Slab:            41412 kB
Committed_AS:  6280336 kB
PageTables:       2440 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= 66552 MiB



End job on node13 on Wed Jan 10 01:41:27 UTC 2007