Trace number 213858

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 72.319 72.7055

DiagnosticValue
CHECKS24252869
NODES178981

General information on the benchmark

NamepseudoSeries/par/
par-16-2-c.xml
MD5SUMb4d2a5b19a1ec98e70988177619dc187
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.68074
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables698
Number of constraints1741
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1741
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/213858-1168226767/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.47	     nbVariables=698  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.47	       =>  wckTime=0.153  cpuTime=0.12  mem=8M25
0.47	   
0.47	   predicates being loaded...
0.47	   
0.47	   constraints being loaded...
0.91	     nbConstraints=1741  nbConvertedConstraints=471  nbConvertConstraintsChecks=56  nbExtensionStructures=2
0.91	     nbSharedExtensionStructures=469  nbConflictsStructures=8  nbSharedConflictsStructures=1733
0.91	     nbSharedBinaryRepresentations=5  nbEvaluationManagers=6  nbSharedEvaluationManagers=1264  maxDegree=43  maxArity=3
0.91	       =>  wckTime=0.592  cpuTime=0.44  mem=18M752
0.96	   
0.96	   solver IterativeSystematicSolver being built... 
1.21	       =>  wckTime=0.896  cpuTime=0.65  mem=24M390
1.36	   
1.36	   preprocessing
1.36	     nbConstraintChecks=4732  nbValidityChecks=2597  nbPropagations=2636  nbRevisions=9379  nbUselessRevisions=8137
1.36	     nbSingletonTests=731  nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.36	       =>  wckTime=0.151  cpuTime=0.11  mem=25M365
1.42	   
1.42	   search
1.42	     run=0  nbConstraintChecks=6607  nbValidityChecks=5337  nbPropagations=4843  nbRevisions=18969
1.42	     nbUselessRevisions=15518  nbAssignments=41  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=49
1.42	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.204  cpuTime=0.14  mem=25M365
1.45	   
1.45	   search
1.45	     run=1  nbConstraintChecks=12893  nbValidityChecks=11241  nbPropagations=12020  nbRevisions=48057
1.45	     nbUselessRevisions=38809  nbAssignments=84  nbFailedAssignments=6  nbBacktracks=26  nbVisitedNodes=100
1.45	     nbRestartNogoods=2  mapSize=11  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.234  cpuTime=0.17  mem=25M365
1.48	   
1.48	   search
1.48	     run=2  nbConstraintChecks=23536  nbValidityChecks=21053  nbPropagations=23034  nbRevisions=93961
1.48	     nbUselessRevisions=75040  nbAssignments=141  nbFailedAssignments=13  nbBacktracks=48  nbVisitedNodes=170
1.48	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
1.48	       =>  wckTime=0.271  cpuTime=0.21  mem=25M365
1.53	   
1.53	   search
1.53	     run=3  nbConstraintChecks=34312  nbValidityChecks=30951  nbPropagations=37978  nbRevisions=156936
1.53	     nbUselessRevisions=124395  nbAssignments=246  nbFailedAssignments=20  nbBacktracks=81  nbVisitedNodes=240
1.53	     nbRestartNogoods=8  mapSize=31  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.316  cpuTime=0.25  mem=25M365
1.59	   
1.59	   search
1.59	     run=4  nbConstraintChecks=53696  nbValidityChecks=48417  nbPropagations=59767  nbRevisions=249699
1.59	     nbUselessRevisions=196636  nbAssignments=334  nbFailedAssignments=34  nbBacktracks=131  nbVisitedNodes=353
1.59	     nbRestartNogoods=9  mapSize=54  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.38  cpuTime=0.31  mem=25M365
1.68	   
1.68	   search
1.68	     run=5  nbConstraintChecks=80873  nbValidityChecks=72899  nbPropagations=91180  nbRevisions=384277
1.68	     nbUselessRevisions=300962  nbAssignments=456  nbFailedAssignments=52  nbBacktracks=215  nbVisitedNodes=510
1.68	     nbRestartNogoods=11  mapSize=87  nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.471  cpuTime=0.4  mem=25M365
1.78	   
1.78	   search
1.78	     run=6  nbConstraintChecks=106042  nbValidityChecks=95622  nbPropagations=131427  nbRevisions=558255
1.78	     nbUselessRevisions=435623  nbAssignments=620  nbFailedAssignments=74  nbBacktracks=329  nbVisitedNodes=723
1.78	     nbRestartNogoods=13  mapSize=132  nbInferences=0  nbTooLargeKeys=0
1.78	       =>  wckTime=0.57  cpuTime=0.5  mem=25M365
1.93	   
1.93	   search
1.93	     run=7  nbConstraintChecks=139643  nbValidityChecks=126686  nbPropagations=183431  nbRevisions=787308
1.93	     nbUselessRevisions=613093  nbAssignments=858  nbFailedAssignments=112  nbBacktracks=510  nbVisitedNodes=1034
1.93	     nbRestartNogoods=17  mapSize=202  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.716  cpuTime=0.64  mem=25M365
2.15	   
2.15	   search
2.15	     run=8  nbConstraintChecks=198521  nbValidityChecks=183714  nbPropagations=256730  nbRevisions=1118468
2.15	     nbUselessRevisions=870292  nbAssignments=1203  nbFailedAssignments=174  nbBacktracks=766  nbVisitedNodes=1499
2.15	     nbRestartNogoods=20  mapSize=317  nbInferences=0  nbTooLargeKeys=0
2.15	       =>  wckTime=0.935  cpuTime=0.85  mem=25M365
2.51	   
2.51	   search
2.51	     run=9  nbConstraintChecks=292811  nbValidityChecks=272307  nbPropagations=362656  nbRevisions=1602746
2.51	     nbUselessRevisions=1246806  nbAssignments=1746  nbFailedAssignments=251  nbBacktracks=1156  nbVisitedNodes=2146
2.51	     nbRestartNogoods=25  mapSize=466  nbInferences=0  nbTooLargeKeys=0
2.51	       =>  wckTime=1.297  cpuTime=1.2  mem=25M365
2.96	   
2.96	   search
2.96	     run=10  nbConstraintChecks=412466  nbValidityChecks=380653  nbPropagations=509243  nbRevisions=2280993
2.96	     nbUselessRevisions=1774412  nbAssignments=2491  nbFailedAssignments=384  nbBacktracks=1736  nbVisitedNodes=3145
2.96	     nbRestartNogoods=29  mapSize=714  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=1.749  cpuTime=1.63  mem=26M340
3.60	   
3.60	   search
3.60	     run=11  nbConstraintChecks=583493  nbValidityChecks=550317  nbPropagations=717593  nbRevisions=3251949
3.60	     nbUselessRevisions=2529949  nbAssignments=3502  nbFailedAssignments=509  nbBacktracks=2601  nbVisitedNodes=4425
3.60	     nbRestartNogoods=35  mapSize=980  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=2.39  cpuTime=2.27  mem=26M340
3.71	   
3.71	   INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=26M340)
4.34	   
4.34	   search
4.34	     run=12  nbConstraintChecks=836734  nbValidityChecks=797392  nbPropagations=1018521  nbRevisions=4658937
4.34	     nbUselessRevisions=3624060  nbAssignments=5018  nbFailedAssignments=697  nbBacktracks=3898  nbVisitedNodes=6348
4.34	     nbRestartNogoods=38
4.34	       =>  wckTime=3.124  cpuTime=3.0  mem=26M340
5.28	   
5.28	   search
5.28	     run=13  nbConstraintChecks=1177318  nbValidityChecks=1116426  nbPropagations=1439792  nbRevisions=6625163
5.28	     nbUselessRevisions=5150926  nbAssignments=7213  nbFailedAssignments=912  nbBacktracks=5845  nbVisitedNodes=9011
5.28	     nbRestartNogoods=44
5.28	       =>  wckTime=4.068  cpuTime=3.94  mem=26M340
6.69	   
6.69	   search
6.69	     run=14  nbConstraintChecks=1693838  nbValidityChecks=1613960  nbPropagations=2050064  nbRevisions=9470813
6.69	     nbUselessRevisions=7356685  nbAssignments=10512  nbFailedAssignments=1248  nbBacktracks=8776  nbVisitedNodes=13117
6.69	     nbRestartNogoods=51
6.69	       =>  wckTime=5.478  cpuTime=5.34  mem=26M340
8.30	   
8.30	   search
8.30	     run=15  nbConstraintChecks=2174887  nbValidityChecks=2090270  nbPropagations=2827276  nbRevisions=13144449
8.30	     nbUselessRevisions=10211256  nbAssignments=15340  nbFailedAssignments=1657  nbBacktracks=13160
8.30	     nbVisitedNodes=18809  nbRestartNogoods=54
8.30	       =>  wckTime=7.092  cpuTime=6.94  mem=26M340
10.87	   
10.87	   search
10.87	     run=16  nbConstraintChecks=2976571  nbValidityChecks=2900964  nbPropagations=3894839  nbRevisions=18238507
10.87	     nbUselessRevisions=14176861  nbAssignments=22704  nbFailedAssignments=2407  nbBacktracks=19728
10.87	     nbVisitedNodes=27661  nbRestartNogoods=61
10.87	       =>  wckTime=9.659  cpuTime=9.5  mem=26M340
15.50	   
15.50	   search
15.50	     run=17  nbConstraintChecks=4628036  nbValidityChecks=4501940  nbPropagations=5547709  nbRevisions=26180187
15.50	     nbUselessRevisions=20366400  nbAssignments=33864  nbFailedAssignments=3659  nbBacktracks=29603
15.51	     nbVisitedNodes=41516  nbRestartNogoods=67
15.51	       =>  wckTime=14.293  cpuTime=14.11  mem=26M340
22.39	   
22.39	   search
22.39	     run=18  nbConstraintChecks=7008660  nbValidityChecks=6892085  nbPropagations=8053880  nbRevisions=38226325
22.39	     nbUselessRevisions=29746478  nbAssignments=50682  nbFailedAssignments=5631  nbBacktracks=44385
22.39	     nbVisitedNodes=62159  nbRestartNogoods=74
22.39	       =>  wckTime=21.18  cpuTime=20.96  mem=26M340
31.78	   
31.78	   search
31.78	     run=19  nbConstraintChecks=10132224  nbValidityChecks=9977924  nbPropagations=11681311  nbRevisions=55642082
31.78	     nbUselessRevisions=43296849  nbAssignments=75386  nbFailedAssignments=8130  nbBacktracks=66555
31.78	     nbVisitedNodes=91965  nbRestartNogoods=83
31.78	       =>  wckTime=30.573  cpuTime=30.31  mem=26M340
46.22	   
46.22	   search
46.22	     run=20  nbConstraintChecks=15036466  nbValidityChecks=14745363  nbPropagations=17088442  nbRevisions=81380386
46.22	     nbUselessRevisions=63291941  nbAssignments=112466  nbFailedAssignments=11923  nbBacktracks=99811
46.22	     nbVisitedNodes=136826  nbRestartNogoods=90
46.22	       =>  wckTime=45.007  cpuTime=44.68  mem=26M340
68.68	   
68.68	   search
68.68	     run=21  nbConstraintChecks=22891403  nbValidityChecks=22402880  nbPropagations=25341279  nbRevisions=120535407
68.68	     nbUselessRevisions=93685681  nbAssignments=168585  nbFailedAssignments=18114  nbBacktracks=149711
68.68	     nbVisitedNodes=205351  nbRestartNogoods=101
68.68	       =>  wckTime=67.471  cpuTime=67.04  mem=26M340
72.66	   
72.66	   search
72.66	     run=22  nbConstraintChecks=24248137  nbValidityChecks=23763085  nbPropagations=34091936  nbRevisions=162028747
72.66	     nbUselessRevisions=125894451  nbAssignments=178981  nbFailedAssignments=19182  nbBacktracks=158306
72.66	     nbVisitedNodes=217866  nbRestartNogoods=107
72.66	       =>  wckTime=71.447  cpuTime=70.99  mem=26M340
72.66	   
72.66	   global
72.66	     nbConstraintChecks=24252869  nbValidityChecks=23765682  nbPropagations=34094572  nbRevisions=162038126
72.66	     nbUselessRevisions=125902588  nbRestartNogoods=107  solvingWckTime=71.449  solvingCpuTime=70.99  expiredTime=no
72.66	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=71.7
72.66	       =>  wckTime=72.349  cpuTime=71.65  mem=26M340
72.66	   
72.66	s SATISFIABLE
72.66	v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 
72.66	d NODES 178981
72.67	d CHECKS 24252869
72.67	   
72.67	   totalWckTime=72.431  totalCpuTime=71.71

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/node34/watcher-213858-1168226767 -o ROOT/results/node34/solver-213858-1168226767 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213858-1168226767/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.26 1.05 1.09 2/75 13598
/proc/meminfo: memFree=1832056/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=18540 CPUtime=0
/proc/13597/stat : 13597 (runsolver) R 13595 13597 13323 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 171070459 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 254195330343 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13597/statm: 4635 279 244 17 0 2626 0

[startup+0.102869 s]
/proc/loadavg: 1.26 1.05 1.09 2/75 13598
/proc/meminfo: memFree=1832056/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=914988 CPUtime=0.09
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 2992 0 1 0 8 1 0 0 17 0 8 0 171070459 936947712 2738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154113335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228747 2738 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.5109 s]
/proc/loadavg: 1.26 1.05 1.09 2/75 13598
/proc/meminfo: memFree=1832056/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915328 CPUtime=0.49
/proc/13597/stat : 13597 (java) S 13595 13597 13323 0 -1 0 6388 0 1 0 46 3 0 0 17 0 8 0 171070459 937295872 6127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228832 6127 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33397 s]
/proc/loadavg: 1.26 1.05 1.09 4/82 13605
/proc/meminfo: memFree=1802880/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=1.3
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11188 0 1 0 117 13 0 0 18 0 8 0 171070459 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073993124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 10926 2542 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 17 0 8 0 171070463 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.26
/proc/13597/task/13603/stat : 13603 (java) R 13595 13597 13323 0 -1 64 476 0 0 0 25 1 0 0 20 0 8 0 171070467 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 10926 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) 915764

[startup+2.9871 s]
/proc/loadavg: 1.26 1.05 1.09 3/82 13605
/proc/meminfo: memFree=1797312/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=2.95
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11489 0 1 0 281 14 0 0 25 0 8 0 171070459 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 11225 2543 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 17 0 8 0 171070463 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.33
/proc/13597/task/13603/stat : 13603 (java) S 13595 13597 13323 0 -1 64 506 0 0 0 32 1 0 0 16 0 8 0 171070467 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 11225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915764

[startup+6.27037 s]
/proc/loadavg: 1.32 1.07 1.10 3/82 13605
/proc/meminfo: memFree=1796616/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=6.22
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11566 0 1 0 608 14 0 0 25 0 8 0 171070459 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074015062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 11300 2543 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 16 0 8 0 171070463 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.33
/proc/13597/task/13603/stat : 13603 (java) S 13595 13597 13323 0 -1 64 507 0 0 0 32 1 0 0 16 0 8 0 171070467 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 11300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915764

[startup+12.7669 s]
/proc/loadavg: 1.38 1.08 1.10 3/82 13605
/proc/meminfo: memFree=1796552/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=12.68
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11575 0 1 0 1254 14 0 0 25 0 8 0 171070459 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073993091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 11309 2543 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 16 0 8 0 171070463 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.33
/proc/13597/task/13603/stat : 13603 (java) S 13595 13597 13323 0 -1 64 508 0 0 0 32 1 0 0 17 0 8 0 171070467 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 11309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915764

[startup+25.6169 s]
/proc/loadavg: 1.51 1.13 1.12 3/82 13605
/proc/meminfo: memFree=1796360/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=25.47
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11581 0 1 0 2533 14 0 0 25 0 8 0 171070459 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 11315 2543 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 16 0 8 0 171070463 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.33
/proc/13597/task/13603/stat : 13603 (java) S 13595 13597 13323 0 -1 64 508 0 0 0 32 1 0 0 17 0 8 0 171070467 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 11315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915764

[startup+51.247 s]
/proc/loadavg: 1.68 1.19 1.14 3/82 13605
/proc/meminfo: memFree=1796040/2055920 swapFree=4192812/4192956
[pid=13597] ppid=13595 vsize=915764 CPUtime=50.98
/proc/13597/stat : 13597 (java) R 13595 13597 13323 0 -1 0 11587 0 1 0 5083 15 0 0 25 0 8 0 171070459 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13597/statm: 228941 11321 2543 14 0 215411 0
[pid=13597/tid=13599] ppid=13595 vsize=915764 CPUtime=0.04
/proc/13597/task/13599/stat : 13599 (java) S 13595 13597 13323 0 -1 64 426 0 0 0 4 0 0 0 16 0 8 0 171070463 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13600] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13600/stat : 13600 (java) S 13595 13597 13323 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13601] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13601/stat : 13601 (java) S 13595 13597 13323 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171070463 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13602] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13602/stat : 13602 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 171070467 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13603] ppid=13595 vsize=915764 CPUtime=0.34
/proc/13597/task/13603/stat : 13603 (java) S 13595 13597 13323 0 -1 64 509 0 0 0 33 1 0 0 17 0 8 0 171070467 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13604] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13604/stat : 13604 (java) S 13595 13597 13323 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 171070467 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13597/tid=13605] ppid=13595 vsize=915764 CPUtime=0
/proc/13597/task/13605/stat : 13605 (java) S 13595 13597 13323 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171070467 937742336 11321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915764

Child status: 0
Real time (s): 72.7055
CPU time (s): 72.319
CPU user time (s): 72.158
CPU system time (s): 0.160975
CPU usage (%): 99.4684
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.158
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11686
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= 2605
involuntary context switches= 3635

runsolver used 0.089986 s user time and 0.245962 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Mon Jan  8 03:26:07 UTC 2007


IDJOB= 213858
IDBENCH= 4880
FILE ID= node34/213858-1168226767

PBS_JOBID= 3481291

Free space on /tmp= 66552 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-2-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213858-1168226767/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-213858-1168226767 -o ROOT/results/node34/solver-213858-1168226767 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213858-1168226767/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b4d2a5b19a1ec98e70988177619dc187

RANDOM SEED= 333700987

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.227
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.227
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:       1832536 kB
Buffers:         35804 kB
Cached:         104820 kB
SwapCached:          0 kB
Active:          92116 kB
Inactive:        75096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4184 kB
Writeback:           0 kB
Mapped:          37592 kB
Slab:            41532 kB
Committed_AS:  2995784 kB
PageTables:       1784 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= 66552 MiB



End job on node34 on Mon Jan  8 03:27:20 UTC 2007