Trace number 247504

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 ACSAT 23.1755 23.3329

DiagnosticValue
CHECKS4420083
NODES14930

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-15_ext.xml
MD5SUMd7a553eab6261f0c29850b8b2d8228c4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark23.1755
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
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=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/247504-1168085849/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.40	       =>  wckTime=0.092  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
3.87	   
3.87	   INFO : Contraction of relations, mem = 103M131
6.05	   
6.05	   constraints being loaded...
9.34	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
9.34	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=8
9.34	       =>  wckTime=9.035  cpuTime=7.19  mem=229M702
10.18	   
10.18	   solver IterativeSystematicSolver being built... 
10.33	       =>  wckTime=10.03  cpuTime=7.33  mem=143M380
10.34	   
10.34	   preprocessing
10.34	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
10.34	     detectedInconsistency=no
10.34	       =>  wckTime=0.0020  cpuTime=0.0  mem=143M380
10.42	   
10.42	   search
10.42	     run=0  nbConstraintChecks=10717  nbValidityChecks=19256  nbPropagations=204  nbRevisions=2738
10.42	     nbUselessRevisions=2275  nbAssignments=36  nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=62
10.42	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
10.42	       =>  wckTime=0.083  cpuTime=0.06  mem=143M380
10.47	   
10.47	   search
10.47	     run=1  nbConstraintChecks=21218  nbValidityChecks=41255  nbPropagations=615  nbRevisions=9080
10.47	     nbUselessRevisions=7735  nbAssignments=80  nbFailedAssignments=38  nbBacktracks=25  nbVisitedNodes=134
10.47	     nbRestartNogoods=4  mapSize=22  nbInferences=0  nbTooLargeKeys=0
10.47	       =>  wckTime=0.139  cpuTime=0.11  mem=143M380
10.54	   
10.54	   search
10.54	     run=2  nbConstraintChecks=36652  nbValidityChecks=70302  nbPropagations=1267  nbRevisions=19747
10.54	     nbUselessRevisions=17041  nbAssignments=128  nbFailedAssignments=55  nbBacktracks=48  nbVisitedNodes=212
10.54	     nbRestartNogoods=6  mapSize=39  nbInferences=0  nbTooLargeKeys=0
10.54	       =>  wckTime=0.203  cpuTime=0.16  mem=143M380
10.61	   
10.61	   search
10.61	     run=3  nbConstraintChecks=55355  nbValidityChecks=110423  nbPropagations=2351  nbRevisions=37056
10.61	     nbUselessRevisions=32093  nbAssignments=207  nbFailedAssignments=92  nbBacktracks=82  nbVisitedNodes=349
10.61	     nbRestartNogoods=10  mapSize=68  nbInferences=0  nbTooLargeKeys=0
10.61	       =>  wckTime=0.275  cpuTime=0.23  mem=143M380
10.72	   
10.72	   search
10.72	     run=4  nbConstraintChecks=94143  nbValidityChecks=177296  nbPropagations=3972  nbRevisions=63416
10.72	     nbUselessRevisions=55084  nbAssignments=313  nbFailedAssignments=141  nbBacktracks=133  nbVisitedNodes=532
10.72	     nbRestartNogoods=18  mapSize=112  nbInferences=0  nbTooLargeKeys=0
10.72	       =>  wckTime=0.387  cpuTime=0.33  mem=143M380
10.86	   
10.86	   search
10.86	     run=5  nbConstraintChecks=138227  nbValidityChecks=261907  nbPropagations=6369  nbRevisions=102989
10.86	     nbUselessRevisions=89482  nbAssignments=484  nbFailedAssignments=226  nbBacktracks=209  nbVisitedNodes=832
10.86	     nbRestartNogoods=20  mapSize=176  nbInferences=0  nbTooLargeKeys=0
10.86	       =>  wckTime=0.521  cpuTime=0.46  mem=143M380
11.10	   
11.10	   search
11.10	     run=6  nbConstraintChecks=217356  nbValidityChecks=431961  nbPropagations=10581  nbRevisions=170494
11.10	     nbUselessRevisions=147516  nbAssignments=777  nbFailedAssignments=397  nbBacktracks=322  nbVisitedNodes=1382
11.10	     nbRestartNogoods=26  mapSize=286  nbInferences=0  nbTooLargeKeys=0
11.10	       =>  wckTime=0.762  cpuTime=0.7  mem=143M380
11.40	   
11.40	   search
11.40	     run=7  nbConstraintChecks=316904  nbValidityChecks=638191  nbPropagations=16903  nbRevisions=271186
11.40	     nbUselessRevisions=233813  nbAssignments=1141  nbFailedAssignments=583  nbBacktracks=492  nbVisitedNodes=2050
11.40	     nbRestartNogoods=35  mapSize=438  nbInferences=0  nbTooLargeKeys=0
11.40	       =>  wckTime=1.069  cpuTime=0.99  mem=143M380
11.89	   
11.89	   search
11.89	     run=8  nbConstraintChecks=483156  nbValidityChecks=980124  nbPropagations=26667  nbRevisions=426274
11.89	     nbUselessRevisions=366438  nbAssignments=1706  nbFailedAssignments=884  nbBacktracks=748  nbVisitedNodes=3107
11.89	     nbRestartNogoods=42  mapSize=678  nbInferences=0  nbTooLargeKeys=0
11.89	       =>  wckTime=1.558  cpuTime=1.47  mem=143M380
12.52	   
12.52	   search
12.52	     run=9  nbConstraintChecks=687961  nbValidityChecks=1400524  nbPropagations=40676  nbRevisions=649781
12.52	     nbUselessRevisions=557886  nbAssignments=2448  nbFailedAssignments=1233  nbBacktracks=1133  nbVisitedNodes=4416
12.52	     nbRestartNogoods=52  mapSize=995  nbInferences=0  nbTooLargeKeys=0
12.52	       =>  wckTime=2.185  cpuTime=2.09  mem=143M380
12.55	   
12.55	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=143M380)
13.51	   
13.51	   search
13.51	     run=10  nbConstraintChecks=1035539  nbValidityChecks=2072327  nbPropagations=60920  nbRevisions=976447
13.51	     nbUselessRevisions=838504  nbAssignments=3540  nbFailedAssignments=1740  nbBacktracks=1710  nbVisitedNodes=6354
13.51	     nbRestartNogoods=66
13.51	       =>  wckTime=3.179  cpuTime=3.07  mem=143M380
14.99	   
14.99	   search
14.99	     run=11  nbConstraintChecks=1556056  nbValidityChecks=3066220  nbPropagations=90380  nbRevisions=1454679
14.99	     nbUselessRevisions=1249625  nbAssignments=5180  nbFailedAssignments=2508  nbBacktracks=2574  nbVisitedNodes=9262
14.99	     nbRestartNogoods=75
14.99	       =>  wckTime=4.658  cpuTime=4.54  mem=143M380
17.21	   
17.21	   search
17.21	     run=12  nbConstraintChecks=2322878  nbValidityChecks=4587675  nbPropagations=134793  nbRevisions=2172311
17.21	     nbUselessRevisions=1865926  nbAssignments=7744  nbFailedAssignments=3766  nbBacktracks=3872  nbVisitedNodes=13876
17.21	     nbRestartNogoods=82
17.21	       =>  wckTime=6.87  cpuTime=6.73  mem=143M380
20.57	   
20.57	   search
20.57	     run=13  nbConstraintChecks=3476600  nbValidityChecks=6906464  nbPropagations=202721  nbRevisions=3261673
20.57	     nbUselessRevisions=2799606  nbAssignments=11714  nbFailedAssignments=5781  nbBacktracks=5819  nbVisitedNodes=21124
20.57	     nbRestartNogoods=89
20.57	       =>  wckTime=10.238  cpuTime=10.08  mem=143M380
23.27	   
23.30	   search
23.30	     run=14  nbConstraintChecks=4420083  nbValidityChecks=8762290  nbPropagations=288809  nbRevisions=4642075
23.30	     nbUselessRevisions=3983448  nbAssignments=14930  nbFailedAssignments=7313  nbBacktracks=7483  nbVisitedNodes=26823
23.30	     nbRestartNogoods=100
23.30	       =>  wckTime=12.936  cpuTime=12.77  mem=143M380
23.30	   
23.30	   global
23.30	     nbConstraintChecks=4420083  nbValidityChecks=8762290  nbPropagations=288829  nbRevisions=4642075
23.30	     nbUselessRevisions=3983448  nbRestartNogoods=100  solvingWckTime=12.938  solvingCpuTime=12.77  expiredTime=no
23.30	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=20.15
23.30	       =>  wckTime=22.969  cpuTime=20.1  mem=143M380
23.30	   
23.30	s SATISFIABLE
23.30	v 3 1 1 1 2 3 4 1 2 4 0 0 4 3 3 2 3 4 1 0 
23.30	d NODES 14930
23.30	d CHECKS 4420083
23.30	   
23.30	   totalWckTime=23.046  totalCpuTime=20.15

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/node23/watcher-247504-1168085849 -o ROOT/results/node23/solver-247504-1168085849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247504-1168085849/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.01 0.88 1.23 4/93 23262
/proc/meminfo: memFree=581176/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=18540 CPUtime=0
/proc/23261/stat : 23261 (runsolver) R 23259 23261 22867 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156980801 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23261/statm: 4635 279 244 17 0 2626 0

[startup+0.102918 s]
/proc/loadavg: 1.01 0.88 1.23 4/93 23262
/proc/meminfo: memFree=581176/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=914988 CPUtime=0.08
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 2980 0 1 0 7 1 0 0 25 0 8 0 156980801 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513993 s]
/proc/loadavg: 1.01 0.88 1.23 4/93 23262
/proc/meminfo: memFree=581176/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=915328 CPUtime=0.48
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 10065 0 1 0 43 5 0 0 25 0 8 0 156980801 937295872 9804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228832 9804 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33516 s]
/proc/loadavg: 1.01 0.88 1.23 3/100 23269
/proc/meminfo: memFree=509312/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=915328 CPUtime=1.3
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 21669 0 1 0 120 10 0 0 25 0 8 0 156980801 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228832 21406 2147 14 0 215302 0
[pid=23261/tid=23263] ppid=23259 vsize=915328 CPUtime=0.05
/proc/23261/task/23263/stat : 23263 (java) R 23259 23261 22867 0 -1 64 5257 0 0 0 3 2 0 0 16 0 8 0 156980806 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155528723 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23264] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23264/stat : 23264 (java) S 23259 23261 22867 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156980806 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23265] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23265/stat : 23265 (java) S 23259 23261 22867 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156980806 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23266] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23266/stat : 23266 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156980809 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23267] ppid=23259 vsize=915328 CPUtime=0.07
/proc/23261/task/23267/stat : 23267 (java) S 23259 23261 22867 0 -1 64 303 0 0 0 7 0 0 0 16 0 8 0 156980809 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23268] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23268/stat : 23268 (java) S 23259 23261 22867 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156980809 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23269] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23269/stat : 23269 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980809 937295872 21406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.97649 s]
/proc/loadavg: 1.09 0.89 1.24 3/100 23269
/proc/meminfo: memFree=485568/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=915328 CPUtime=2.94
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 30326 0 1 0 277 17 0 0 25 0 8 0 156980801 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228832 30060 2147 14 0 215302 0
[pid=23261/tid=23263] ppid=23259 vsize=915328 CPUtime=0.25
/proc/23261/task/23263/stat : 23263 (java) S 23259 23261 22867 0 -1 64 13909 0 0 0 18 7 0 0 16 0 8 0 156980806 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23264] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23264/stat : 23264 (java) S 23259 23261 22867 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156980806 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23265] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23265/stat : 23265 (java) S 23259 23261 22867 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156980806 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23266] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23266/stat : 23266 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156980809 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23267] ppid=23259 vsize=915328 CPUtime=0.07
/proc/23261/task/23267/stat : 23267 (java) S 23259 23261 22867 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 156980809 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23268] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23268/stat : 23268 (java) S 23259 23261 22867 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156980809 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23269] ppid=23259 vsize=915328 CPUtime=0
/proc/23261/task/23269/stat : 23269 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980809 937295872 30060 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915328

[startup+6.17709 s]
/proc/loadavg: 1.09 0.89 1.24 3/100 23269
/proc/meminfo: memFree=433864/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=915400 CPUtime=6.12
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 40805 0 1 0 589 23 0 0 25 0 8 0 156980801 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643290 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228850 38958 2160 14 0 215320 0
[pid=23261/tid=23263] ppid=23259 vsize=915400 CPUtime=0.99
/proc/23261/task/23263/stat : 23263 (java) S 23259 23261 22867 0 -1 64 24349 0 0 0 88 11 0 0 16 0 8 0 156980806 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23264] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23264/stat : 23264 (java) S 23259 23261 22867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980806 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23265] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23265/stat : 23265 (java) S 23259 23261 22867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980806 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23266] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23266/stat : 23266 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156980809 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23267] ppid=23259 vsize=915400 CPUtime=0.1
/proc/23261/task/23267/stat : 23267 (java) S 23259 23261 22867 0 -1 64 316 0 0 0 9 1 0 0 16 0 8 0 156980809 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23268] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23268/stat : 23268 (java) S 23259 23261 22867 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156980809 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23269] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23269/stat : 23269 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980809 937369600 38958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915400

[startup+12.6573 s]
/proc/loadavg: 1.23 0.93 1.24 3/100 23269
/proc/meminfo: memFree=339912/2055920 swapFree=4192812/4192956
[pid=23261] ppid=23259 vsize=915400 CPUtime=12.56
/proc/23261/stat : 23261 (java) R 23259 23261 22867 0 -1 0 64546 0 1 0 1222 34 0 0 25 0 8 0 156980801 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23261/statm: 228850 62690 2522 14 0 215320 0
[pid=23261/tid=23263] ppid=23259 vsize=915400 CPUtime=2.53
/proc/23261/task/23263/stat : 23263 (java) S 23259 23261 22867 0 -1 64 47584 0 0 0 233 20 0 0 17 0 8 0 156980806 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23264] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23264/stat : 23264 (java) S 23259 23261 22867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156980806 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23265] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23265/stat : 23265 (java) S 23259 23261 22867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156980806 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23266] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23266/stat : 23266 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156980809 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23267] ppid=23259 vsize=915400 CPUtime=0.22
/proc/23261/task/23267/stat : 23267 (java) S 23259 23261 22867 0 -1 64 385 0 0 0 20 2 0 0 15 0 8 0 156980809 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23268] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23268/stat : 23268 (java) S 23259 23261 22867 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 156980809 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23261/tid=23269] ppid=23259 vsize=915400 CPUtime=0
/proc/23261/task/23269/stat : 23269 (java) S 23259 23261 22867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156980809 937369600 62690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 23.3329
CPU time (s): 23.1755
CPU user time (s): 22.7905
CPU system time (s): 0.384941
CPU usage (%): 99.3252
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7905
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64560
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= 1731
involuntary context switches= 2179

runsolver used 0.037994 s user time and 0.076988 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan  6 12:17:41 UTC 2007


IDJOB= 247504
IDBENCH= 11140
FILE ID= node23/247504-1168085849

PBS_JOBID= 3476320

Free space on /tmp= 66462 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247504-1168085849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-247504-1168085849 -o ROOT/results/node23/solver-247504-1168085849 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247504-1168085849/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7a553eab6261f0c29850b8b2d8228c4

RANDOM SEED= 75575

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.265
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.265
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:        581784 kB
Buffers:         45920 kB
Cached:         502908 kB
SwapCached:          0 kB
Active:        1011292 kB
Inactive:       383960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        581784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23720 kB
Writeback:           0 kB
Mapped:         875412 kB
Slab:            62104 kB
Committed_AS:  3831504 kB
PageTables:       3864 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= 66462 MiB



End job on node23 on Sat Jan  6 12:18:20 UTC 2007