Trace number 210196

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACUNSAT 166.516 168.068

DiagnosticValue
CHECKS24863858
NODES217794

General information on the benchmark

NamepseudoSeries/
ssa/ssa-2670-130.xml
MD5SUM57800f3be1a3b9f1d83790577cb388cf
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.79973
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2718
Number of constraints4676
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4676
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/210196-1168195971/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.55	     nbVariables=2718  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.55	       =>  wckTime=0.247  cpuTime=0.16  mem=11M795
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.27	     nbConstraints=4676  nbSingletonDomainVariables=114  nbConvertedConstraints=3813  nbConvertConstraintsChecks=1001
1.27	     nbExtensionStructures=9  nbSharedExtensionStructures=3804  nbConflictsStructures=105
1.27	     nbSharedConflictsStructures=4571  nbSharedBinaryRepresentations=21  nbEvaluationManagers=96
1.27	     nbSharedEvaluationManagers=767  maxDegree=32  maxArity=5
1.27	       =>  wckTime=0.971  cpuTime=0.79  mem=40M75
1.37	   
1.37	   solver IterativeSystematicSolver being built... 
1.67	       =>  wckTime=1.368  cpuTime=1.02  mem=35M578
5.38	   
5.38	   preprocessing
5.38	     nbConstraintChecks=36115  nbValidityChecks=3430  nbPropagations=14158  nbRevisions=27959  nbUselessRevisions=20099
5.38	     nbSingletonTests=3713  nbEffectiveSingletonTests=0  nbESACBranches=11  nbRemovedValues=0  detectedInconsistency=no
5.38	       =>  wckTime=3.706  cpuTime=3.64  mem=35M578
6.32	   
6.32	   search
6.32	     run=0  nbConstraintChecks=10438  nbValidityChecks=1286  nbPropagations=16891  nbRevisions=35550
6.32	     nbUselessRevisions=24978  nbAssignments=439  nbFailedAssignments=3  nbBacktracks=24  nbVisitedNodes=445
6.32	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
6.32	       =>  wckTime=4.642  cpuTime=4.53  mem=36M552
7.35	   
7.35	   search
7.35	     run=1  nbConstraintChecks=33559  nbValidityChecks=4072  nbPropagations=40234  nbRevisions=87522
7.35	     nbUselessRevisions=60054  nbAssignments=1144  nbFailedAssignments=5  nbBacktracks=54  nbVisitedNodes=925
7.35	     nbRestartNogoods=3  mapSize=4  nbInferences=0  nbTooLargeKeys=0
7.35	       =>  wckTime=5.67  cpuTime=5.55  mem=36M552
8.34	   
8.34	   search
8.34	     run=2  nbConstraintChecks=41352  nbValidityChecks=5215  nbPropagations=65812  nbRevisions=145303
8.34	     nbUselessRevisions=98722  nbAssignments=1628  nbFailedAssignments=8  nbBacktracks=108  nbVisitedNodes=1414
8.34	     nbRestartNogoods=5  mapSize=7  nbInferences=0  nbTooLargeKeys=0
8.34	       =>  wckTime=6.666  cpuTime=6.52  mem=37M526
9.44	   
9.44	   search
9.44	     run=3  nbConstraintChecks=63531  nbValidityChecks=8379  nbPropagations=97697  nbRevisions=219681
9.44	     nbUselessRevisions=147826  nbAssignments=2868  nbFailedAssignments=12  nbBacktracks=177  nbVisitedNodes=1911
9.44	     nbRestartNogoods=7  mapSize=12  nbInferences=0  nbTooLargeKeys=0
9.44	       =>  wckTime=7.759  cpuTime=7.59  mem=37M526
10.43	   
10.43	   search
10.43	     run=4  nbConstraintChecks=90984  nbValidityChecks=11983  nbPropagations=137331  nbRevisions=314154
10.43	     nbUselessRevisions=209441  nbAssignments=3735  nbFailedAssignments=14  nbBacktracks=231  nbVisitedNodes=2391
10.43	     nbRestartNogoods=10  mapSize=16  nbInferences=1  nbTooLargeKeys=0
10.43	       =>  wckTime=8.751  cpuTime=8.57  mem=37M526
11.47	   
11.47	   search
11.47	     run=5  nbConstraintChecks=106834  nbValidityChecks=14610  nbPropagations=181497  nbRevisions=420667
11.47	     nbUselessRevisions=278512  nbAssignments=4276  nbFailedAssignments=30  nbBacktracks=313  nbVisitedNodes=2958
11.47	     nbRestartNogoods=12  mapSize=37  nbInferences=1  nbTooLargeKeys=0
11.47	       =>  wckTime=9.797  cpuTime=9.61  mem=38M500
12.61	   
12.61	   search
12.61	     run=6  nbConstraintChecks=146466  nbValidityChecks=20530  nbPropagations=236950  nbRevisions=557373
12.61	     nbUselessRevisions=366652  nbAssignments=5394  nbFailedAssignments=37  nbBacktracks=452  nbVisitedNodes=3489
12.61	     nbRestartNogoods=16  mapSize=51  nbInferences=1  nbTooLargeKeys=0
12.61	       =>  wckTime=10.938  cpuTime=10.74  mem=38M500
13.78	   
13.78	   search
13.78	     run=7  nbConstraintChecks=164632  nbValidityChecks=23363  nbPropagations=297563  nbRevisions=707723
13.78	     nbUselessRevisions=463217  nbAssignments=5986  nbFailedAssignments=50  nbBacktracks=815  nbVisitedNodes=4102
13.78	     nbRestartNogoods=17  mapSize=71  nbInferences=1  nbTooLargeKeys=0
13.78	       =>  wckTime=12.105  cpuTime=11.9  mem=38M500
15.08	   
15.08	   search
15.08	     run=8  nbConstraintChecks=185552  nbValidityChecks=26558  nbPropagations=364061  nbRevisions=873562
15.08	     nbUselessRevisions=569318  nbAssignments=6673  nbFailedAssignments=64  nbBacktracks=1072  nbVisitedNodes=4815
15.08	     nbRestartNogoods=18  mapSize=93  nbInferences=1  nbTooLargeKeys=0
15.08	       =>  wckTime=13.399  cpuTime=13.18  mem=39M474
16.78	   
16.78	   search
16.78	     run=9  nbConstraintChecks=226934  nbValidityChecks=33219  nbPropagations=442207  nbRevisions=1070633
16.78	     nbUselessRevisions=695017  nbAssignments=7863  nbFailedAssignments=88  nbBacktracks=1488  nbVisitedNodes=5687
16.78	     nbRestartNogoods=22  mapSize=135  nbInferences=1  nbTooLargeKeys=0
16.78	       =>  wckTime=15.101  cpuTime=14.86  mem=39M474
18.89	   
18.89	   search
18.89	     run=10  nbConstraintChecks=293683  nbValidityChecks=43857  nbPropagations=539104  nbRevisions=1317957
18.89	     nbUselessRevisions=852140  nbAssignments=9250  nbFailedAssignments=135  nbBacktracks=2082  nbVisitedNodes=6791
18.89	     nbRestartNogoods=25  mapSize=218  nbInferences=2  nbTooLargeKeys=0
18.89	       =>  wckTime=17.214  cpuTime=16.95  mem=39M474
21.55	   
21.55	   search
21.55	     run=11  nbConstraintChecks=410744  nbValidityChecks=63466  nbPropagations=669141  nbRevisions=1654862
21.55	     nbUselessRevisions=1065205  nbAssignments=10543  nbFailedAssignments=210  nbBacktracks=2951  nbVisitedNodes=8222
21.55	     nbRestartNogoods=28  mapSize=355  nbInferences=3  nbTooLargeKeys=0
21.55	       =>  wckTime=19.872  cpuTime=19.57  mem=40M449
25.04	   
25.04	   search
25.04	     run=12  nbConstraintChecks=485649  nbValidityChecks=80114  nbPropagations=819813  nbRevisions=2051522
25.04	     nbUselessRevisions=1316868  nbAssignments=12238  nbFailedAssignments=288  nbBacktracks=4253  nbVisitedNodes=10084
25.04	     nbRestartNogoods=29  mapSize=518  nbInferences=3  nbTooLargeKeys=0
25.04	       =>  wckTime=23.366  cpuTime=23.04  mem=41M423
30.01	   
30.01	   search
30.01	     run=13  nbConstraintChecks=585453  nbValidityChecks=95694  nbPropagations=997949  nbRevisions=2522648
30.01	     nbUselessRevisions=1615063  nbAssignments=14685  nbFailedAssignments=370  nbBacktracks=6204  nbVisitedNodes=12635
30.01	     nbRestartNogoods=33  mapSize=686  nbInferences=4  nbTooLargeKeys=0
30.01	       =>  wckTime=28.333  cpuTime=27.96  mem=42M397
36.15	   
36.15	   search
36.15	     run=14  nbConstraintChecks=766607  nbValidityChecks=123213  nbPropagations=1225550  nbRevisions=3127444
36.15	     nbUselessRevisions=1996161  nbAssignments=17964  nbFailedAssignments=502  nbBacktracks=9129  nbVisitedNodes=16209
36.15	     nbRestartNogoods=36  mapSize=977  nbInferences=5  nbTooLargeKeys=0
36.15	       =>  wckTime=34.477  cpuTime=34.05  mem=45M319
36.67	   
36.67	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=45M319)
39.30	   
39.30	   search
39.30	     run=15  nbConstraintChecks=1045258  nbValidityChecks=169138  nbPropagations=1530119  nbRevisions=3942766
39.30	     nbUselessRevisions=2508373  nbAssignments=22887  nbFailedAssignments=691  nbBacktracks=13519  nbVisitedNodes=21527
39.30	     nbRestartNogoods=40
39.30	       =>  wckTime=37.624  cpuTime=37.16  mem=45M319
43.59	   
43.59	   search
43.59	     run=16  nbConstraintChecks=1531624  nbValidityChecks=255525  nbPropagations=1968770  nbRevisions=5136263
43.59	     nbUselessRevisions=3261743  nbAssignments=30110  nbFailedAssignments=1082  nbBacktracks=20097  nbVisitedNodes=29402
43.59	     nbRestartNogoods=50
43.59	       =>  wckTime=41.914  cpuTime=41.42  mem=45M319
50.22	   
50.22	   search
50.23	     run=17  nbConstraintChecks=2438261  nbValidityChecks=389595  nbPropagations=2650969  nbRevisions=7003658
50.23	     nbUselessRevisions=4438596  nbAssignments=40738  nbFailedAssignments=1734  nbBacktracks=29957  nbVisitedNodes=41230
50.23	     nbRestartNogoods=57
50.23	       =>  wckTime=48.55  cpuTime=48.0  mem=45M319
60.95	   
60.95	   search
60.95	     run=18  nbConstraintChecks=4307454  nbValidityChecks=655482  nbPropagations=3837371  nbRevisions=10250376
60.95	     nbUselessRevisions=6477085  nbAssignments=57027  nbFailedAssignments=3087  nbBacktracks=44740  nbVisitedNodes=59985
60.95	     nbRestartNogoods=65
60.95	       =>  wckTime=59.273  cpuTime=58.61  mem=45M319
77.03	   
77.03	   search
77.03	     run=19  nbConstraintChecks=7265026  nbValidityChecks=1074397  nbPropagations=5824997  nbRevisions=15687808
77.03	     nbUselessRevisions=9885193  nbAssignments=81329  nbFailedAssignments=5051  nbBacktracks=66928  nbVisitedNodes=88131
77.03	     nbRestartNogoods=74
77.03	       =>  wckTime=75.354  cpuTime=74.55  mem=45M319
100.91	   
100.91	   search
100.91	     run=20  nbConstraintChecks=11460073  nbValidityChecks=1614015  nbPropagations=8935193  nbRevisions=24169159
100.91	     nbUselessRevisions=15182155  nbAssignments=117595  nbFailedAssignments=7985  nbBacktracks=100213
100.91	     nbVisitedNodes=130177  nbRestartNogoods=81
100.91	       =>  wckTime=99.235  cpuTime=98.2  mem=45M319
137.52	   
137.52	   search
137.52	     run=21  nbConstraintChecks=18603914  nbValidityChecks=2605476  nbPropagations=13974020  nbRevisions=37927080
137.52	     nbUselessRevisions=23777952  nbAssignments=172385  nbFailedAssignments=12817  nbBacktracks=150094
137.52	     nbVisitedNodes=194081  nbRestartNogoods=84
137.52	       =>  wckTime=135.846  cpuTime=134.51  mem=45M319
168.04	   
168.04	   search
168.04	     run=22  nbConstraintChecks=24827743  nbValidityChecks=3441236  nbPropagations=20685655  nbRevisions=56241881
168.04	     nbUselessRevisions=35209157  nbAssignments=217794  nbFailedAssignments=16687  nbBacktracks=191579
168.04	     nbVisitedNodes=247108  nbRestartNogoods=91
168.04	       =>  wckTime=166.365  cpuTime=164.75  mem=45M319
168.04	   
168.04	   global
168.04	     nbConstraintChecks=24863858  nbValidityChecks=3444666  nbPropagations=20699813  nbRevisions=56269840
168.04	     nbUselessRevisions=35229256  nbRestartNogoods=91  solvingWckTime=166.366  solvingCpuTime=164.75  expiredTime=no
168.04	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=165.82
168.04	       =>  wckTime=167.741  cpuTime=165.77  mem=45M319
168.04	   
168.05	s UNSATISFIABLE
168.05	d NODES 217794
168.05	d CHECKS 24863858
168.05	   
168.05	   totalWckTime=167.819  totalCpuTime=165.82

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node62/watcher-210196-1168195971 -o ROOT/results/node62/solver-210196-1168195971 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210196-1168195971/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.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=18540 CPUtime=0
/proc/7526/stat : 7526 (runsolver) R 7524 7526 6877 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 167995372 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7526/statm: 4635 279 244 17 0 2626 0

[startup+0.107217 s]
/proc/loadavg: 0.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=914988 CPUtime=0.08
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 3021 0 1 0 7 1 0 0 24 0 8 0 167995372 936947712 2767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155517169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.518308 s]
/proc/loadavg: 0.69 0.74 1.35 4/81 7527
/proc/meminfo: memFree=1403880/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915328 CPUtime=0.49
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 6707 0 1 0 45 4 0 0 25 0 8 0 167995372 937295872 6446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228832 6446 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33946 s]
/proc/loadavg: 0.69 0.74 1.35 3/88 7534
/proc/meminfo: memFree=1358128/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915824 CPUtime=1.31
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 14509 0 1 0 105 26 0 0 25 0 8 0 167995372 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228956 14246 2182 14 0 215426 0
[pid=7526/tid=7528] ppid=7524 vsize=915824 CPUtime=0.06
/proc/7526/task/7528/stat : 7528 (java) R 7524 7526 6877 0 -1 64 38 0 0 0 6 0 0 0 16 0 8 0 167995376 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035714 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 167995377 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 167995377 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915824 CPUtime=0.2
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 435 0 0 0 19 1 0 0 15 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915824 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937803776 14246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915824

[startup+2.97678 s]
/proc/loadavg: 0.79 0.76 1.35 3/88 7534
/proc/meminfo: memFree=1347568/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=2.93
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16483 0 1 0 265 28 0 0 25 0 8 0 167995372 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074107368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16219 2544 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 17 0 8 0 167995376 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.31
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 494 0 0 0 29 2 0 0 15 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16219 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915728

[startup+6.27544 s]
/proc/loadavg: 0.79 0.76 1.35 3/88 7534
/proc/meminfo: memFree=1346224/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=6.18
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16504 0 1 0 590 28 0 0 25 0 8 0 167995372 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16238 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.34
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 512 0 0 0 32 2 0 0 15 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915728

[startup+12.7527 s]
/proc/loadavg: 1.06 0.82 1.37 3/88 7534
/proc/meminfo: memFree=1341944/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=12.59
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16520 0 1 0 1231 28 0 0 25 0 8 0 167995372 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090202 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16250 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.36
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 525 0 0 0 34 2 0 0 15 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915728

[startup+25.6163 s]
/proc/loadavg: 1.20 0.86 1.37 3/88 7534
/proc/meminfo: memFree=1336184/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=25.35
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16531 0 1 0 2506 29 0 0 25 0 8 0 167995372 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074196685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16258 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 533 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915728

[startup+51.2373 s]
/proc/loadavg: 1.47 0.95 1.39 3/88 7534
/proc/meminfo: memFree=1325048/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=50.72
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16535 0 1 0 5043 29 0 0 25 0 8 0 167995372 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16259 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 534 0 0 0 36 2 0 0 17 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915728

[startup+102.467 s]
/proc/loadavg: 1.77 1.11 1.42 3/88 7534
/proc/meminfo: memFree=1296696/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=101.49
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16536 0 1 0 10120 29 0 0 25 0 8 0 167995372 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16260 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 535 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915728

[startup+162.537 s]
/proc/loadavg: 1.91 1.27 1.45 3/88 7534
/proc/meminfo: memFree=1272312/2055920 swapFree=4192812/4192956
[pid=7526] ppid=7524 vsize=915728 CPUtime=161.03
/proc/7526/stat : 7526 (java) R 7524 7526 6877 0 -1 0 16536 0 1 0 16073 30 0 0 25 0 8 0 167995372 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7526/statm: 228932 16260 2545 14 0 215402 0
[pid=7526/tid=7528] ppid=7524 vsize=915728 CPUtime=0.07
/proc/7526/task/7528/stat : 7528 (java) S 7524 7526 6877 0 -1 64 1519 0 0 0 7 0 0 0 16 0 8 0 167995376 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7529] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7529/stat : 7529 (java) S 7524 7526 6877 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7530] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7530/stat : 7530 (java) S 7524 7526 6877 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167995377 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7531] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7531/stat : 7531 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7532] ppid=7524 vsize=915728 CPUtime=0.38
/proc/7526/task/7532/stat : 7532 (java) S 7524 7526 6877 0 -1 64 535 0 0 0 36 2 0 0 16 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7533] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7533/stat : 7533 (java) S 7524 7526 6877 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7526/tid=7534] ppid=7524 vsize=915728 CPUtime=0
/proc/7526/task/7534/stat : 7534 (java) S 7524 7526 6877 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 167995380 937705472 16260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 915728

Child status: 0
Real time (s): 168.068
CPU time (s): 166.516
CPU user time (s): 166.203
CPU system time (s): 0.312952
CPU usage (%): 99.0764
Max. virtual memory (cumulated for all children) (KiB): 915824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.203
system time used= 0.312952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16543
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= 5175
involuntary context switches= 9147

runsolver used 0.206968 s user time and 0.487925 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sun Jan  7 18:52:54 UTC 2007


IDJOB= 210196
IDBENCH= 4601
FILE ID= node62/210196-1168195971

PBS_JOBID= 3480685

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  57800f3be1a3b9f1d83790577cb388cf

RANDOM SEED= 36446059

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1405640 kB
Buffers:         47676 kB
Cached:         460556 kB
SwapCached:          0 kB
Active:         282324 kB
Inactive:       311688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2364 kB
Writeback:           0 kB
Mapped:         103808 kB
Slab:            41344 kB
Committed_AS:  3488416 kB
PageTables:       2064 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= 66547 MiB



End job on node62 on Sun Jan  7 18:55:44 UTC 2007