Trace number 247412

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 110.339 110.55

DiagnosticValue
CHECKS35614502
NODES87468

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-19_ext.xml
MD5SUM07cc20594b576bffb0ac8b08e4394825
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark110.339
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/247412-1168392345/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.41	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
3.82	   
3.82	   INFO : Contraction of relations, mem = 102M790
6.11	   
6.11	   constraints being loaded...
9.64	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
9.64	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=8
9.64	       =>  wckTime=9.32  cpuTime=7.41  mem=229M655
10.57	   
10.57	   solver IterativeSystematicSolver being built... 
10.73	       =>  wckTime=10.407  cpuTime=7.55  mem=143M405
10.78	   
10.78	   preprocessing
10.78	     nbConstraintChecks=4499  nbValidityChecks=8415  nbPropagations=63  nbRevisions=1111  nbUselessRevisions=1071
10.78	     nbSingletonTests=23  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
10.78	       =>  wckTime=0.049  cpuTime=0.03  mem=143M405
10.83	   
10.83	   search
10.83	     run=0  nbConstraintChecks=10435  nbValidityChecks=15866  nbPropagations=172  nbRevisions=3059
10.83	     nbUselessRevisions=2827  nbAssignments=25  nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=40
10.83	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
10.83	       =>  wckTime=0.097  cpuTime=0.07  mem=144M32
10.89	   
10.89	   search
10.89	     run=1  nbConstraintChecks=27851  nbValidityChecks=47175  nbPropagations=596  nbRevisions=10737
10.89	     nbUselessRevisions=9741  nbAssignments=66  nbFailedAssignments=25  nbBacktracks=26  nbVisitedNodes=111
10.89	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
10.89	       =>  wckTime=0.165  cpuTime=0.14  mem=144M32
10.96	   
10.96	   search
10.96	     run=2  nbConstraintChecks=44964  nbValidityChecks=76558  nbPropagations=1257  nbRevisions=22305
10.96	     nbUselessRevisions=20028  nbAssignments=119  nbFailedAssignments=48  nbBacktracks=48  nbVisitedNodes=200
10.96	     nbRestartNogoods=6  mapSize=40  nbInferences=0  nbTooLargeKeys=0
10.96	       =>  wckTime=0.233  cpuTime=0.2  mem=144M32
11.09	   
11.09	   search
11.09	     run=3  nbConstraintChecks=82576  nbValidityChecks=137700  nbPropagations=2365  nbRevisions=41970
11.09	     nbUselessRevisions=37487  nbAssignments=196  nbFailedAssignments=82  nbBacktracks=85  nbVisitedNodes=332
11.09	     nbRestartNogoods=10  mapSize=71  nbInferences=0  nbTooLargeKeys=0
11.09	       =>  wckTime=0.357  cpuTime=0.31  mem=144M32
11.23	   
11.23	   search
11.23	     run=4  nbConstraintChecks=128048  nbValidityChecks=211723  nbPropagations=4086  nbRevisions=71567
11.23	     nbUselessRevisions=63587  nbAssignments=305  nbFailedAssignments=131  nbBacktracks=137  nbVisitedNodes=520
11.23	     nbRestartNogoods=12  mapSize=116  nbInferences=0  nbTooLargeKeys=0
11.23	       =>  wckTime=0.499  cpuTime=0.45  mem=144M32
11.41	   
11.41	   search
11.41	     run=5  nbConstraintChecks=185744  nbValidityChecks=317123  nbPropagations=6671  nbRevisions=116747
11.41	     nbUselessRevisions=103356  nbAssignments=470  nbFailedAssignments=214  nbBacktracks=213  nbVisitedNodes=814
11.41	     nbRestartNogoods=20  mapSize=183  nbInferences=0  nbTooLargeKeys=0
11.41	       =>  wckTime=0.682  cpuTime=0.62  mem=144M32
11.66	   
11.66	   search
11.66	     run=6  nbConstraintChecks=261725  nbValidityChecks=450188  nbPropagations=10424  nbRevisions=181373
11.66	     nbUselessRevisions=160147  nbAssignments=679  nbFailedAssignments=302  nbBacktracks=326  nbVisitedNodes=1171
11.66	     nbRestartNogoods=22  mapSize=276  nbInferences=0  nbTooLargeKeys=0
11.66	       =>  wckTime=0.934  cpuTime=0.88  mem=144M32
12.06	   
12.06	   search
12.06	     run=7  nbConstraintChecks=391011  nbValidityChecks=665508  nbPropagations=15991  nbRevisions=275638
12.06	     nbUselessRevisions=242598  nbAssignments=1010  nbFailedAssignments=454  nbBacktracks=496  nbVisitedNodes=1753
12.06	     nbRestartNogoods=28  mapSize=420  nbInferences=0  nbTooLargeKeys=0
12.06	       =>  wckTime=1.328  cpuTime=1.27  mem=144M32
12.67	   
12.67	   search
12.67	     run=8  nbConstraintChecks=592456  nbValidityChecks=1018827  nbPropagations=24501  nbRevisions=421073
12.67	     nbUselessRevisions=369700  nbAssignments=1538  nbFailedAssignments=701  nbBacktracks=754  nbVisitedNodes=2657
12.67	     nbRestartNogoods=38  mapSize=648  nbInferences=0  nbTooLargeKeys=0
12.68	       =>  wckTime=1.946  cpuTime=1.87  mem=144M32
13.64	   
13.64	   search
13.64	     run=9  nbConstraintChecks=924491  nbValidityChecks=1591897  nbPropagations=37993  nbRevisions=649730
13.64	     nbUselessRevisions=568552  nbAssignments=2375  nbFailedAssignments=1145  nbBacktracks=1139  nbVisitedNodes=4188
13.64	     nbRestartNogoods=43  mapSize=992  nbInferences=0  nbTooLargeKeys=0
13.64	       =>  wckTime=2.91  cpuTime=2.83  mem=144M32
13.68	   
13.68	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=144M32)
15.08	   
15.08	   search
15.08	     run=10  nbConstraintChecks=1436593  nbValidityChecks=2473162  nbPropagations=58968  nbRevisions=1006263
15.08	     nbUselessRevisions=878220  nbAssignments=3609  nbFailedAssignments=1795  nbBacktracks=1715  nbVisitedNodes=6430
15.08	     nbRestartNogoods=49
15.08	       =>  wckTime=4.354  cpuTime=4.26  mem=144M32
17.30	   
17.30	   search
17.30	     run=11  nbConstraintChecks=2222076  nbValidityChecks=3817226  nbPropagations=91324  nbRevisions=1555579
17.30	     nbUselessRevisions=1354467  nbAssignments=5524  nbFailedAssignments=2837  nbBacktracks=2580  nbVisitedNodes=9935
17.30	     nbRestartNogoods=59
17.30	       =>  wckTime=6.573  cpuTime=6.47  mem=144M32
20.32	   
20.32	   search
20.32	     run=12  nbConstraintChecks=3300855  nbValidityChecks=5684788  nbPropagations=139438  nbRevisions=2375520
20.32	     nbUselessRevisions=2066401  nbAssignments=8192  nbFailedAssignments=4202  nbBacktracks=3877  nbVisitedNodes=14749
20.32	     nbRestartNogoods=69
20.32	       =>  wckTime=9.589  cpuTime=9.49  mem=144M32
24.98	   
24.98	   search
24.98	     run=13  nbConstraintChecks=4971323  nbValidityChecks=8550388  nbPropagations=211784  nbRevisions=3607520
24.98	     nbUselessRevisions=3135558  nbAssignments=12248  nbFailedAssignments=6306  nbBacktracks=5823  nbVisitedNodes=22126
24.98	     nbRestartNogoods=75
24.98	       =>  wckTime=14.253  cpuTime=14.15  mem=144M32
31.65	   
31.65	   search
31.65	     run=14  nbConstraintChecks=7401149  nbValidityChecks=12731070  nbPropagations=319246  nbRevisions=5438622
31.65	     nbUselessRevisions=4725954  nbAssignments=18119  nbFailedAssignments=9250  nbBacktracks=8743  nbVisitedNodes=32755
31.65	     nbRestartNogoods=83
31.65	       =>  wckTime=20.922  cpuTime=20.81  mem=144M32
42.18	   
42.18	   search
42.18	     run=15  nbConstraintChecks=11166164  nbValidityChecks=19194374  nbPropagations=481439  nbRevisions=8200158
42.18	     nbUselessRevisions=7122870  nbAssignments=27300  nbFailedAssignments=14045  nbBacktracks=13122
42.18	     nbVisitedNodes=49456  nbRestartNogoods=89
42.18	       =>  wckTime=31.447  cpuTime=31.29  mem=144M32
57.63	   
57.63	   search
57.63	     run=16  nbConstraintChecks=16711316  nbValidityChecks=28728649  nbPropagations=724118  nbRevisions=12335065
57.63	     nbUselessRevisions=10711870  nbAssignments=40848  nbFailedAssignments=21018  nbBacktracks=19690
57.63	     nbVisitedNodes=74082  nbRestartNogoods=94
57.63	       =>  wckTime=46.898  cpuTime=46.72  mem=144M32
81.00	   
81.00	   search
81.00	     run=17  nbConstraintChecks=25103879  nbValidityChecks=43134492  nbPropagations=1088395  nbRevisions=18542370
81.00	     nbUselessRevisions=16100943  nbAssignments=61101  nbFailedAssignments=31410  nbBacktracks=29542
81.00	     nbVisitedNodes=110820  nbRestartNogoods=102
81.00	       =>  wckTime=70.274  cpuTime=70.07  mem=144M32
110.47	   
110.47	   search
110.47	     run=18  nbConstraintChecks=35610003  nbValidityChecks=61296323  nbPropagations=1608936  nbRevisions=27397932
110.47	     nbUselessRevisions=23783950  nbAssignments=87468  nbFailedAssignments=45073  nbBacktracks=42226
110.47	     nbVisitedNodes=158714  nbRestartNogoods=111
110.47	       =>  wckTime=99.743  cpuTime=99.52  mem=144M32
110.47	   
110.47	   global
110.47	     nbConstraintChecks=35614502  nbValidityChecks=61304738  nbPropagations=1608999  nbRevisions=27399043
110.47	     nbUselessRevisions=23785021  nbRestartNogoods=111  solvingWckTime=99.744  solvingCpuTime=99.52  expiredTime=no
110.47	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=107.11
110.47	       =>  wckTime=110.153  cpuTime=107.07  mem=144M32
110.48	   
110.48	s SATISFIABLE
110.48	v 2 0 4 0 0 4 4 1 3 2 1 0 0 4 0 1 2 1 1 3 
110.48	d NODES 87468
110.48	d CHECKS 35614502
110.48	   
110.48	   totalWckTime=110.235  totalCpuTime=107.11

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-247412-1168392345 -o ROOT/results/node1/solver-247412-1168392345 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/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.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=906644 CPUtime=0.02
/proc/23051/stat : 23051 (java) S 23049 23051 22946 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 187630264 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23051/statm: 226661 1818 1036 14 0 214244 0
[pid=23051/tid=23053] ppid=23049 vsize=906644 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) R 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 187630267 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104687 s]
/proc/loadavg: 1.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=914988 CPUtime=0.08
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 187630264 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154329384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23051/statm: 228747 2735 1426 14 0 215242 0
[pid=23051/tid=23053] ppid=23049 vsize=914988 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 187630267 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512734 s]
/proc/loadavg: 1.05 1.01 1.00 5/82 23052
/proc/meminfo: memFree=1677760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=0.49
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 9677 0 1 0 44 5 0 0 20 0 8 0 187630264 937295872 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 9417 2137 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 187630267 937295872 9418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33684 s]
/proc/loadavg: 1.05 1.01 1.00 3/101 23111
/proc/meminfo: memFree=1543904/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=1.31
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 19903 0 1 0 120 11 0 0 25 0 8 0 187630264 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 19641 2147 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0.04
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 3492 0 0 0 3 1 0 0 17 0 8 0 187630267 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187630268 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187630268 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915328 CPUtime=0.07
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937295872 19641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.99003 s]
/proc/loadavg: 1.13 1.03 1.01 4/101 23111
/proc/meminfo: memFree=1476960/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915328 CPUtime=2.96
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 30324 0 1 0 279 17 0 0 25 0 8 0 187630264 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153473365 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228832 30058 2147 14 0 215302 0
[pid=23051/tid=23053] ppid=23049 vsize=915328 CPUtime=0.23
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 13907 0 0 0 17 6 0 0 16 0 8 0 187630267 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187630268 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187630268 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915328 CPUtime=0.07
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915328 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937295872 30058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915328

[startup+6.27442 s]
/proc/loadavg: 1.13 1.03 1.01 3/101 23111
/proc/meminfo: memFree=1375840/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=6.23
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 40805 0 1 0 600 23 0 0 25 0 8 0 187630264 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155213455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 38958 2160 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=1.01
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 24349 0 0 0 90 11 0 0 16 0 8 0 187630267 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.1
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 317 0 0 0 10 0 0 0 16 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 38958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915400

[startup+12.6802 s]
/proc/loadavg: 1.26 1.06 1.02 3/101 23111
/proc/meminfo: memFree=1214688/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=12.62
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64496 0 1 0 1228 34 0 0 25 0 8 0 187630264 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62642 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 17 0 8 0 187630267 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.22
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915400

[startup+25.5216 s]
/proc/loadavg: 1.38 1.09 1.03 3/101 23111
/proc/meminfo: memFree=1214696/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=25.47
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 2512 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915400

[startup+51.1356 s]
/proc/loadavg: 1.66 1.18 1.06 3/101 23111
/proc/meminfo: memFree=1214760/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=51.02
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 5067 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915400

[startup+102.39 s]
/proc/loadavg: 1.85 1.30 1.11 3/101 23111
/proc/meminfo: memFree=1214824/2055920 swapFree=4165612/4192956
[pid=23051] ppid=23049 vsize=915400 CPUtime=102.2
/proc/23051/stat : 23051 (java) R 23049 23051 22946 0 -1 0 64508 0 1 0 10185 35 0 0 25 0 8 0 187630264 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23051/statm: 228850 62651 2532 14 0 215320 0
[pid=23051/tid=23053] ppid=23049 vsize=915400 CPUtime=2.72
/proc/23051/task/23053/stat : 23053 (java) S 23049 23051 22946 0 -1 64 47523 0 0 0 252 20 0 0 16 0 8 0 187630267 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23054] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23054/stat : 23054 (java) S 23049 23051 22946 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23055] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23055/stat : 23055 (java) S 23049 23051 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187630268 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23060] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23060/stat : 23060 (java) S 23049 23051 22946 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23061] ppid=23049 vsize=915400 CPUtime=0.24
/proc/23051/task/23061/stat : 23061 (java) S 23049 23051 22946 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23051/tid=23062] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23062/stat : 23062 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23051/tid=23063] ppid=23049 vsize=915400 CPUtime=0
/proc/23051/task/23063/stat : 23063 (java) S 23049 23051 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187630271 937369600 62651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 110.55
CPU time (s): 110.339
CPU user time (s): 109.948
CPU system time (s): 0.39094
CPU usage (%): 99.8096
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.948
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64516
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= 3468
involuntary context switches= 4411

runsolver used 0.157975 s user time and 0.348946 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Wed Jan 10 01:25:45 UTC 2007


IDJOB= 247412
IDBENCH= 11124
FILE ID= node1/247412-1168392345

PBS_JOBID= 3522783

Free space on /tmp= 66486 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-247412-1168392345 -o ROOT/results/node1/solver-247412-1168392345 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247412-1168392345/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  07cc20594b576bffb0ac8b08e4394825

RANDOM SEED= 114480417

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:       1682272 kB
Buffers:         46668 kB
Cached:         228408 kB
SwapCached:       4064 kB
Active:         188616 kB
Inactive:       125816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682272 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:           32164 kB
Writeback:           0 kB
Mapped:          48900 kB
Slab:            44188 kB
Committed_AS:  6237852 kB
PageTables:       2216 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= 66470 MiB



End job on node1 on Wed Jan 10 01:27:36 UTC 2007