Trace number 210209

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 29.5855 29.7326

DiagnosticValue
CHECKS7418670
NODES61442

General information on the benchmark

NamepseudoSeries/
ssa/ssa-0432-003.xml
MD5SUMdc9e2f6f8ccdc90333d37df61624232c
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.32595
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables870
Number of constraints1458
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1458
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210209-1168195989/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.48	     nbVariables=870  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.48	       =>  wckTime=0.179  cpuTime=0.13  mem=8M869
0.48	   
0.48	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
0.85	     nbConstraints=1458  nbSingletonDomainVariables=208  nbConvertedConstraints=1213  nbConvertConstraintsChecks=457
0.85	     nbExtensionStructures=9  nbSharedExtensionStructures=1204  nbConflictsStructures=90
0.85	     nbSharedConflictsStructures=1368  nbSharedBinaryRepresentations=21  nbEvaluationManagers=81
0.85	     nbSharedEvaluationManagers=164  maxDegree=26  maxArity=5
0.85	       =>  wckTime=0.549  cpuTime=0.42  mem=17M662
0.90	   
0.90	   solver IterativeSystematicSolver being built... 
1.11	       =>  wckTime=0.808  cpuTime=0.59  mem=20M556
1.32	   
1.32	   preprocessing
1.32	     nbConstraintChecks=7290  nbValidityChecks=558  nbPropagations=3978  nbRevisions=5703  nbUselessRevisions=4104
1.32	     nbSingletonTests=1536  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.32	       =>  wckTime=0.203  cpuTime=0.17  mem=20M556
1.39	   
1.39	   search
1.39	     run=0  nbConstraintChecks=1765  nbValidityChecks=168  nbPropagations=4451  nbRevisions=6948
1.39	     nbUselessRevisions=4874  nbAssignments=146  nbFailedAssignments=1  nbBacktracks=15  nbVisitedNodes=149
1.39	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.274  cpuTime=0.23  mem=20M556
1.45	   
1.45	   search
1.45	     run=1  nbConstraintChecks=3348  nbValidityChecks=348  nbPropagations=9387  nbRevisions=14984
1.45	     nbUselessRevisions=10349  nbAssignments=303  nbFailedAssignments=2  nbBacktracks=43  nbVisitedNodes=308
1.45	     nbRestartNogoods=1  mapSize=2  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.331  cpuTime=0.28  mem=20M556
1.50	   
1.50	   search
1.50	     run=2  nbConstraintChecks=4819  nbValidityChecks=516  nbPropagations=14767  nbRevisions=24026
1.50	     nbUselessRevisions=16394  nbAssignments=451  nbFailedAssignments=4  nbBacktracks=75  nbVisitedNodes=459
1.50	     nbRestartNogoods=2  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.38  cpuTime=0.33  mem=20M556
1.56	   
1.56	   search
1.56	     run=3  nbConstraintChecks=8467  nbValidityChecks=1023  nbPropagations=21299  nbRevisions=35723
1.56	     nbUselessRevisions=23947  nbAssignments=621  nbFailedAssignments=8  nbBacktracks=110  nbVisitedNodes=637
1.56	     nbRestartNogoods=3  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.56	       =>  wckTime=0.44  cpuTime=0.39  mem=20M556
1.63	   
1.63	   search
1.63	     run=4  nbConstraintChecks=12998  nbValidityChecks=1668  nbPropagations=29256  nbRevisions=50726
1.63	     nbUselessRevisions=33387  nbAssignments=818  nbFailedAssignments=15  nbBacktracks=161  nbVisitedNodes=848
1.63	     nbRestartNogoods=5  mapSize=21  nbInferences=2  nbTooLargeKeys=0
1.63	       =>  wckTime=0.51  cpuTime=0.45  mem=20M556
1.71	   
1.71	   search
1.71	     run=5  nbConstraintChecks=20077  nbValidityChecks=2720  nbPropagations=39389  nbRevisions=70943
1.71	     nbUselessRevisions=45845  nbAssignments=1049  nbFailedAssignments=24  nbBacktracks=260  nbVisitedNodes=1095
1.71	     nbRestartNogoods=8  mapSize=34  nbInferences=2  nbTooLargeKeys=0
1.71	       =>  wckTime=0.595  cpuTime=0.53  mem=20M556
1.81	   
1.81	   search
1.81	     run=6  nbConstraintChecks=27494  nbValidityChecks=3868  nbPropagations=51818  nbRevisions=96677
1.81	     nbUselessRevisions=61517  nbAssignments=1316  nbFailedAssignments=35  nbBacktracks=374  nbVisitedNodes=1382
1.82	     nbRestartNogoods=11  mapSize=51  nbInferences=4  nbTooLargeKeys=0
1.82	       =>  wckTime=0.699  cpuTime=0.63  mem=20M556
1.95	   
1.95	   search
1.95	     run=7  nbConstraintChecks=40364  nbValidityChecks=5731  nbPropagations=68128  nbRevisions=131865
1.95	     nbUselessRevisions=82686  nbAssignments=1649  nbFailedAssignments=53  nbBacktracks=586  nbVisitedNodes=1751
1.95	     nbRestartNogoods=14  mapSize=86  nbInferences=8  nbTooLargeKeys=0
1.95	       =>  wckTime=0.835  cpuTime=0.76  mem=20M556
2.12	   
2.12	   search
2.12	     run=8  nbConstraintChecks=53477  nbValidityChecks=7866  nbPropagations=88515  nbRevisions=177014
2.12	     nbUselessRevisions=109747  nbAssignments=2072  nbFailedAssignments=66  nbBacktracks=858  nbVisitedNodes=2205
2.12	     nbRestartNogoods=15  mapSize=113  nbInferences=13  nbTooLargeKeys=0
2.12	       =>  wckTime=1.006  cpuTime=0.93  mem=21M531
2.38	   
2.38	   search
2.38	     run=9  nbConstraintChecks=79763  nbValidityChecks=12195  nbPropagations=117002  nbRevisions=242063
2.38	     nbUselessRevisions=148596  nbAssignments=2657  nbFailedAssignments=106  nbBacktracks=1249  nbVisitedNodes=2865
2.38	     nbRestartNogoods=19  mapSize=186  nbInferences=22  nbTooLargeKeys=0
2.38	       =>  wckTime=1.264  cpuTime=1.19  mem=21M531
2.75	   
2.75	   search
2.75	     run=10  nbConstraintChecks=159228  nbValidityChecks=25341  nbPropagations=169099  nbRevisions=367232
2.75	     nbUselessRevisions=223545  nbAssignments=3449  nbFailedAssignments=217  nbBacktracks=1831  nbVisitedNodes=3883
2.75	     nbRestartNogoods=21  mapSize=409  nbInferences=44  nbTooLargeKeys=0
2.75	       =>  wckTime=1.636  cpuTime=1.55  mem=21M531
3.24	   
3.24	   search
3.24	     run=11  nbConstraintChecks=260762  nbValidityChecks=40369  nbPropagations=251074  nbRevisions=567323
3.24	     nbUselessRevisions=342934  nbAssignments=4512  nbFailedAssignments=346  nbBacktracks=2700  nbVisitedNodes=5218
3.24	     nbRestartNogoods=24  mapSize=674  nbInferences=80  nbTooLargeKeys=0
3.24	       =>  wckTime=2.119  cpuTime=2.03  mem=21M531
4.01	   
4.01	   search
4.01	     run=12  nbConstraintChecks=438300  nbValidityChecks=66818  nbPropagations=384846  nbRevisions=897810
4.01	     nbUselessRevisions=539731  nbAssignments=6100  nbFailedAssignments=548  nbBacktracks=4000  nbVisitedNodes=7239
4.01	     nbRestartNogoods=28  mapSize=1103  nbInferences=132  nbTooLargeKeys=0
4.01	       =>  wckTime=2.892  cpuTime=2.8  mem=21M531
5.16	   
5.16	   search
5.16	     run=13  nbConstraintChecks=792812  nbValidityChecks=117122  nbPropagations=619313  nbRevisions=1485167
5.16	     nbUselessRevisions=890066  nbAssignments=8433  nbFailedAssignments=862  nbBacktracks=5958  nbVisitedNodes=10234
5.16	     nbRestartNogoods=32  mapSize=1760  nbInferences=151  nbTooLargeKeys=0
5.16	       =>  wckTime=4.039  cpuTime=3.93  mem=22M507
6.82	   
6.82	   search
6.82	     run=14  nbConstraintChecks=1159470  nbValidityChecks=168352  nbPropagations=959699  nbRevisions=2338874
6.82	     nbUselessRevisions=1398226  nbAssignments=11885  nbFailedAssignments=1255  nbBacktracks=8887  nbVisitedNodes=14543
6.82	     nbRestartNogoods=36  mapSize=2610  nbInferences=236  nbTooLargeKeys=0
6.82	       =>  wckTime=5.705  cpuTime=5.59  mem=22M507
9.42	   
9.42	   search
9.42	     run=15  nbConstraintChecks=1930858  nbValidityChecks=274038  nbPropagations=1519864  nbRevisions=3751303
9.42	     nbUselessRevisions=2240508  nbAssignments=17030  nbFailedAssignments=1850  nbBacktracks=13267  nbVisitedNodes=21052
9.42	     nbRestartNogoods=40  mapSize=3948  nbInferences=372  nbTooLargeKeys=0
9.42	       =>  wckTime=8.306  cpuTime=8.19  mem=23M482
13.05	   
13.05	   search
13.05	     run=16  nbConstraintChecks=2871849  nbValidityChecks=404722  nbPropagations=2347564  nbRevisions=5844976
13.05	     nbUselessRevisions=3487293  nbAssignments=24599  nbFailedAssignments=2696  nbBacktracks=19860  nbVisitedNodes=30367
13.05	     nbRestartNogoods=44  mapSize=5680  nbInferences=468  nbTooLargeKeys=0
13.05	       =>  wckTime=11.934  cpuTime=11.81  mem=24M457
18.33	   
18.33	   search
18.33	     run=17  nbConstraintChecks=4239088  nbValidityChecks=582993  nbPropagations=3557693  nbRevisions=8918183
18.33	     nbUselessRevisions=5317112  nbAssignments=36092  nbFailedAssignments=3931  nbBacktracks=29718  nbVisitedNodes=44691
18.33	     nbRestartNogoods=49  mapSize=8423  nbInferences=813  nbTooLargeKeys=0
18.33	       =>  wckTime=17.214  cpuTime=17.09  mem=26M407
26.00	   
26.00	   search
26.00	     run=18  nbConstraintChecks=6298290  nbValidityChecks=843761  nbPropagations=5349670  nbRevisions=13450714
26.00	     nbUselessRevisions=8006006  nbAssignments=53191  nbFailedAssignments=5859  nbBacktracks=44498  nbVisitedNodes=65910
26.00	     nbRestartNogoods=56  mapSize=12562  nbInferences=1094  nbTooLargeKeys=0
26.00	       =>  wckTime=24.886  cpuTime=24.76  mem=28M358
29.63	   
29.63	   search
29.63	     run=19  nbConstraintChecks=7411380  nbValidityChecks=987815  nbPropagations=7453950  nbRevisions=18778481
29.63	     nbUselessRevisions=11166625  nbAssignments=61442  nbFailedAssignments=6791  nbBacktracks=51593
29.63	     nbVisitedNodes=76163  nbRestartNogoods=65  mapSize=14640  nbInferences=1239  nbTooLargeKeys=0
29.63	       =>  wckTime=28.517  cpuTime=28.37  mem=30M308
29.63	   
29.63	   global
29.63	     nbConstraintChecks=7418670  nbValidityChecks=988373  nbPropagations=7457928  nbRevisions=18784184
29.63	     nbUselessRevisions=11170729  nbRestartNogoods=65  solvingWckTime=28.518  solvingCpuTime=28.38  expiredTime=no
29.63	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=29.02
29.64	       =>  wckTime=29.331  cpuTime=28.97  mem=30M308
29.64	   
29.64	s UNSATISFIABLE
29.64	d NODES 61442
29.64	d CHECKS 7418670
29.64	   
29.64	   totalWckTime=29.406  totalCpuTime=29.02

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/node45/watcher-210209-1168195989 -o ROOT/results/node45/solver-210209-1168195989 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=1784 CPUtime=0
/proc/27023/stat : 27023 (java) D 27021 27023 26577 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 167998411 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27023/statm: 446 140 106 14 0 91 0

[startup+0.101937 s]
/proc/loadavg: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=914988 CPUtime=0.07
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 2978 0 1 0 6 1 0 0 22 0 8 0 167998411 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.510008 s]
/proc/loadavg: 0.68 1.40 1.76 2/68 27024
/proc/meminfo: memFree=1426056/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915328 CPUtime=0.48
/proc/27023/stat : 27023 (java) S 27021 27023 26577 0 -1 0 6583 0 1 0 44 4 0 0 16 0 8 0 167998411 937295872 6322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228832 6322 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33015 s]
/proc/loadavg: 0.71 1.40 1.76 2/75 27031
/proc/meminfo: memFree=1397136/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=1.3
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10014 0 1 0 116 14 0 0 16 0 8 0 167998411 937553920 9752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 9752 2542 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 9752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.24
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 416 0 0 0 23 1 0 0 15 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915580

[startup+2.96745 s]
/proc/loadavg: 0.71 1.40 1.76 3/75 27031
/proc/meminfo: memFree=1395920/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=2.94
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10318 0 1 0 279 15 0 0 17 0 8 0 167998411 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27023/statm: 228895 10053 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.29
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 445 0 0 0 28 1 0 0 16 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915580

[startup+6.26305 s]
/proc/loadavg: 0.73 1.39 1.75 2/75 27241
/proc/meminfo: memFree=1391184/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=6.21
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 10572 0 1 0 606 15 0 0 22 0 8 0 167998411 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 10305 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.29
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915580

[startup+12.7332 s]
/proc/loadavg: 0.75 1.38 1.75 2/75 27254
/proc/meminfo: memFree=1389392/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=12.67
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 11045 0 1 0 1252 15 0 0 25 0 8 0 167998411 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 10777 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.3
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 448 0 0 0 29 1 0 0 17 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 10777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915580

[startup+25.5826 s]
/proc/loadavg: 0.79 1.37 1.74 2/75 27257
/proc/meminfo: memFree=1388560/2055920 swapFree=4184048/4192956
[pid=27023] ppid=27021 vsize=915580 CPUtime=25.52
/proc/27023/stat : 27023 (java) R 27021 27023 26577 0 -1 0 12096 0 1 0 2536 16 0 0 25 0 8 0 167998411 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27023/statm: 228895 11828 2543 14 0 215365 0
[pid=27023/tid=27025] ppid=27021 vsize=915580 CPUtime=0.04
/proc/27023/task/27025/stat : 27025 (java) S 27021 27023 26577 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 167998415 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27026] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27026/stat : 27026 (java) S 27021 27023 26577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27027] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27027/stat : 27027 (java) S 27021 27023 26577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167998416 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27028] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27028/stat : 27028 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27029] ppid=27021 vsize=915580 CPUtime=0.3
/proc/27023/task/27029/stat : 27029 (java) S 27021 27023 26577 0 -1 64 449 0 0 0 29 1 0 0 17 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27023/tid=27030] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27030/stat : 27030 (java) S 27021 27023 26577 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27023/tid=27031] ppid=27021 vsize=915580 CPUtime=0
/proc/27023/task/27031/stat : 27031 (java) S 27021 27023 26577 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167998419 937553920 11828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 29.7326
CPU time (s): 29.5855
CPU user time (s): 29.4095
CPU system time (s): 0.175973
CPU usage (%): 99.5054
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.4095
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12517
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= 1735
involuntary context switches= 883

runsolver used 0.038994 s user time and 0.074988 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sun Jan  7 18:53:12 UTC 2007


IDJOB= 210209
IDBENCH= 4602
FILE ID= node45/210209-1168195989

PBS_JOBID= 3480694

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-0432-003.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-210209-1168195989 -o ROOT/results/node45/solver-210209-1168195989 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210209-1168195989/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dc9e2f6f8ccdc90333d37df61624232c

RANDOM SEED= 90655217

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1426472 kB
Buffers:         43968 kB
Cached:         510796 kB
SwapCached:       3176 kB
Active:          81176 kB
Inactive:       488256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1426472 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            2000 kB
Writeback:           0 kB
Mapped:          20172 kB
Slab:            45756 kB
Committed_AS:  3187052 kB
PageTables:       1596 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB



End job on node45 on Sun Jan  7 18:53:45 UTC 2007