Trace number 224233

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 ESACUNSAT 23.7804 23.8538

DiagnosticValue
CHECKS185396294
NODES131173

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-67_ext.xml
MD5SUMe1252c26db7b7136c0c9700c56b069a5
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.98379
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
Number of constraints which are defined in intension0
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/224233-1168268128/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.58	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3  maxDegree=14  maxArity=2
0.58	       =>  wckTime=0.29  cpuTime=0.22  mem=13M811
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.481  cpuTime=0.35  mem=14M839
0.82	   
0.82	   preprocessing
0.82	     nbConstraintChecks=73176  nbPropagations=768  nbRevisions=4863  nbUselessRevisions=3705  nbSingletonTests=49
0.82	     nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0  detectedInconsistency=no
0.82	       =>  wckTime=0.047  cpuTime=0.03  mem=14M839
0.84	   
0.84	   search
0.84	     run=0  nbConstraintChecks=34252  nbPropagations=1246  nbRevisions=8629  nbUselessRevisions=6355  nbAssignments=26
0.85	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=42  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.068  cpuTime=0.04  mem=14M839
0.86	   
0.86	   search
0.86	     run=1  nbConstraintChecks=85707  nbPropagations=3204  nbRevisions=22585  nbUselessRevisions=16311  nbAssignments=59
0.86	     nbFailedAssignments=25  nbBacktracks=26  nbVisitedNodes=100  nbRestartNogoods=2  mapSize=22  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.086  cpuTime=0.05  mem=14M839
0.88	   
0.88	   search
0.88	     run=2  nbConstraintChecks=147189  nbPropagations=6215  nbRevisions=44598  nbUselessRevisions=31966
0.88	     nbAssignments=109  nbFailedAssignments=48  nbBacktracks=48  nbVisitedNodes=189  nbRestartNogoods=4  mapSize=42
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.103  cpuTime=0.07  mem=14M839
0.90	   
0.90	   search
0.90	     run=3  nbConstraintChecks=232539  nbPropagations=10611  nbRevisions=77200  nbUselessRevisions=54935
0.90	     nbAssignments=177  nbFailedAssignments=75  nbBacktracks=85  nbVisitedNodes=303  nbRestartNogoods=8  mapSize=68
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.12  cpuTime=0.08  mem=14M839
0.92	   
0.92	   search
0.92	     run=4  nbConstraintChecks=373135  nbPropagations=17250  nbRevisions=127037  nbUselessRevisions=89879
0.92	     nbAssignments=286  nbFailedAssignments=129  nbBacktracks=135  nbVisitedNodes=495  nbRestartNogoods=12  mapSize=110
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.144  cpuTime=0.11  mem=14M839
0.96	   
0.96	   search
0.96	     run=5  nbConstraintChecks=624954  nbPropagations=27884  nbRevisions=208600  nbUselessRevisions=146180
0.96	     nbAssignments=466  nbFailedAssignments=226  nbBacktracks=213  nbVisitedNodes=827  nbRestartNogoods=17  mapSize=180
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.185  cpuTime=0.14  mem=14M839
1.01	   
1.01	   search
1.01	     run=6  nbConstraintChecks=967789  nbPropagations=43801  nbRevisions=332424  nbUselessRevisions=232239
1.01	     nbAssignments=709  nbFailedAssignments=332  nbBacktracks=326  nbVisitedNodes=1229  nbRestartNogoods=25  mapSize=278
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.235  cpuTime=0.19  mem=14M839
1.09	   
1.09	   search
1.09	     run=7  nbConstraintChecks=1477997  nbPropagations=67653  nbRevisions=517835  nbUselessRevisions=360134
1.09	     nbAssignments=1056  nbFailedAssignments=491  nbBacktracks=496  nbVisitedNodes=1837  nbRestartNogoods=31
1.09	     mapSize=422  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.309  cpuTime=0.26  mem=14M839
1.18	   
1.18	   search
1.18	     run=8  nbConstraintChecks=2055166  nbPropagations=100990  nbRevisions=776762  nbUselessRevisions=538960
1.18	     nbAssignments=1508  nbFailedAssignments=679  nbBacktracks=756  nbVisitedNodes=2621  nbRestartNogoods=39
1.18	     mapSize=630  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.403  cpuTime=0.35  mem=14M839
1.33	   
1.33	   search
1.33	     run=9  nbConstraintChecks=3017666  nbPropagations=151385  nbRevisions=1170700  nbUselessRevisions=811210
1.33	     nbAssignments=2281  nbFailedAssignments=1060  nbBacktracks=1144  nbVisitedNodes=4023  nbRestartNogoods=45
1.33	     mapSize=973  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.552  cpuTime=0.48  mem=14M839
1.35	   
1.35	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=14M839)
1.52	   
1.52	   search
1.52	     run=10  nbConstraintChecks=4464190  nbPropagations=225388  nbRevisions=1748257  nbUselessRevisions=1208281
1.52	     nbAssignments=3349  nbFailedAssignments=1545  nbBacktracks=1721  nbVisitedNodes=5919  nbRestartNogoods=51
1.52	       =>  wckTime=0.747  cpuTime=0.67  mem=14M839
1.79	   
1.79	   search
1.79	     run=11  nbConstraintChecks=6632379  nbPropagations=335050  nbRevisions=2601121  nbUselessRevisions=1793673
1.79	     nbAssignments=4911  nbFailedAssignments=2239  nbBacktracks=2587  nbVisitedNodes=8701  nbRestartNogoods=57
1.79	       =>  wckTime=1.016  cpuTime=0.94  mem=14M839
2.17	   
2.17	   search
2.17	     run=12  nbConstraintChecks=9495972  nbPropagations=496865  nbRevisions=3859081  nbUselessRevisions=2660517
2.17	     nbAssignments=7304  nbFailedAssignments=3331  nbBacktracks=3884  nbVisitedNodes=12953  nbRestartNogoods=59
2.17	       =>  wckTime=1.393  cpuTime=1.31  mem=14M839
2.81	   
2.81	   search
2.81	     run=13  nbConstraintChecks=14698053  nbPropagations=742948  nbRevisions=5775622  nbUselessRevisions=3976386
2.81	     nbAssignments=11011  nbFailedAssignments=5086  nbBacktracks=5832  nbVisitedNodes=19644  nbRestartNogoods=64
2.81	       =>  wckTime=2.034  cpuTime=1.95  mem=15M815
3.76	   
3.76	   search
3.76	     run=14  nbConstraintChecks=22331523  nbPropagations=1115454  nbRevisions=8699380  nbUselessRevisions=5987611
3.76	     nbAssignments=16690  nbFailedAssignments=7839  nbBacktracks=8754  nbVisitedNodes=29837  nbRestartNogoods=77
3.76	       =>  wckTime=2.987  cpuTime=2.9  mem=15M815
5.11	   
5.11	   search
5.11	     run=15  nbConstraintChecks=33029007  nbPropagations=1662828  nbRevisions=12990232  nbUselessRevisions=8934496
5.11	     nbAssignments=24654  nbFailedAssignments=11418  nbBacktracks=13135  nbVisitedNodes=43895  nbRestartNogoods=83
5.11	       =>  wckTime=4.331  cpuTime=4.23  mem=15M815
7.24	   
7.24	   search
7.24	     run=16  nbConstraintChecks=50397227  nbPropagations=2493319  nbRevisions=19505233  nbUselessRevisions=13404578
7.24	     nbAssignments=37046  nbFailedAssignments=17237  nbBacktracks=19703  nbVisitedNodes=66151  nbRestartNogoods=91
7.24	       =>  wckTime=6.467  cpuTime=6.36  mem=15M815
10.50	   
10.50	   search
10.50	     run=17  nbConstraintChecks=76923618  nbPropagations=3750793  nbRevisions=29408189  nbUselessRevisions=20201418
10.50	     nbAssignments=55802  nbFailedAssignments=26138  nbBacktracks=29555  nbVisitedNodes=99903  nbRestartNogoods=96
10.50	       =>  wckTime=9.723  cpuTime=9.62  mem=15M815
15.38	   
15.38	   search
15.38	     run=18  nbConstraintChecks=116721322  nbPropagations=5644449  nbRevisions=44361501  nbUselessRevisions=30470889
15.38	     nbAssignments=83526  nbFailedAssignments=39081  nbBacktracks=44333  nbVisitedNodes=149720  nbRestartNogoods=108
15.38	       =>  wckTime=14.604  cpuTime=14.5  mem=15M815
22.86	   
22.86	   search
22.86	     run=19  nbConstraintChecks=177569881  nbPropagations=8519740  nbRevisions=67148254  nbUselessRevisions=46133764
22.86	     nbAssignments=125848  nbFailedAssignments=59229  nbBacktracks=66502  nbVisitedNodes=226057  nbRestartNogoods=117
22.86	       =>  wckTime=22.083  cpuTime=21.98  mem=15M815
23.80	   
23.80	   search
23.81	     run=20  nbConstraintChecks=185323118  nbPropagations=11518816  nbRevisions=90925826  nbUselessRevisions=62477903
23.81	     nbAssignments=131173  nbFailedAssignments=61877  nbBacktracks=69180  nbVisitedNodes=235736  nbRestartNogoods=132
23.81	       =>  wckTime=23.028  cpuTime=22.92  mem=15M815
23.81	   
23.81	   global
23.81	     nbConstraintChecks=185396294  nbPropagations=11519584  nbRevisions=90930689  nbUselessRevisions=62481608
23.81	     nbRestartNogoods=132  solvingWckTime=23.029  solvingCpuTime=22.92  expiredTime=no  totalExploration=yes
23.81	     nbFoundSolutions=0  globalCpuTime=23.32
23.81	       =>  wckTime=23.513  cpuTime=23.27  mem=15M815
23.81	   
23.81	s UNSATISFIABLE
23.81	d NODES 131173
23.81	d CHECKS 185396294
23.81	   
23.81	   totalWckTime=23.59  totalCpuTime=23.32

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-224233-1168268128 -o ROOT/results/node1/solver-224233-1168268128 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/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.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=172 CPUtime=0
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 175208559 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 0 0 0
/proc/26709/statm: 43 24 18 14 0 3 0

[startup+0.108145 s]
/proc/loadavg: 1.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=914988 CPUtime=0.1
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 3078 0 1 0 8 2 0 0 23 0 8 0 175208559 936947712 2824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.516197 s]
/proc/loadavg: 1.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915328 CPUtime=0.5
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 7372 0 1 0 44 6 0 0 25 0 8 0 175208559 937295872 7111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228832 7111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34229 s]
/proc/loadavg: 1.93 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407896/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=1.33
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8717 0 1 0 125 8 0 0 25 0 8 0 175208559 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8455 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.2
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452

[startup+2.98548 s]
/proc/loadavg: 1.93 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407640/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=2.97
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8735 0 1 0 289 8 0 0 25 0 8 0 175208559 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8472 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452

[startup+6.26486 s]
/proc/loadavg: 1.94 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407512/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=6.22
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8740 0 1 0 614 8 0 0 25 0 8 0 175208559 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8476 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452

[startup+12.7596 s]
/proc/loadavg: 1.94 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407512/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=12.71
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8745 0 1 0 1263 8 0 0 25 0 8 0 175208559 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8481 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 23.8538
CPU time (s): 23.7804
CPU user time (s): 23.6844
CPU system time (s): 0.095985
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6844
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8841
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= 1611
involuntary context switches= 1959

runsolver used 0.031995 s user time and 0.084987 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Jan  8 14:55:28 UTC 2007


IDJOB= 224233
IDBENCH= 5728
FILE ID= node1/224233-1168268128

PBS_JOBID= 3482829

Free space on /tmp= 66311 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-224233-1168268128 -o ROOT/results/node1/solver-224233-1168268128 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e1252c26db7b7136c0c9700c56b069a5

RANDOM SEED= 673527569

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.234
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.234
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:       1432240 kB
Buffers:         58372 kB
Cached:         464940 kB
SwapCached:       3620 kB
Active:         243828 kB
Inactive:       321796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1432240 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2056 kB
Writeback:           0 kB
Mapped:          53860 kB
Slab:            42820 kB
Committed_AS:  5340856 kB
PageTables:       2364 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= 66311 MiB



End job on node1 on Mon Jan  8 14:55:52 UTC 2007