Trace number 227465

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 18.5222 18.7229

DiagnosticValue
CHECKS54333846
NODES76315

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-49_ext.xml
MD5SUM86ad9a26e4029d79eb85d82259d59efc
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 benchmark4.55331
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints753
Maximum constraint arity2
Maximum domain size8
Number of constraints which are defined in extension753
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/227465-1168278311/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.42	       =>  wckTime=0.103  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.71	     nbConstraints=753  nbRelationTypes=751  nbExtensionStructures=751  nbSharedExtensionStructures=2
0.71	     nbConflictsStructures=751  nbSharedConflictsStructures=2  nbSharedBinaryRepresentations=11873  maxDegree=39
0.71	     maxArity=2
0.71	       =>  wckTime=0.388  cpuTime=0.26  mem=11M947
0.75	   
0.75	   solver IterativeSystematicSolver being built... 
0.92	       =>  wckTime=0.601  cpuTime=0.39  mem=15M6
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=23692  nbPropagations=952  nbRevisions=5080  nbUselessRevisions=3909  nbSingletonTests=55
0.98	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.98	       =>  wckTime=0.06  cpuTime=0.04  mem=15M6
1.01	   
1.01	   search
1.01	     run=0  nbConstraintChecks=14452  nbPropagations=1281  nbRevisions=9347  nbUselessRevisions=7477  nbAssignments=24
1.01	     nbFailedAssignments=6  nbBacktracks=12  nbVisitedNodes=38  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.01	     nbTooLargeKeys=0
1.01	       =>  wckTime=0.084  cpuTime=0.06  mem=15M6
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=33044  nbPropagations=2978  nbRevisions=23910  nbUselessRevisions=19327  nbAssignments=55
1.03	     nbFailedAssignments=12  nbBacktracks=30  nbVisitedNodes=84  nbRestartNogoods=1  mapSize=22  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.109  cpuTime=0.07  mem=15M6
1.05	   
1.05	   search
1.05	     run=2  nbConstraintChecks=59976  nbPropagations=5232  nbRevisions=47314  nbUselessRevisions=38863  nbAssignments=93
1.05	     nbFailedAssignments=21  nbBacktracks=52  nbVisitedNodes=141  nbRestartNogoods=4  mapSize=38  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.126  cpuTime=0.08  mem=15M6
1.06	   
1.06	   search
1.06	     run=3  nbConstraintChecks=90903  nbPropagations=8113  nbRevisions=80617  nbUselessRevisions=66888
1.06	     nbAssignments=147  nbFailedAssignments=33  nbBacktracks=87  nbVisitedNodes=220  nbRestartNogoods=6  mapSize=58
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.142  cpuTime=0.1  mem=15M6
1.09	   
1.09	   search
1.09	     run=4  nbConstraintChecks=151207  nbPropagations=12171  nbRevisions=134227  nbUselessRevisions=112472
1.09	     nbAssignments=232  nbFailedAssignments=58  nbBacktracks=138  nbVisitedNodes=358  nbRestartNogoods=8  mapSize=101
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.167  cpuTime=0.12  mem=15M6
1.12	   
1.12	   search
1.12	     run=5  nbConstraintChecks=221532  nbPropagations=17610  nbRevisions=211140  nbUselessRevisions=178142
1.12	     nbAssignments=347  nbFailedAssignments=90  nbBacktracks=214  nbVisitedNodes=542  nbRestartNogoods=12  mapSize=165
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.202  cpuTime=0.15  mem=15M6
1.18	   
1.18	   search
1.18	     run=6  nbConstraintChecks=349620  nbPropagations=25426  nbRevisions=328549  nbUselessRevisions=278397
1.18	     nbAssignments=524  nbFailedAssignments=146  nbBacktracks=327  nbVisitedNodes=829  nbRestartNogoods=15  mapSize=258
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.259  cpuTime=0.2  mem=15M6
1.25	   
1.25	   search
1.25	     run=7  nbConstraintChecks=535273  nbPropagations=36673  nbRevisions=505342  nbUselessRevisions=429370
1.25	     nbAssignments=777  nbFailedAssignments=224  nbBacktracks=497  nbVisitedNodes=1253  nbRestartNogoods=20  mapSize=408
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.33  cpuTime=0.27  mem=15M6
1.35	   
1.35	   search
1.35	     run=8  nbConstraintChecks=791460  nbPropagations=52660  nbRevisions=766467  nbUselessRevisions=652642
1.35	     nbAssignments=1143  nbFailedAssignments=329  nbBacktracks=753  nbVisitedNodes=1854  nbRestartNogoods=24
1.35	     mapSize=613  nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.431  cpuTime=0.38  mem=15M6
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=1160872  nbPropagations=75630  nbRevisions=1149803  nbUselessRevisions=981067
1.51	     nbAssignments=1709  nbFailedAssignments=503  nbBacktracks=1137  nbVisitedNodes=2769  nbRestartNogoods=29
1.51	     mapSize=924  nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.587  cpuTime=0.52  mem=15M6
1.55	   
1.55	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M6)
1.71	   
1.71	   search
1.71	     run=10  nbConstraintChecks=1720653  nbPropagations=108991  nbRevisions=1719750  nbUselessRevisions=1470490
1.71	     nbAssignments=2528  nbFailedAssignments=739  nbBacktracks=1713  nbVisitedNodes=4085  nbRestartNogoods=35
1.71	       =>  wckTime=0.791  cpuTime=0.71  mem=15M6
2.00	   
2.00	   search
2.00	     run=11  nbConstraintChecks=2603775  nbPropagations=158804  nbRevisions=2578934  nbUselessRevisions=2208023
2.00	     nbAssignments=3794  nbFailedAssignments=1134  nbBacktracks=2578  nbVisitedNodes=6170  nbRestartNogoods=40
2.00	       =>  wckTime=1.079  cpuTime=1.0  mem=15M6
2.42	   
2.42	   search
2.42	     run=12  nbConstraintChecks=3859972  nbPropagations=232422  nbRevisions=3853843  nbUselessRevisions=3301906
2.42	     nbAssignments=5657  nbFailedAssignments=1689  nbBacktracks=3878  nbVisitedNodes=9226  nbRestartNogoods=46
2.42	       =>  wckTime=1.503  cpuTime=1.41  mem=15M6
3.05	   
3.05	   search
3.05	     run=13  nbConstraintChecks=5797401  nbPropagations=341514  nbRevisions=5767725  nbUselessRevisions=4946534
3.05	     nbAssignments=8436  nbFailedAssignments=2516  nbBacktracks=5825  nbVisitedNodes=13780  nbRestartNogoods=54
3.05	       =>  wckTime=2.128  cpuTime=2.03  mem=15M6
4.00	   
4.00	   search
4.00	     run=14  nbConstraintChecks=8714847  nbPropagations=504082  nbRevisions=8638940  nbUselessRevisions=7412638
4.00	     nbAssignments=12619  nbFailedAssignments=3769  nbBacktracks=8748  nbVisitedNodes=20629  nbRestartNogoods=58
4.00	       =>  wckTime=3.078  cpuTime=2.97  mem=15M6
5.47	   
5.47	   search
5.47	     run=15  nbConstraintChecks=13262801  nbPropagations=749984  nbRevisions=12984300  nbUselessRevisions=11142110
5.47	     nbAssignments=18897  nbFailedAssignments=5663  nbBacktracks=13127  nbVisitedNodes=31031  nbRestartNogoods=63
5.47	       =>  wckTime=4.549  cpuTime=4.43  mem=15M6
7.67	   
7.67	   search
7.67	     run=16  nbConstraintChecks=20039993  nbPropagations=1119641  nbRevisions=19531348  nbUselessRevisions=16758164
7.67	     nbAssignments=28356  nbFailedAssignments=8548  nbBacktracks=19695  nbVisitedNodes=46700  nbRestartNogoods=71
7.67	       =>  wckTime=6.747  cpuTime=6.6  mem=15M6
10.87	   
10.87	   search
10.87	     run=17  nbConstraintChecks=29892798  nbPropagations=1670924  nbRevisions=29287081  nbUselessRevisions=25123920
10.87	     nbAssignments=42576  nbFailedAssignments=12911  nbBacktracks=29548  nbVisitedNodes=70014  nbRestartNogoods=79
10.87	       =>  wckTime=9.95  cpuTime=9.77  mem=15M6
15.77	   
15.77	   search
15.77	     run=18  nbConstraintChecks=45184776  nbPropagations=2500461  nbRevisions=43979134  nbUselessRevisions=37720151
15.77	     nbAssignments=63868  nbFailedAssignments=19417  nbBacktracks=44328  nbVisitedNodes=105019  nbRestartNogoods=85
15.77	       =>  wckTime=14.85  cpuTime=14.63  mem=15M6
18.70	   
18.70	   search
18.70	     run=19  nbConstraintChecks=54310154  nbPropagations=3495781  nbRevisions=61601682  nbUselessRevisions=52822403
18.70	     nbAssignments=76315  nbFailedAssignments=23220  nbBacktracks=52973  nbVisitedNodes=125530  nbRestartNogoods=99
18.70	       =>  wckTime=17.776  cpuTime=17.53  mem=15M6
18.70	   
18.70	   global
18.70	     nbConstraintChecks=54333846  nbPropagations=3496733  nbRevisions=61606762  nbUselessRevisions=52826312
18.70	     nbRestartNogoods=99  solvingWckTime=17.777  solvingCpuTime=17.53  expiredTime=no  totalExploration=yes
18.70	     nbFoundSolutions=0  globalCpuTime=17.97
18.70	       =>  wckTime=18.38  cpuTime=17.92  mem=15M981
18.70	   
18.70	s UNSATISFIABLE
18.70	d NODES 76315
18.70	d CHECKS 54333846
18.70	   
18.70	   totalWckTime=18.462  totalCpuTime=17.97

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/node26/watcher-227465-1168278311 -o ROOT/results/node26/solver-227465-1168278311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/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.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=18540 CPUtime=0
/proc/21074/stat : 21074 (runsolver) R 21072 21074 20672 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176225381 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21074/statm: 4635 279 244 17 0 2626 0

[startup+0.110098 s]
/proc/loadavg: 1.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=914988 CPUtime=0.09
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 3014 0 1 0 7 2 0 0 20 0 8 0 176225381 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228747 2760 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.522144 s]
/proc/loadavg: 1.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915328 CPUtime=0.5
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 6318 0 1 0 46 4 0 0 18 0 8 0 176225381 937295872 6057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072939849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228832 6057 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34321 s]
/proc/loadavg: 1.11 1.00 1.00 4/105 21082
/proc/meminfo: memFree=552840/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=1.31
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8756 0 1 0 125 6 0 0 24 0 8 0 176225381 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8494 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.25
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584

[startup+2.98036 s]
/proc/loadavg: 1.11 1.00 1.00 3/105 21082
/proc/meminfo: memFree=552264/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=2.93
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8799 0 1 0 287 6 0 0 25 0 8 0 176225381 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8536 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584

[startup+6.27167 s]
/proc/loadavg: 1.19 1.02 1.01 3/105 21082
/proc/meminfo: memFree=551176/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=6.19
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8806 0 1 0 613 6 0 0 25 0 8 0 176225381 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8543 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 176225385 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 15 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915584

[startup+12.7543 s]
/proc/loadavg: 1.25 1.04 1.01 3/105 21082
/proc/meminfo: memFree=549768/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=12.6
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8812 0 1 0 1254 6 0 0 25 0 8 0 176225381 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8548 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 15 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915584

Child status: 0
Real time (s): 18.7229
CPU time (s): 18.5222
CPU user time (s): 18.4462
CPU system time (s): 0.075988
CPU usage (%): 98.928
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4462
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8908
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= 1658
involuntary context switches= 2630

runsolver used 0.026995 s user time and 0.072988 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Mon Jan  8 17:45:11 UTC 2007


IDJOB= 227465
IDBENCH= 6083
FILE ID= node26/227465-1168278311

PBS_JOBID= 3483368

Free space on /tmp= 66539 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-227465-1168278311 -o ROOT/results/node26/solver-227465-1168278311 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  86ad9a26e4029d79eb85d82259d59efc

RANDOM SEED= 223427810

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.236
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.236
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:        577632 kB
Buffers:         17608 kB
Cached:        1309276 kB
SwapCached:          0 kB
Active:         793364 kB
Inactive:       632036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        577632 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4788 kB
Writeback:           0 kB
Mapped:         127464 kB
Slab:            37352 kB
Committed_AS:  4318936 kB
PageTables:       2384 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= 66539 MiB



End job on node26 on Mon Jan  8 17:45:30 UTC 2007