Trace number 228765

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 12.2961 12.4388

DiagnosticValue
CHECKS73601046
NODES72624

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-31_ext.xml
MD5SUM87d79b7f0a43cd9c3fda94d4a2e81b52
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.21081
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
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/228765-1168300689/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.42	       =>  wckTime=0.097  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1383  maxDegree=18
0.59	     maxArity=2
0.59	       =>  wckTime=0.272  cpuTime=0.19  mem=11M893
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.467  cpuTime=0.32  mem=14M827
0.83	   
0.83	   preprocessing
0.83	     nbConstraintChecks=50781  nbPropagations=798  nbRevisions=5967  nbUselessRevisions=4853  nbSingletonTests=49
0.83	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.83	       =>  wckTime=0.046  cpuTime=0.03  mem=14M827
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=27344  nbPropagations=1306  nbRevisions=10992  nbUselessRevisions=8715  nbAssignments=31
0.86	     nbFailedAssignments=12  nbBacktracks=15  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.068  cpuTime=0.05  mem=14M827
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=61915  nbPropagations=3244  nbRevisions=28267  nbUselessRevisions=22306  nbAssignments=67
0.88	     nbFailedAssignments=24  nbBacktracks=33  nbVisitedNodes=108  nbRestartNogoods=1  mapSize=27  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.088  cpuTime=0.07  mem=14M827
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=110241  nbPropagations=6017  nbRevisions=53955  nbUselessRevisions=42361
0.89	     nbAssignments=112  nbFailedAssignments=39  nbBacktracks=56  nbVisitedNodes=182  nbRestartNogoods=3  mapSize=46
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.102  cpuTime=0.08  mem=14M827
0.90	   
0.90	   search
0.90	     run=3  nbConstraintChecks=161042  nbPropagations=9867  nbRevisions=90408  nbUselessRevisions=70817
0.90	     nbAssignments=171  nbFailedAssignments=59  nbBacktracks=90  nbVisitedNodes=281  nbRestartNogoods=7  mapSize=75
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.114  cpuTime=0.09  mem=14M827
0.93	   
0.93	   search
0.93	     run=4  nbConstraintChecks=256544  nbPropagations=15615  nbRevisions=146606  nbUselessRevisions=114737
0.93	     nbAssignments=269  nbFailedAssignments=101  nbBacktracks=141  nbVisitedNodes=452  nbRestartNogoods=10  mapSize=118
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.137  cpuTime=0.11  mem=14M827
0.96	   
0.96	   search
0.96	     run=5  nbConstraintChecks=396202  nbPropagations=23960  nbRevisions=229602  nbUselessRevisions=179036
0.96	     nbAssignments=407  nbFailedAssignments=156  nbBacktracks=216  nbVisitedNodes=693  nbRestartNogoods=14  mapSize=183
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.17  cpuTime=0.14  mem=14M827
0.99	   
0.99	   search
0.99	     run=6  nbConstraintChecks=581648  nbPropagations=35711  nbRevisions=347588  nbUselessRevisions=269779
0.99	     nbAssignments=600  nbFailedAssignments=230  nbBacktracks=329  nbVisitedNodes=1025  nbRestartNogoods=18  mapSize=275
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.207  cpuTime=0.17  mem=14M827
1.05	   
1.05	   search
1.05	     run=7  nbConstraintChecks=854956  nbPropagations=52397  nbRevisions=517734  nbUselessRevisions=400370
1.05	     nbAssignments=879  nbFailedAssignments=335  nbBacktracks=499  nbVisitedNodes=1507  nbRestartNogoods=22  mapSize=415
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.26  cpuTime=0.22  mem=14M827
1.13	   
1.13	   search
1.13	     run=8  nbConstraintChecks=1251480  nbPropagations=76203  nbRevisions=761794  nbUselessRevisions=587287
1.13	     nbAssignments=1290  nbFailedAssignments=486  nbBacktracks=756  nbVisitedNodes=2202  nbRestartNogoods=28
1.13	     mapSize=628  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.34  cpuTime=0.3  mem=14M827
1.25	   
1.25	   search
1.25	     run=9  nbConstraintChecks=1834057  nbPropagations=110391  nbRevisions=1115393  nbUselessRevisions=857316
1.25	     nbAssignments=1871  nbFailedAssignments=680  nbBacktracks=1140  nbVisitedNodes=3180  nbRestartNogoods=32
1.25	     mapSize=930  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.458  cpuTime=0.4  mem=14M827
1.28	   
1.28	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M827)
1.42	   
1.42	   search
1.42	     run=10  nbConstraintChecks=2841988  nbPropagations=162688  nbRevisions=1665309  nbUselessRevisions=1278999
1.42	     nbAssignments=2860  nbFailedAssignments=1087  nbBacktracks=1716  nbVisitedNodes=4920  nbRestartNogoods=35
1.42	       =>  wckTime=0.631  cpuTime=0.56  mem=14M827
1.65	   
1.65	   search
1.65	     run=11  nbConstraintChecks=4277507  nbPropagations=240793  nbRevisions=2493850  nbUselessRevisions=1913443
1.65	     nbAssignments=4274  nbFailedAssignments=1633  nbBacktracks=2580  nbVisitedNodes=7384  nbRestartNogoods=41
1.65	       =>  wckTime=0.865  cpuTime=0.79  mem=14M827
1.97	   
1.97	   search
1.97	     run=12  nbConstraintChecks=6311795  nbPropagations=356039  nbRevisions=3713962  nbUselessRevisions=2846954
1.97	     nbAssignments=6396  nbFailedAssignments=2451  nbBacktracks=3877  nbVisitedNodes=11029  nbRestartNogoods=45
1.97	       =>  wckTime=1.184  cpuTime=1.11  mem=14M827
2.47	   
2.47	   search
2.47	     run=13  nbConstraintChecks=9433819  nbPropagations=528966  nbRevisions=5552222  nbUselessRevisions=4253876
2.47	     nbAssignments=9624  nbFailedAssignments=3730  nbBacktracks=5823  nbVisitedNodes=16641  nbRestartNogoods=51
2.47	       =>  wckTime=1.678  cpuTime=1.6  mem=14M827
3.19	   
3.19	   search
3.19	     run=14  nbConstraintChecks=13986014  nbPropagations=785871  nbRevisions=8297764  nbUselessRevisions=6361914
3.19	     nbAssignments=14345  nbFailedAssignments=5525  nbBacktracks=8742  nbVisitedNodes=24800  nbRestartNogoods=59
3.19	       =>  wckTime=2.4  cpuTime=2.32  mem=14M827
4.35	   
4.35	   search
4.35	     run=15  nbConstraintChecks=21525946  nbPropagations=1176205  nbRevisions=12503810  nbUselessRevisions=9596560
4.35	     nbAssignments=21601  nbFailedAssignments=8384  nbBacktracks=13120  nbVisitedNodes=37441  nbRestartNogoods=70
4.35	       =>  wckTime=3.561  cpuTime=3.48  mem=14M827
6.08	   
6.08	   search
6.08	     run=16  nbConstraintChecks=32522249  nbPropagations=1762410  nbRevisions=18839282  nbUselessRevisions=14468304
6.08	     nbAssignments=32454  nbFailedAssignments=12660  nbBacktracks=19688  nbVisitedNodes=56286  nbRestartNogoods=84
6.08	       =>  wckTime=5.291  cpuTime=5.17  mem=14M827
8.61	   
8.61	   search
8.61	     run=17  nbConstraintChecks=48892027  nbPropagations=2642752  nbRevisions=28337127  nbUselessRevisions=21766463
8.61	     nbAssignments=48578  nbFailedAssignments=18892  nbBacktracks=29540  nbVisitedNodes=84215  nbRestartNogoods=97
8.61	       =>  wckTime=7.819  cpuTime=7.69  mem=14M827
12.38	   
12.38	   search
12.38	     run=18  nbConstraintChecks=73550265  nbPropagations=3958520  nbRevisions=42556997  nbUselessRevisions=32686459
12.38	     nbAssignments=72624  nbFailedAssignments=28182  nbBacktracks=44256  nbVisitedNodes=125725  nbRestartNogoods=105
12.38	       =>  wckTime=11.588  cpuTime=11.45  mem=14M827
12.38	   
12.38	   global
12.38	     nbConstraintChecks=73601046  nbPropagations=3959318  nbRevisions=42562964  nbUselessRevisions=32691312
12.38	     nbRestartNogoods=105  solvingWckTime=11.589  solvingCpuTime=11.45  expiredTime=no  totalExploration=no
12.38	     nbFoundSolutions=1  globalCpuTime=11.82
12.38	       =>  wckTime=12.059  cpuTime=11.77  mem=14M827
12.38	   
12.38	s SATISFIABLE
12.38	v 8 6 10 2 0 5 6 5 9 3 2 9 5 13 7 9 14 3 4 1 0 7 7 5 7 10 3 1 7 5 1 15 5 4 6 1 5 7 14 2 
12.38	d NODES 72624
12.38	d CHECKS 73601046
12.38	   
12.38	   totalWckTime=12.141  totalCpuTime=11.82

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/node5/watcher-228765-1168300689 -o ROOT/results/node5/solver-228765-1168300689 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/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
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=18540 CPUtime=0
/proc/24797/stat : 24797 (runsolver) R 24795 24410 24410 0 -1 4194368 13 0 0 0 0 0 0 0 19 0 1 0 158683327 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 251820250100 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24797/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.108314 s]
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=914988 CPUtime=0.08
/proc/24797/stat : 24797 (java) D 24795 24797 24410 0 -1 0 2988 0 1 0 7 1 0 0 18 0 8 0 158683327 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24797/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516349 s]
/proc/loadavg: 2.04 1.86 1.52 5/88 24798
/proc/meminfo: memFree=1167128/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915328 CPUtime=0.48
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 6682 0 1 0 45 3 0 0 18 0 8 0 158683327 937295872 6421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228832 6421 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33944 s]
/proc/loadavg: 2.11 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143328/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=1.31
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8697 0 1 0 124 7 0 0 24 0 8 0 158683327 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8435 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 17 0 8 0 158683331 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.22
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8435 18446744073709551615 134512640 134570532 4294956464 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) 915452

[startup+2.99263 s]
/proc/loadavg: 2.11 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143136/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=2.95
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8712 0 1 0 288 7 0 0 25 0 8 0 158683327 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073904393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8449 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 17 0 8 0 158683331 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.23
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8449 18446744073709551615 134512640 134570532 4294956464 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) 915452

[startup+6.272 s]
/proc/loadavg: 2.10 1.88 1.53 3/95 24805
/proc/meminfo: memFree=1143072/2055920 swapFree=4192812/4192956
[pid=24797] ppid=24795 vsize=915452 CPUtime=6.2
/proc/24797/stat : 24797 (java) R 24795 24797 24410 0 -1 0 8721 0 1 0 613 7 0 0 25 0 8 0 158683327 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24797/statm: 228863 8457 2524 14 0 215333 0
[pid=24797/tid=24799] ppid=24795 vsize=915452 CPUtime=0.02
/proc/24797/task/24799/stat : 24799 (java) S 24795 24797 24410 0 -1 64 241 0 0 0 2 0 0 0 16 0 8 0 158683331 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24800] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24800/stat : 24800 (java) S 24795 24797 24410 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24801] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24801/stat : 24801 (java) S 24795 24797 24410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158683332 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24802] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24802/stat : 24802 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24803] ppid=24795 vsize=915452 CPUtime=0.23
/proc/24797/task/24803/stat : 24803 (java) S 24795 24797 24410 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24797/tid=24804] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24804/stat : 24804 (java) S 24795 24797 24410 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24797/tid=24805] ppid=24795 vsize=915452 CPUtime=0
/proc/24797/task/24805/stat : 24805 (java) S 24795 24797 24410 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158683335 937422848 8457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 12.4388
CPU time (s): 12.2961
CPU user time (s): 12.2191
CPU system time (s): 0.076988
CPU usage (%): 98.8532
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2191
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8816
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= 1352
involuntary context switches= 1517

runsolver used 0.017997 s user time and 0.046992 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Mon Jan  8 23:58:09 UTC 2007


IDJOB= 228765
IDBENCH= 6233
FILE ID= node5/228765-1168300689

PBS_JOBID= 3502189

Free space on /tmp= 66356 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-228765-1168300689 -o ROOT/results/node5/solver-228765-1168300689 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228765-1168300689/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87d79b7f0a43cd9c3fda94d4a2e81b52

RANDOM SEED= 439123404

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.240
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.240
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:       1167544 kB
Buffers:         79420 kB
Cached:         693468 kB
SwapCached:          0 kB
Active:         340868 kB
Inactive:       481700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1167544 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1812 kB
Writeback:           0 kB
Mapped:          70240 kB
Slab:            50680 kB
Committed_AS:  4321560 kB
PageTables:       2192 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= 66356 MiB



End job on node5 on Mon Jan  8 23:58:21 UTC 2007