Trace number 228447

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 ACSAT 15.2867 15.3487

DiagnosticValue
CHECKS65767447
NODES81849

General information on the benchmark

Nametightness/tightness0.2/
rand-2-40-11-414-200-77_ext.xml
MD5SUMe0232ff1cd663bbf4eff56b536b635e7
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.33264
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints414
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension414
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/228447-1168080880/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=11  maxDomainSize=11
0.42	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=414  nbRelationTypes=414  nbExtensionStructures=414  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=414  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=8248  maxDegree=26
0.62	     maxArity=2
0.62	       =>  wckTime=0.298  cpuTime=0.21  mem=10M852
0.66	   
0.66	   solver IterativeSystematicSolver being built... 
0.82	       =>  wckTime=0.496  cpuTime=0.34  mem=13M695
0.83	   
0.83	   preprocessing
0.83	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.83	     detectedInconsistency=no
0.83	       =>  wckTime=0.0080  cpuTime=0.0  mem=13M695
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=16185  nbPropagations=388  nbRevisions=3878  nbUselessRevisions=3254  nbAssignments=22
0.87	     nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=32  nbRestartNogoods=0  mapSize=6  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.047  cpuTime=0.03  mem=14M670
0.89	   
0.89	   search
0.89	     run=1  nbConstraintChecks=38467  nbPropagations=1239  nbRevisions=13268  nbUselessRevisions=11032  nbAssignments=51
0.89	     nbFailedAssignments=11  nbBacktracks=26  nbVisitedNodes=77  nbRestartNogoods=2  mapSize=18  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.071  cpuTime=0.04  mem=14M670
0.91	   
0.91	   search
0.91	     run=2  nbConstraintChecks=70622  nbPropagations=2726  nbRevisions=30814  nbUselessRevisions=25506  nbAssignments=93
0.91	     nbFailedAssignments=22  nbBacktracks=50  nbVisitedNodes=143  nbRestartNogoods=4  mapSize=37  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.091  cpuTime=0.06  mem=14M670
0.93	   
0.93	   search
0.93	     run=3  nbConstraintChecks=119754  nbPropagations=5163  nbRevisions=61213  nbUselessRevisions=50717
0.93	     nbAssignments=157  nbFailedAssignments=44  nbBacktracks=83  nbVisitedNodes=247  nbRestartNogoods=7  mapSize=67
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.108  cpuTime=0.07  mem=14M670
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=189250  nbPropagations=8930  nbRevisions=109356  nbUselessRevisions=90471
0.95	     nbAssignments=248  nbFailedAssignments=74  nbBacktracks=133  nbVisitedNodes=396  nbRestartNogoods=12  mapSize=111
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.131  cpuTime=0.09  mem=14M670
0.98	   
0.98	   search
0.98	     run=5  nbConstraintChecks=293787  nbPropagations=14583  nbRevisions=185823  nbUselessRevisions=153743
0.99	     nbAssignments=370  nbFailedAssignments=115  nbBacktracks=208  nbVisitedNodes=596  nbRestartNogoods=17  mapSize=170
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.166  cpuTime=0.12  mem=14M670
1.03	   
1.03	   search
1.03	     run=6  nbConstraintChecks=443261  nbPropagations=22995  nbRevisions=302102  nbUselessRevisions=249739
1.03	     nbAssignments=556  nbFailedAssignments=180  nbBacktracks=323  nbVisitedNodes=902  nbRestartNogoods=21  mapSize=266
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.209  cpuTime=0.16  mem=14M670
1.09	   
1.09	   search
1.09	     run=7  nbConstraintChecks=661738  nbPropagations=35621  nbRevisions=477285  nbUselessRevisions=394539
1.09	     nbAssignments=824  nbFailedAssignments=268  nbBacktracks=494  nbVisitedNodes=1358  nbRestartNogoods=24  mapSize=416
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.271  cpuTime=0.22  mem=14M670
1.18	   
1.18	   search
1.18	     run=8  nbConstraintChecks=978193  nbPropagations=54135  nbRevisions=738601  nbUselessRevisions=610534
1.18	     nbAssignments=1221  nbFailedAssignments=400  nbBacktracks=755  nbVisitedNodes=2028  nbRestartNogoods=30
1.18	     mapSize=643  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.363  cpuTime=0.31  mem=14M670
1.31	   
1.31	   search
1.31	     run=9  nbConstraintChecks=1449940  nbPropagations=81298  nbRevisions=1127262  nbUselessRevisions=932154
1.31	     nbAssignments=1797  nbFailedAssignments=581  nbBacktracks=1144  nbVisitedNodes=2978  nbRestartNogoods=32
1.31	     mapSize=960  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.495  cpuTime=0.43  mem=14M670
1.34	   
1.34	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M670)
1.48	   
1.48	   search
1.48	     run=10  nbConstraintChecks=2110790  nbPropagations=120796  nbRevisions=1702086  nbUselessRevisions=1409253
1.48	     nbAssignments=2651  nbFailedAssignments=847  nbBacktracks=1722  nbVisitedNodes=4399  nbRestartNogoods=37
1.48	       =>  wckTime=0.659  cpuTime=0.58  mem=14M670
1.71	   
1.71	   search
1.71	     run=11  nbConstraintChecks=3170467  nbPropagations=179309  nbRevisions=2562462  nbUselessRevisions=2123235
1.71	     nbAssignments=3928  nbFailedAssignments=1249  nbBacktracks=2588  nbVisitedNodes=6568  nbRestartNogoods=45
1.71	       =>  wckTime=0.892  cpuTime=0.81  mem=14M670
2.03	   
2.03	   search
2.03	     run=12  nbConstraintChecks=4599448  nbPropagations=264524  nbRevisions=3813463  nbUselessRevisions=3162001
2.03	     nbAssignments=5841  nbFailedAssignments=1857  nbBacktracks=3886  nbVisitedNodes=9702  nbRestartNogoods=54
2.03	       =>  wckTime=1.211  cpuTime=1.12  mem=14M670
2.53	   
2.53	   search
2.53	     run=13  nbConstraintChecks=6898593  nbPropagations=392228  nbRevisions=5697900  nbUselessRevisions=4727747
2.53	     nbAssignments=8764  nbFailedAssignments=2828  nbBacktracks=5834  nbVisitedNodes=14584  nbRestartNogoods=62
2.53	       =>  wckTime=1.717  cpuTime=1.63  mem=14M670
3.29	   
3.29	   search
3.29	     run=14  nbConstraintChecks=10339934  nbPropagations=582905  nbRevisions=8522518  nbUselessRevisions=7073764
3.29	     nbAssignments=13123  nbFailedAssignments=4261  nbBacktracks=8753  nbVisitedNodes=21829  nbRestartNogoods=68
3.29	       =>  wckTime=2.469  cpuTime=2.38  mem=14M670
4.41	   
4.41	   search
4.41	     run=15  nbConstraintChecks=15446983  nbPropagations=867890  nbRevisions=12751160  nbUselessRevisions=10588565
4.41	     nbAssignments=19607  nbFailedAssignments=6357  nbBacktracks=13137  nbVisitedNodes=32626  nbRestartNogoods=75
4.41	       =>  wckTime=3.595  cpuTime=3.51  mem=14M670
6.06	   
6.06	   search
6.06	     run=16  nbConstraintChecks=22958689  nbPropagations=1291061  nbRevisions=19015060  nbUselessRevisions=15792724
6.06	     nbAssignments=29205  nbFailedAssignments=9380  nbBacktracks=19705  nbVisitedNodes=48514  nbRestartNogoods=82
6.06	       =>  wckTime=5.238  cpuTime=5.15  mem=14M670
8.59	   
8.59	   search
8.59	     run=17  nbConstraintChecks=34514521  nbPropagations=1927134  nbRevisions=28448180  nbUselessRevisions=23634605
8.59	     nbAssignments=43823  nbFailedAssignments=14141  nbBacktracks=29558  nbVisitedNodes=72840  nbRestartNogoods=90
8.59	       =>  wckTime=7.771  cpuTime=7.68  mem=14M670
12.61	   
12.61	   search
12.61	     run=18  nbConstraintChecks=53305419  nbPropagations=2899225  nbRevisions=42908686  nbUselessRevisions=35648056
12.61	     nbAssignments=66405  nbFailedAssignments=21936  nbBacktracks=44337  nbVisitedNodes=110847  nbRestartNogoods=98
12.61	       =>  wckTime=11.791  cpuTime=11.7  mem=14M670
15.30	   
15.30	   search
15.30	     run=19  nbConstraintChecks=65767447  nbPropagations=4097157  nbRevisions=60700151  nbUselessRevisions=50415301
15.30	     nbAssignments=81849  nbFailedAssignments=26962  nbBacktracks=54715  nbVisitedNodes=136461  nbRestartNogoods=110
15.30	       =>  wckTime=14.487  cpuTime=14.39  mem=14M670
15.31	   
15.31	   global
15.31	     nbConstraintChecks=65767447  nbPropagations=4097197  nbRevisions=60700151  nbUselessRevisions=50415301
15.31	     nbRestartNogoods=110  solvingWckTime=14.488  solvingCpuTime=14.39  expiredTime=no  totalExploration=no
15.31	     nbFoundSolutions=1  globalCpuTime=14.79
15.31	       =>  wckTime=14.987  cpuTime=14.73  mem=14M670
15.31	   
15.31	s SATISFIABLE
15.31	v 2 3 0 1 7 9 1 9 4 9 2 8 8 8 3 4 8 2 0 3 9 8 5 6 8 8 1 8 1 10 4 10 3 6 2 10 5 3 1 7 
15.31	d NODES 81849
15.31	d CHECKS 65767447
15.31	   
15.31	   totalWckTime=15.067  totalCpuTime=14.79

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/node45/watcher-228447-1168080880 -o ROOT/results/node45/solver-228447-1168080880 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/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.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=1784 CPUtime=0
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 146 0 0 0 0 0 0 0 18 0 1 0 156488345 1826816 118 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5168369 0 0 4096 0 0 0 0 17 0 0 0
/proc/23650/statm: 446 124 92 14 0 91 0

[startup+0.105556 s]
/proc/loadavg: 0.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=913236 CPUtime=0.08
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 156488345 935153664 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236

[startup+0.513578 s]
/proc/loadavg: 0.19 0.50 0.83 7/73 23651
/proc/meminfo: memFree=1408536/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915328 CPUtime=0.48
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 6384 0 1 0 44 4 0 0 19 0 8 0 156488345 937295872 6123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5193341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228832 6124 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33849 s]
/proc/loadavg: 0.19 0.50 0.83 4/87 23665
/proc/meminfo: memFree=1361896/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=1.3
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8579 0 1 0 124 6 0 0 25 0 8 0 156488345 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8317 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 17 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.21
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 386 0 0 0 21 0 0 0 15 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8317 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+2.97879 s]
/proc/loadavg: 0.19 0.50 0.83 3/87 23665
/proc/meminfo: memFree=1361448/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=2.94
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8595 0 1 0 288 6 0 0 25 0 8 0 156488345 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8332 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.22
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8332 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+6.27438 s]
/proc/loadavg: 0.33 0.52 0.83 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=6.24
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8603 0 1 0 618 6 0 0 25 0 8 0 156488345 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8339 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.23
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 23 0 0 0 16 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456

[startup+12.7466 s]
/proc/loadavg: 0.47 0.55 0.84 3/87 23665
/proc/meminfo: memFree=1361384/2055920 swapFree=4184004/4192956
[pid=23650] ppid=23645 vsize=915456 CPUtime=12.71
/proc/23650/stat : 23650 (java) R 23645 23650 23514 0 -1 0 8608 0 1 0 1265 6 0 0 25 0 8 0 156488345 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23650/statm: 228864 8344 2513 14 0 215334 0
[pid=23650/tid=23653] ppid=23645 vsize=915456 CPUtime=0.03
/proc/23650/task/23653/stat : 23653 (java) S 23645 23650 23514 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23656] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23656/stat : 23656 (java) S 23645 23650 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23657] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23657/stat : 23657 (java) S 23645 23650 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156488350 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23662] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23662/stat : 23662 (java) S 23645 23650 23514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23663] ppid=23645 vsize=915456 CPUtime=0.23
/proc/23650/task/23663/stat : 23663 (java) S 23645 23650 23514 0 -1 64 391 0 0 0 23 0 0 0 16 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23664] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23664/stat : 23664 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23650/tid=23665] ppid=23645 vsize=915456 CPUtime=0
/proc/23650/task/23665/stat : 23665 (java) S 23645 23650 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156488354 937426944 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 15.3487
CPU time (s): 15.2867
CPU user time (s): 15.2127
CPU system time (s): 0.073988
CPU usage (%): 99.5959
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.2127
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= 8702
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= 1434
involuntary context switches= 1666

runsolver used 0.018997 s user time and 0.058991 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 10:54:44 UTC 2007


IDJOB= 228447
IDBENCH= 6197
FILE ID= node45/228447-1168080880

PBS_JOBID= 3476182

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-77_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-228447-1168080880 -o ROOT/results/node45/solver-228447-1168080880 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228447-1168080880/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e0232ff1cd663bbf4eff56b536b635e7

RANDOM SEED= 620963929

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.259
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.259
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:       1409760 kB
Buffers:         49268 kB
Cached:         511296 kB
SwapCached:       2748 kB
Active:          55020 kB
Inactive:       519488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1409760 kB
SwapTotal:     4192956 kB
SwapFree:      4184004 kB
Dirty:            3596 kB
Writeback:           0 kB
Mapped:          19980 kB
Slab:            57424 kB
Committed_AS:  2679360 kB
PageTables:       1596 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= 66541 MiB



End job on node45 on Sat Jan  6 10:55:09 UTC 2007