Trace number 229406

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 7.64484 7.68546

DiagnosticValue
CHECKS41531974
NODES37795

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-57_ext.xml
MD5SUM4ebeaf1f45841fb7b55f99f32cebce1b
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 benchmark2.44663
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/229406-1168306171/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.40	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.58	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1385  maxDegree=19
0.58	     maxArity=2
0.58	       =>  wckTime=0.275  cpuTime=0.2  mem=11M893
0.61	   
0.61	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.471  cpuTime=0.33  mem=14M827
0.82	   
0.82	   preprocessing
0.82	     nbConstraintChecks=52204  nbPropagations=786  nbRevisions=5894  nbUselessRevisions=4719  nbSingletonTests=47
0.82	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.82	       =>  wckTime=0.045  cpuTime=0.03  mem=14M827
0.84	   
0.84	   search
0.84	     run=0  nbConstraintChecks=31117  nbPropagations=1327  nbRevisions=11330  nbUselessRevisions=8992  nbAssignments=25
0.84	     nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=43  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.066  cpuTime=0.04  mem=14M827
0.86	   
0.86	   search
0.86	     run=1  nbConstraintChecks=63588  nbPropagations=3244  nbRevisions=28354  nbUselessRevisions=22498  nbAssignments=58
0.86	     nbFailedAssignments=20  nbBacktracks=25  nbVisitedNodes=97  nbRestartNogoods=2  mapSize=22  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.084  cpuTime=0.06  mem=14M827
0.87	   
0.87	   search
0.87	     run=2  nbConstraintChecks=106663  nbPropagations=5936  nbRevisions=53321  nbUselessRevisions=42164
0.87	     nbAssignments=99  nbFailedAssignments=34  nbBacktracks=47  nbVisitedNodes=162  nbRestartNogoods=5  mapSize=37
0.87	     nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.098  cpuTime=0.07  mem=14M827
0.89	   
0.89	   search
0.89	     run=3  nbConstraintChecks=178380  nbPropagations=9846  nbRevisions=91238  nbUselessRevisions=71761
0.89	     nbAssignments=165  nbFailedAssignments=60  nbBacktracks=83  nbVisitedNodes=274  nbRestartNogoods=8  mapSize=70
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.113  cpuTime=0.08  mem=14M827
0.91	   
0.91	   search
0.91	     run=4  nbConstraintChecks=258256  nbPropagations=15321  nbRevisions=145008  nbUselessRevisions=113740
0.91	     nbAssignments=255  nbFailedAssignments=93  nbBacktracks=134  nbVisitedNodes=425  nbRestartNogoods=10  mapSize=113
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.133  cpuTime=0.1  mem=14M827
0.94	   
0.94	   search
0.94	     run=5  nbConstraintChecks=388503  nbPropagations=23160  nbRevisions=223305  nbUselessRevisions=174555
0.94	     nbAssignments=382  nbFailedAssignments=139  nbBacktracks=211  nbVisitedNodes=641  nbRestartNogoods=12  mapSize=177
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.164  cpuTime=0.12  mem=14M827
0.98	   
0.98	   search
0.98	     run=6  nbConstraintChecks=594896  nbPropagations=34645  nbRevisions=339519  nbUselessRevisions=264514
0.98	     nbAssignments=580  nbFailedAssignments=215  nbBacktracks=327  nbVisitedNodes=978  nbRestartNogoods=16  mapSize=277
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.206  cpuTime=0.16  mem=14M827
1.04	   
1.04	   search
1.04	     run=7  nbConstraintChecks=908247  nbPropagations=51742  nbRevisions=514061  nbUselessRevisions=398498
1.04	     nbAssignments=894  nbFailedAssignments=354  nbBacktracks=498  nbVisitedNodes=1527  nbRestartNogoods=20  mapSize=421
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.269  cpuTime=0.23  mem=14M827
1.13	   
1.13	   search
1.13	     run=8  nbConstraintChecks=1356135  nbPropagations=76704  nbRevisions=772195  nbUselessRevisions=596476
1.13	     nbAssignments=1331  nbFailedAssignments=522  nbBacktracks=757  nbVisitedNodes=2264  nbRestartNogoods=25
1.13	     mapSize=630  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.36  cpuTime=0.31  mem=14M827
1.28	   
1.28	   search
1.28	     run=9  nbConstraintChecks=2143804  nbPropagations=114740  nbRevisions=1173693  nbUselessRevisions=903421
1.28	     nbAssignments=2016  nbFailedAssignments=818  nbBacktracks=1143  nbVisitedNodes=3481  nbRestartNogoods=28
1.28	     mapSize=965  nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.51  cpuTime=0.45  mem=14M827
1.31	   
1.31	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=14M827)
1.46	   
1.46	   search
1.46	     run=10  nbConstraintChecks=3150314  nbPropagations=170187  nbRevisions=1760892  nbUselessRevisions=1352141
1.46	     nbAssignments=2956  nbFailedAssignments=1173  nbBacktracks=1720  nbVisitedNodes=5105  nbRestartNogoods=34
1.46	       =>  wckTime=0.69  cpuTime=0.63  mem=14M827
1.73	   
1.73	   search
1.73	     run=11  nbConstraintChecks=4790120  nbPropagations=253685  nbRevisions=2654554  nbUselessRevisions=2035164
1.73	     nbAssignments=4436  nbFailedAssignments=1786  nbBacktracks=2584  nbVisitedNodes=7693  nbRestartNogoods=44
1.73	       =>  wckTime=0.959  cpuTime=0.89  mem=14M827
2.10	   
2.10	   search
2.10	     run=12  nbConstraintChecks=7003896  nbPropagations=377253  nbRevisions=3973591  nbUselessRevisions=3043140
2.10	     nbAssignments=6615  nbFailedAssignments=2663  nbBacktracks=3882  nbVisitedNodes=11472  nbRestartNogoods=50
2.10	       =>  wckTime=1.326  cpuTime=1.26  mem=14M827
2.67	   
2.67	   search
2.67	     run=13  nbConstraintChecks=10486878  nbPropagations=561971  nbRevisions=5947753  nbUselessRevisions=4550603
2.67	     nbAssignments=9805  nbFailedAssignments=3900  nbBacktracks=5828  nbVisitedNodes=17004  nbRestartNogoods=56
2.67	       =>  wckTime=1.897  cpuTime=1.83  mem=14M827
3.53	   
3.53	   search
3.53	     run=14  nbConstraintChecks=15779093  nbPropagations=838134  nbRevisions=8908201  nbUselessRevisions=6808487
3.53	     nbAssignments=14652  nbFailedAssignments=5822  nbBacktracks=8750  nbVisitedNodes=25396  nbRestartNogoods=60
3.53	       =>  wckTime=2.754  cpuTime=2.68  mem=14M827
4.89	   
4.89	   search
4.89	     run=15  nbConstraintChecks=24368287  nbPropagations=1257983  nbRevisions=13437414  nbUselessRevisions=10262552
4.89	     nbAssignments=22127  nbFailedAssignments=8914  nbBacktracks=13129  nbVisitedNodes=38536  nbRestartNogoods=65
4.89	       =>  wckTime=4.113  cpuTime=4.04  mem=14M827
6.81	   
6.81	   search
6.81	     run=16  nbConstraintChecks=36275590  nbPropagations=1883285  nbRevisions=20189693  nbUselessRevisions=15412090
6.81	     nbAssignments=33178  nbFailedAssignments=13392  nbBacktracks=19699  nbVisitedNodes=57726  nbRestartNogoods=76
6.81	       =>  wckTime=6.041  cpuTime=5.97  mem=14M827
7.65	   
7.65	   search
7.65	     run=17  nbConstraintChecks=41479770  nbPropagations=2595026  nbRevisions=27882294  nbUselessRevisions=21274342
7.65	     nbAssignments=37795  nbFailedAssignments=15277  nbBacktracks=22391  nbVisitedNodes=65774  nbRestartNogoods=81
7.65	       =>  wckTime=6.874  cpuTime=6.8  mem=14M827
7.65	   
7.65	   global
7.65	     nbConstraintChecks=41531974  nbPropagations=2595812  nbRevisions=27888188  nbUselessRevisions=21279061
7.65	     nbRestartNogoods=81  solvingWckTime=6.875  solvingCpuTime=6.8  expiredTime=no  totalExploration=no
7.65	     nbFoundSolutions=1  globalCpuTime=7.18
7.65	       =>  wckTime=7.349  cpuTime=7.13  mem=14M827
7.65	   
7.65	s SATISFIABLE
7.65	v 0 7 10 0 8 4 4 10 8 9 15 2 15 0 6 3 4 4 8 11 15 0 0 6 10 15 5 13 8 9 10 9 14 0 1 12 2 1 9 5 
7.65	d NODES 37795
7.65	d CHECKS 41531974
7.65	   
7.65	   totalWckTime=7.425  totalCpuTime=7.19

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/node5/watcher-229406-1168306171 -o ROOT/results/node5/solver-229406-1168306171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/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.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=1784 CPUtime=0
/proc/27673/stat : 27673 (java) D 27671 27673 26099 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 159231543 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27673/statm: 446 160 125 14 0 91 0

[startup+0.103267 s]
/proc/loadavg: 0.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=914988 CPUtime=0.08
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 3013 0 1 0 7 1 0 0 16 0 8 0 159231543 936947712 2759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228747 2759 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511311 s]
/proc/loadavg: 0.93 1.00 1.08 3/78 27674
/proc/meminfo: memFree=1172920/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915328 CPUtime=0.49
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 6711 0 1 0 45 4 0 0 16 0 8 0 159231543 937295872 6450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228832 6450 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3324 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1149056/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=1.3
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8696 0 1 0 124 6 0 0 17 0 8 0 159231543 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8434 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.2
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 385 0 0 0 20 0 0 0 16 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452

[startup+2.96958 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1148864/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=2.94
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8713 0 1 0 288 6 0 0 17 0 8 0 159231543 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8449 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.21
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452

[startup+6.27096 s]
/proc/loadavg: 0.93 1.00 1.08 2/85 27681
/proc/meminfo: memFree=1148736/2055920 swapFree=4192812/4192956
[pid=27673] ppid=27671 vsize=915452 CPUtime=6.24
/proc/27673/stat : 27673 (java) R 27671 27673 26099 0 -1 0 8718 0 1 0 618 6 0 0 23 0 8 0 159231543 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27673/statm: 228863 8454 2524 14 0 215333 0
[pid=27673/tid=27675] ppid=27671 vsize=915452 CPUtime=0.03
/proc/27673/task/27675/stat : 27675 (java) S 27671 27673 26099 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 159231547 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27676] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27676/stat : 27676 (java) S 27671 27673 26099 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 159231547 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27677] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27677/stat : 27677 (java) S 27671 27673 26099 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159231548 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27678] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27678/stat : 27678 (java) S 27671 27673 26099 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27679] ppid=27671 vsize=915452 CPUtime=0.21
/proc/27673/task/27679/stat : 27679 (java) S 27671 27673 26099 0 -1 64 391 0 0 0 21 0 0 0 16 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27680] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27680/stat : 27680 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27673/tid=27681] ppid=27671 vsize=915452 CPUtime=0
/proc/27673/task/27681/stat : 27681 (java) S 27671 27673 26099 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159231551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 7.68546
CPU time (s): 7.64484
CPU user time (s): 7.57085
CPU system time (s): 0.073988
CPU usage (%): 99.4714
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.57085
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 968
involuntary context switches= 231

runsolver used 0.013997 s user time and 0.020996 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Jan  9 01:29:31 UTC 2007


IDJOB= 229406
IDBENCH= 6302
FILE ID= node5/229406-1168306171

PBS_JOBID= 3502256

Free space on /tmp= 66356 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-57_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-229406-1168306171 -o ROOT/results/node5/solver-229406-1168306171 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229406-1168306171/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4ebeaf1f45841fb7b55f99f32cebce1b

RANDOM SEED= 290190462

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.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1173272 kB
Buffers:         79772 kB
Cached:         694476 kB
SwapCached:          0 kB
Active:         338728 kB
Inactive:       478636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1173272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1888 kB
Writeback:           0 kB
Mapped:          62104 kB
Slab:            50764 kB
Committed_AS:  4339036 kB
PageTables:       1800 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= 66356 MiB



End job on node5 on Tue Jan  9 01:29:39 UTC 2007