Trace number 197277

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 3.48147 3.51921

DiagnosticValue
CHECKS3245852
NODES25596

General information on the benchmark

Namebqwh/bqwh-18-141/
bqwh-18-141-81_ext.xml
MD5SUM8f65d9875143d4a0b4c6ea8d8920f2bf
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 benchmark0.098984
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables141
Number of constraints966
Maximum constraint arity2
Maximum domain size6
Number of constraints which are defined in extension966
Number of constraints which are defined in intension0
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/197277-1168125515/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=141  nbDomainTypes=137  minDomainSize=1  maxDomainSize=6
0.43	       =>  wckTime=0.131  cpuTime=0.12  mem=6M886
0.43	   
0.43	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.65	     nbConstraints=861  nbRelationTypes=217  nbSingletonDomainVariables=1  nbExtensionStructures=858
0.65	     nbSharedExtensionStructures=3  nbConflictsStructures=858  nbSharedConflictsStructures=3
0.65	     nbSharedBinaryRepresentations=6487  maxDegree=14  maxArity=2
0.65	       =>  wckTime=0.348  cpuTime=0.25  mem=11M762
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.552  cpuTime=0.39  mem=15M96
0.91	   
0.91	   preprocessing
0.91	     nbConstraintChecks=9146  nbPropagations=1261  nbRevisions=3000  nbUselessRevisions=1804  nbSingletonTests=162
0.91	     nbEffectiveSingletonTests=0  nbESACBranches=12  nbRemovedValues=3  detectedInconsistency=no
0.91	       =>  wckTime=0.058  cpuTime=0.04  mem=15M96
0.95	   
0.95	   search
0.95	     run=0  nbConstraintChecks=3489  nbPropagations=1619  nbRevisions=4290  nbUselessRevisions=2567  nbAssignments=64
0.95	     nbFailedAssignments=5  nbBacktracks=14  nbVisitedNodes=75  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.091  cpuTime=0.06  mem=16M88
0.96	   
0.96	   search
0.96	     run=1  nbConstraintChecks=9296  nbPropagations=3723  nbRevisions=11017  nbUselessRevisions=6671  nbAssignments=125
0.96	     nbFailedAssignments=10  nbBacktracks=34  nbVisitedNodes=149  nbRestartNogoods=2  mapSize=19  nbInferences=0
0.96	     nbTooLargeKeys=0
0.96	       =>  wckTime=0.101  cpuTime=0.07  mem=16M88
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=14857  nbPropagations=6377  nbRevisions=19680  nbUselessRevisions=11958
0.97	     nbAssignments=212  nbFailedAssignments=15  nbBacktracks=56  nbVisitedNodes=215  nbRestartNogoods=4  mapSize=29
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.111  cpuTime=0.08  mem=16M88
0.98	   
0.98	   search
0.98	     run=3  nbConstraintChecks=18709  nbPropagations=9431  nbRevisions=29820  nbUselessRevisions=18152
0.98	     nbAssignments=300  nbFailedAssignments=23  nbBacktracks=90  nbVisitedNodes=317  nbRestartNogoods=6  mapSize=38
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.121  cpuTime=0.09  mem=16M88
1.00	   
1.00	   search
1.00	     run=4  nbConstraintChecks=32312  nbPropagations=13939  nbRevisions=44645  nbUselessRevisions=27089
1.00	     nbAssignments=562  nbFailedAssignments=47  nbBacktracks=142  nbVisitedNodes=474  nbRestartNogoods=11  mapSize=75
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.146  cpuTime=0.11  mem=16M88
1.02	   
1.02	   search
1.02	     run=5  nbConstraintChecks=41971  nbPropagations=19234  nbRevisions=63302  nbUselessRevisions=38387
1.02	     nbAssignments=684  nbFailedAssignments=62  nbBacktracks=221  nbVisitedNodes=627  nbRestartNogoods=13  mapSize=103
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.162  cpuTime=0.12  mem=16M88
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=65618  nbPropagations=26233  nbRevisions=91152  nbUselessRevisions=55274
1.04	     nbAssignments=840  nbFailedAssignments=95  nbBacktracks=334  nbVisitedNodes=853  nbRestartNogoods=15  mapSize=166
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.188  cpuTime=0.14  mem=16M88
1.07	   
1.07	   search
1.07	     run=7  nbConstraintChecks=83660  nbPropagations=34767  nbRevisions=126510  nbUselessRevisions=76908
1.07	     nbAssignments=1091  nbFailedAssignments=127  nbBacktracks=509  nbVisitedNodes=1173  nbRestartNogoods=17
1.07	     mapSize=228  nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.215  cpuTime=0.17  mem=16M88
1.11	   
1.11	   search
1.11	     run=8  nbConstraintChecks=117105  nbPropagations=46017  nbRevisions=175764  nbUselessRevisions=107463
1.11	     nbAssignments=1457  nbFailedAssignments=167  nbBacktracks=770  nbVisitedNodes=1581  nbRestartNogoods=24
1.11	     mapSize=317  nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.259  cpuTime=0.22  mem=16M88
1.18	   
1.18	   search
1.18	     run=9  nbConstraintChecks=164517  nbPropagations=60843  nbRevisions=245344  nbUselessRevisions=151253
1.18	     nbAssignments=1923  nbFailedAssignments=227  nbBacktracks=1154  nbVisitedNodes=2168  nbRestartNogoods=26
1.18	     mapSize=428  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.325  cpuTime=0.27  mem=16M88
1.27	   
1.27	   search
1.27	     run=10  nbConstraintChecks=239808  nbPropagations=81391  nbRevisions=348107  nbUselessRevisions=216930
1.27	     nbAssignments=2628  nbFailedAssignments=326  nbBacktracks=1739  nbVisitedNodes=3105  nbRestartNogoods=31
1.27	     mapSize=640  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.413  cpuTime=0.34  mem=16M88
1.40	   
1.40	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=16M88)
1.40	   
1.40	   search
1.40	     run=11  nbConstraintChecks=390216  nbPropagations=112752  nbRevisions=512991  nbUselessRevisions=321717
1.41	     nbAssignments=3690  nbFailedAssignments=503  nbBacktracks=2607  nbVisitedNodes=4569  nbRestartNogoods=35
1.41	       =>  wckTime=0.55  cpuTime=0.47  mem=16M88
1.56	   
1.56	   search
1.56	     run=12  nbConstraintChecks=602140  nbPropagations=158815  nbRevisions=770970  nbUselessRevisions=488977
1.56	     nbAssignments=5251  nbFailedAssignments=744  nbBacktracks=3904  nbVisitedNodes=6698  nbRestartNogoods=39
1.56	       =>  wckTime=0.708  cpuTime=0.63  mem=16M88
1.79	   
1.79	   search
1.79	     run=13  nbConstraintChecks=917548  nbPropagations=227907  nbRevisions=1165591  nbUselessRevisions=746427
1.79	     nbAssignments=7644  nbFailedAssignments=1166  nbBacktracks=5856  nbVisitedNodes=9989  nbRestartNogoods=43
1.79	       =>  wckTime=0.936  cpuTime=0.86  mem=16M88
2.13	   
2.13	   search
2.13	     run=14  nbConstraintChecks=1393474  nbPropagations=330349  nbRevisions=1777567  nbUselessRevisions=1151311
2.13	     nbAssignments=11172  nbFailedAssignments=1756  nbBacktracks=8778  nbVisitedNodes=14753  nbRestartNogoods=47
2.13	       =>  wckTime=1.277  cpuTime=1.2  mem=16M88
2.65	   
2.65	   search
2.65	     run=15  nbConstraintChecks=2140190  nbPropagations=486409  nbRevisions=2732073  nbUselessRevisions=1788861
2.65	     nbAssignments=16556  nbFailedAssignments=2742  nbBacktracks=13156  nbVisitedNodes=22381  nbRestartNogoods=51
2.65	       =>  wckTime=1.793  cpuTime=1.71  mem=16M88
3.38	   
3.38	   search
3.38	     run=16  nbConstraintChecks=3139324  nbPropagations=715085  nbRevisions=4109358  nbUselessRevisions=2698434
3.38	     nbAssignments=24641  nbFailedAssignments=4227  nbBacktracks=19736  nbVisitedNodes=33629  nbRestartNogoods=58
3.38	       =>  wckTime=2.527  cpuTime=2.45  mem=16M88
3.46	   
3.46	   search
3.46	     run=17  nbConstraintChecks=3236706  nbPropagations=951077  nbRevisions=5532869  nbUselessRevisions=3640576
3.46	     nbAssignments=25596  nbFailedAssignments=4366  nbBacktracks=20411  nbVisitedNodes=34859  nbRestartNogoods=62
3.46	       =>  wckTime=2.606  cpuTime=2.52  mem=16M88
3.46	   
3.46	   global
3.46	     nbConstraintChecks=3245852  nbPropagations=952338  nbRevisions=5535869  nbUselessRevisions=3642380
3.46	     nbRestartNogoods=62  solvingWckTime=2.606  solvingCpuTime=2.52  expiredTime=no  totalExploration=no
3.46	     nbFoundSolutions=1  globalCpuTime=2.95
3.46	       =>  wckTime=3.161  cpuTime=2.91  mem=16M88
3.46	   
3.46	s SATISFIABLE
3.46	v 2 4 5 15 11 9 14 6 15 16 10 0 7 17 9 14 14 17 9 5 16 2 10 12 16 9 17 3 5 2 12 15 2 8 17 14 16 4 12 1 15 6 8 2 10 13 11 16 16 10 15 4 17 12 6 3 1 10 6 11 15 8 2 6 4 10 11 16 2 14 13 8 7 6 16 2 3 13 7 5 14 16 6 9 12 10 13 6 5 15 2 17 12 3 14 5 10 9 16 8 7 13 11 17 13 7 3 4 10 6 2 11 4 14 13 16 0 4 17 11 8 0 1 3 7 4 3 16 17 0 9 2 8 1 11 6 0 5 10 9 13 
3.46	d NODES 25596
3.46	d CHECKS 3245852
3.46	   
3.46	   totalWckTime=3.237  totalCpuTime=2.95

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/node43/watcher-197277-1168125515 -o ROOT/results/node43/solver-197277-1168125515 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/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.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=1784 CPUtime=0
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 160951743 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25582/statm: 446 158 123 14 0 91 0

[startup+0.103932 s]
/proc/loadavg: 0.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=914988 CPUtime=0.09
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 3012 0 1 0 7 2 0 0 16 0 8 0 160951743 936947712 2758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228747 2758 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514 s]
/proc/loadavg: 0.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915328 CPUtime=0.51
/proc/25582/stat : 25582 (java) S 25580 25582 25431 0 -1 0 6395 0 1 0 46 5 0 0 16 0 8 0 160951743 937295872 6134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228832 6134 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328

[startup+1.33413 s]
/proc/loadavg: 0.52 0.82 1.19 2/75 25590
/proc/meminfo: memFree=1815248/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915568 CPUtime=1.33
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 8969 0 1 0 127 6 0 0 16 0 8 0 160951743 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228892 8707 2524 14 0 215362 0
[pid=25582/tid=25584] ppid=25580 vsize=915568 CPUtime=0.03
/proc/25582/task/25584/stat : 25584 (java) S 25580 25582 25431 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25585] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25585/stat : 25585 (java) S 25580 25582 25431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25586] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25586/stat : 25586 (java) S 25580 25582 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25587] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25587/stat : 25587 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25588] ppid=25580 vsize=915568 CPUtime=0.25
/proc/25582/task/25588/stat : 25588 (java) R 25580 25582 25431 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25589] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25589/stat : 25589 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25590] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25590/stat : 25590 (java) S 25580 25582 25431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915568

[startup+2.9704 s]
/proc/loadavg: 0.56 0.83 1.19 2/75 25590
/proc/meminfo: memFree=1814864/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915568 CPUtime=2.96
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 9003 0 1 0 290 6 0 0 18 0 8 0 160951743 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228892 8740 2524 14 0 215362 0
[pid=25582/tid=25584] ppid=25580 vsize=915568 CPUtime=0.03
/proc/25582/task/25584/stat : 25584 (java) S 25580 25582 25431 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25585] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25585/stat : 25585 (java) S 25580 25582 25431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25586] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25586/stat : 25586 (java) S 25580 25582 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25587] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25587/stat : 25587 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25588] ppid=25580 vsize=915568 CPUtime=0.26
/proc/25582/task/25588/stat : 25588 (java) S 25580 25582 25431 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25589] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25589/stat : 25589 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25590] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25590/stat : 25590 (java) S 25580 25582 25431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915568

Child status: 0
Real time (s): 3.51921
CPU time (s): 3.48147
CPU user time (s): 3.40248
CPU system time (s): 0.078987
CPU usage (%): 98.9275
Max. virtual memory (cumulated for all children) (KiB): 915568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.40248
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
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= 1057
involuntary context switches= 150

runsolver used 0.007998 s user time and 0.018997 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Jan  6 23:18:40 UTC 2007


IDJOB= 197277
IDBENCH= 3455
FILE ID= node43/197277-1168125515

PBS_JOBID= 3477585

Free space on /tmp= 66483 MiB

BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-81_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-197277-1168125515 -o ROOT/results/node43/solver-197277-1168125515 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8f65d9875143d4a0b4c6ea8d8920f2bf

RANDOM SEED= 918213811

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.278
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.278
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:       1840616 kB
Buffers:         46844 kB
Cached:          94256 kB
SwapCached:          0 kB
Active:          90496 kB
Inactive:        70716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840616 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          30324 kB
Slab:            39888 kB
Committed_AS:  3137072 kB
PageTables:       1592 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= 66483 MiB



End job on node43 on Sat Jan  6 23:18:53 UTC 2007