Trace number 196325

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 1680.87 1687.65

DiagnosticValue
CHECKS1246709720
NODES1046384

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-42_ext.xml
MD5SUM9b534ebbbf8ce10b1dee18db24a78748
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.028
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables24
Number of constraints72
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension72
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.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/196325-1168122084/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.46	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.46	       =>  wckTime=0.122  cpuTime=0.08  mem=6M951
0.46	   
0.46	   relations being loaded...
0.97	   
0.97	   constraints being loaded...
1.27	     nbConstraints=72  nbRelationTypes=72  nbExtensionStructures=72  nbSharedExtensionStructures=0
1.27	     nbConflictsStructures=72  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.27	       =>  wckTime=0.939  cpuTime=0.8  mem=43M989
1.39	   
1.39	   solver IterativeSystematicSolver being built... 
1.55	       =>  wckTime=1.22  cpuTime=0.92  mem=34M81
1.64	   
1.64	   preprocessing
1.64	     nbConstraintChecks=28316  nbValidityChecks=42389  nbPropagations=154  nbRevisions=1362  nbUselessRevisions=1204
1.64	     nbSingletonTests=31  nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.64	       =>  wckTime=0.084  cpuTime=0.07  mem=34M81
1.70	   
1.70	   search
1.70	     run=0  nbConstraintChecks=20990  nbValidityChecks=37794  nbPropagations=343  nbRevisions=3529
1.70	     nbUselessRevisions=2952  nbAssignments=20  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=30
1.70	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.70	       =>  wckTime=0.139  cpuTime=0.11  mem=34M81
1.76	   
1.76	   search
1.76	     run=1  nbConstraintChecks=60158  nbValidityChecks=124340  nbPropagations=1200  nbRevisions=13025
1.76	     nbUselessRevisions=10657  nbAssignments=61  nbFailedAssignments=27  nbBacktracks=25  nbVisitedNodes=103
1.76	     nbRestartNogoods=3  mapSize=19  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.207  cpuTime=0.18  mem=34M81
2.01	   
2.01	   search
2.01	     run=2  nbConstraintChecks=228220  nbValidityChecks=470487  nbPropagations=3500  nbRevisions=40343
2.01	     nbUselessRevisions=32520  nbAssignments=201  nbFailedAssignments=113  nbBacktracks=47  nbVisitedNodes=320
2.01	     nbRestartNogoods=9  mapSize=41  nbInferences=0  nbTooLargeKeys=0
2.01	       =>  wckTime=0.457  cpuTime=0.41  mem=34M81
2.17	   
2.17	   search
2.17	     run=3  nbConstraintChecks=332052  nbValidityChecks=698789  nbPropagations=6872  nbRevisions=80047
2.17	     nbUselessRevisions=64650  nbAssignments=332  nbFailedAssignments=142  nbBacktracks=80  nbVisitedNodes=434
2.17	     nbRestartNogoods=21  mapSize=64  nbInferences=0  nbTooLargeKeys=0
2.17	       =>  wckTime=0.608  cpuTime=0.56  mem=34M81
2.29	   
2.29	   search
2.29	     run=4  nbConstraintChecks=415108  nbValidityChecks=880213  nbPropagations=11363  nbRevisions=132688
2.29	     nbUselessRevisions=107206  nbAssignments=431  nbFailedAssignments=180  nbBacktracks=130  nbVisitedNodes=588
2.29	     nbRestartNogoods=25  mapSize=100  nbInferences=0  nbTooLargeKeys=0
2.29	       =>  wckTime=0.735  cpuTime=0.69  mem=34M81
2.71	   
2.71	   search
2.71	     run=5  nbConstraintChecks=723852  nbValidityChecks=1501846  nbPropagations=18432  nbRevisions=219971
2.71	     nbUselessRevisions=177804  nbAssignments=686  nbFailedAssignments=355  nbBacktracks=205  nbVisitedNodes=1071
2.71	     nbRestartNogoods=26  mapSize=166  nbInferences=0  nbTooLargeKeys=0
2.71	       =>  wckTime=1.157  cpuTime=1.1  mem=34M81
3.15	   
3.15	   search
3.15	     run=6  nbConstraintChecks=1041623  nbValidityChecks=2148877  nbPropagations=28746  nbRevisions=349471
3.15	     nbUselessRevisions=282378  nbAssignments=1003  nbFailedAssignments=553  nbBacktracks=319  nbVisitedNodes=1659
3.15	     nbRestartNogoods=32  mapSize=266  nbInferences=0  nbTooLargeKeys=0
3.15	       =>  wckTime=1.592  cpuTime=1.53  mem=34M81
3.77	   
3.77	   search
3.77	     run=7  nbConstraintChecks=1494591  nbValidityChecks=3035678  nbPropagations=43703  nbRevisions=533136
3.77	     nbUselessRevisions=429639  nbAssignments=1385  nbFailedAssignments=760  nbBacktracks=490  nbVisitedNodes=2346
3.77	     nbRestartNogoods=37  mapSize=399  nbInferences=0  nbTooLargeKeys=0
3.77	       =>  wckTime=2.216  cpuTime=2.15  mem=34M81
4.50	   
4.50	   search
4.50	     run=8  nbConstraintChecks=2009587  nbValidityChecks=4039704  nbPropagations=64123  nbRevisions=778804
4.50	     nbUselessRevisions=625219  nbAssignments=1845  nbFailedAssignments=957  nbBacktracks=748  nbVisitedNodes=3132
4.50	     nbRestartNogoods=42  mapSize=579  nbInferences=0  nbTooLargeKeys=0
4.50	       =>  wckTime=2.942  cpuTime=2.86  mem=34M81
5.70	   
5.70	   search
5.70	     run=9  nbConstraintChecks=2899476  nbValidityChecks=5773082  nbPropagations=94159  nbRevisions=1133112
5.70	     nbUselessRevisions=905169  nbAssignments=2643  nbFailedAssignments=1357  nbBacktracks=1134  nbVisitedNodes=4523
5.70	     nbRestartNogoods=53  mapSize=880  nbInferences=0  nbTooLargeKeys=0
5.70	       =>  wckTime=4.145  cpuTime=4.05  mem=34M81
6.17	   
6.17	   INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=34M81)
7.41	   
7.41	   search
7.41	     run=10  nbConstraintChecks=4163184  nbValidityChecks=8244752  nbPropagations=138444  nbRevisions=1648941
7.41	     nbUselessRevisions=1310877  nbAssignments=3786  nbFailedAssignments=1911  nbBacktracks=1712  nbVisitedNodes=6516
7.41	     nbRestartNogoods=62
7.41	       =>  wckTime=5.856  cpuTime=5.74  mem=34M81
10.06	   
10.06	   search
10.06	     run=11  nbConstraintChecks=6156261  nbValidityChecks=12222403  nbPropagations=205631  nbRevisions=2428721
10.06	     nbUselessRevisions=1924543  nbAssignments=5638  nbFailedAssignments=2887  nbBacktracks=2577  nbVisitedNodes=9844
10.06	     nbRestartNogoods=73
10.06	       =>  wckTime=8.498  cpuTime=8.37  mem=34M81
13.33	   
13.33	   search
13.33	     run=12  nbConstraintChecks=8471112  nbValidityChecks=16924047  nbPropagations=301586  nbRevisions=3535769
13.33	     nbUselessRevisions=2794994  nbAssignments=7990  nbFailedAssignments=3938  nbBacktracks=3874  nbVisitedNodes=13923
13.33	     nbRestartNogoods=83
13.33	       =>  wckTime=11.774  cpuTime=11.57  mem=34M81
20.04	   
20.04	   search
20.04	     run=13  nbConstraintChecks=13299717  nbValidityChecks=26458965  nbPropagations=448336  nbRevisions=5220575
20.04	     nbUselessRevisions=4116457  nbAssignments=12233  nbFailedAssignments=6226  nbBacktracks=5821  nbVisitedNodes=21569
20.04	     nbRestartNogoods=111
20.04	       =>  wckTime=18.478  cpuTime=18.25  mem=34M81
30.64	   
30.64	   search
30.64	     run=14  nbConstraintChecks=20904146  nbValidityChecks=41421792  nbPropagations=677120  nbRevisions=7849562
30.64	     nbUselessRevisions=6178473  nbAssignments=18852  nbFailedAssignments=9916  nbBacktracks=8741  nbVisitedNodes=33602
30.64	     nbRestartNogoods=133
30.64	       =>  wckTime=29.085  cpuTime=28.8  mem=34M81
44.22	   
44.22	   search
44.22	     run=15  nbConstraintChecks=30494764  nbValidityChecks=60560061  nbPropagations=1013772  nbRevisions=11704540
44.22	     nbUselessRevisions=9202800  nbAssignments=27572  nbFailedAssignments=14251  nbBacktracks=13120
44.22	     nbVisitedNodes=49115  nbRestartNogoods=146
44.22	       =>  wckTime=42.661  cpuTime=42.3  mem=34M81
68.21	   
68.21	   search
68.21	     run=16  nbConstraintChecks=47727280  nbValidityChecks=94531430  nbPropagations=1536562  nbRevisions=17704830
68.21	     nbUselessRevisions=13908731  nbAssignments=42222  nbFailedAssignments=22323  nbBacktracks=19688
68.21	     nbVisitedNodes=75801  nbRestartNogoods=173
68.21	       =>  wckTime=66.65  cpuTime=66.18  mem=34M81
103.60	   
103.60	   search
103.60	     run=17  nbConstraintChecks=73122220  nbValidityChecks=144487859  nbPropagations=2329985  nbRevisions=26806413
103.60	     nbUselessRevisions=21046422  nbAssignments=63785  nbFailedAssignments=34019  nbBacktracks=29541
103.60	     nbVisitedNodes=114889  nbRestartNogoods=194
103.60	       =>  wckTime=102.039  cpuTime=101.4  mem=34M81
152.34	   
152.34	   search
152.34	     run=18  nbConstraintChecks=107545280  nbValidityChecks=212618792  nbPropagations=3504656  nbRevisions=40239043
152.34	     nbUselessRevisions=31569934  nbAssignments=94400  nbFailedAssignments=49851  nbBacktracks=44319
152.34	     nbVisitedNodes=169822  nbRestartNogoods=216
152.34	       =>  wckTime=150.787  cpuTime=149.93  mem=34M81
232.81	   
232.81	   search
232.81	     run=19  nbConstraintChecks=164679308  nbValidityChecks=326065017  nbPropagations=5288193  nbRevisions=60716289
232.81	     nbUselessRevisions=47632976  nbAssignments=142425  nbFailedAssignments=75704  nbBacktracks=66488
232.81	     nbVisitedNodes=256864  nbRestartNogoods=242
232.81	       =>  wckTime=231.255  cpuTime=230.01  mem=34M81
352.51	   
352.51	   search
352.51	     run=20  nbConstraintChecks=249971542  nbValidityChecks=495418243  nbPropagations=7989993  nbRevisions=91781432
352.51	     nbUselessRevisions=72007850  nbAssignments=215321  nbFailedAssignments=115343  nbBacktracks=99740
352.51	     nbVisitedNodes=389355  nbRestartNogoods=257
352.51	       =>  wckTime=350.95  cpuTime=349.07  mem=34M81
534.94	   
534.94	   search
534.94	     run=21  nbConstraintChecks=380257276  nbValidityChecks=755046473  nbPropagations=12078280  nbRevisions=138865666
534.94	     nbUselessRevisions=108980039  nbAssignments=326115  nbFailedAssignments=176244  nbBacktracks=149618
534.94	     nbVisitedNodes=591010  nbRestartNogoods=292
534.94	       =>  wckTime=533.384  cpuTime=530.55  mem=34M81
795.54	   
795.54	   search
795.54	     run=22  nbConstraintChecks=565824200  nbValidityChecks=1122699148  nbPropagations=18134908  nbRevisions=208557047
795.54	     nbUselessRevisions=163700393  nbAssignments=484342  nbFailedAssignments=259648  nbBacktracks=224436
795.54	     nbVisitedNodes=875770  nbRestartNogoods=317
795.54	       =>  wckTime=793.983  cpuTime=789.85  mem=34M81
1190.31	   
1190.31	   search
1190.31	     run=23  nbConstraintChecks=860410714  nbValidityChecks=1703517980  nbPropagations=27257313  nbRevisions=313698452
1190.31	     nbUselessRevisions=246258308  nbAssignments=728061  nbFailedAssignments=391135  nbBacktracks=336664
1190.31	     nbVisitedNodes=1316904  nbRestartNogoods=349
1190.31	       =>  wckTime=1188.749  cpuTime=1182.48  mem=34M81
1687.61	   
1687.61	   search
1687.61	     run=24  nbConstraintChecks=1246681404  nbValidityChecks=2466334671  nbPropagations=40406332  nbRevisions=465369216
1687.61	     nbUselessRevisions=365367773  nbAssignments=1046384  nbFailedAssignments=560035  nbBacktracks=486088
1687.61	     nbVisitedNodes=1891426  nbRestartNogoods=367
1687.61	       =>  wckTime=1686.049  cpuTime=1679.25  mem=34M81
1687.61	   
1687.61	   global
1687.61	     nbConstraintChecks=1246709720  nbValidityChecks=2466377060  nbPropagations=40406486  nbRevisions=465370578
1687.61	     nbUselessRevisions=365368977  nbRestartNogoods=367  solvingWckTime=1686.05  solvingCpuTime=1679.25  expiredTime=no
1687.61	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1680.22
1687.61	       =>  wckTime=1687.273  cpuTime=1680.17  mem=34M81
1687.61	   
1687.61	s UNSATISFIABLE
1687.61	d NODES 1046384
1687.61	d CHECKS 1246709720
1687.61	   
1687.61	   totalWckTime=1687.364  totalCpuTime=1680.22

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/node20/watcher-196325-1168122084 -o ROOT/results/node20/solver-196325-1168122084 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/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.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=9748 CPUtime=0
/proc/2218/stat : 2218 (java) D 2216 2218 1031 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 160602973 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7619364 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/2218/statm: 2437 412 333 14 0 1140 0

[startup+0.10428 s]
/proc/loadavg: 1.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=914988 CPUtime=0.08
/proc/2218/stat : 2218 (java) D 2216 2218 1031 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 160602973 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512326 s]
/proc/loadavg: 1.92 1.98 2.07 4/98 2219
/proc/meminfo: memFree=1568112/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915328 CPUtime=0.45
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 6730 0 10 0 38 7 0 0 18 0 8 0 160602973 937295872 6478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228832 6478 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33343 s]
/proc/loadavg: 1.92 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1498104/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1.27
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 19140 0 10 0 113 14 0 0 24 0 8 0 160602973 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 18886 2169 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.09
/proc/2218/task/2220/stat : 2220 (java) R 2216 2218 1031 0 -1 64 2661 0 0 0 8 1 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.11
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 320 0 0 0 10 1 0 0 16 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 18886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915420

[startup+2.97162 s]
/proc/loadavg: 1.92 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483128/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=2.9
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23190 0 10 0 274 16 0 0 25 0 8 0 160602973 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22935 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.2
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915420

[startup+6.18001 s]
/proc/loadavg: 1.93 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483000/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=6.09
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23206 0 10 0 592 17 0 0 25 0 8 0 160602973 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22948 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.23
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915420

[startup+12.6568 s]
/proc/loadavg: 1.93 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1483072/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=12.54
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23211 0 10 0 1237 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 17 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915420

[startup+25.5343 s]
/proc/loadavg: 1.95 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=25.3
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 2513 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915420

[startup+51.1714 s]
/proc/loadavg: 1.96 1.98 2.07 3/105 2226
/proc/meminfo: memFree=1455616/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=50.81
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 5064 17 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915420

[startup+102.44 s]
/proc/loadavg: 1.98 1.98 2.06 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=101.84
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 10166 18 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915420

[startup+162.452 s]
/proc/loadavg: 1.99 1.98 2.06 3/105 2226
/proc/meminfo: memFree=1455680/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=161.57
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 16139 18 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

################
# More data... #
################

/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1236.27
Current children cumulated vsize (KiB) 915420

[startup+1302.79 s]
/proc/loadavg: 1.76 1.97 1.98 2/85 2305
/proc/meminfo: memFree=1756648/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1296.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 129589 26 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1296.15
Current children cumulated vsize (KiB) 915420

[startup+1362.81 s]
/proc/loadavg: 1.28 1.79 1.92 2/85 2305
/proc/meminfo: memFree=1756776/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1356.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 135589 26 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1356.15
Current children cumulated vsize (KiB) 915420

[startup+1422.83 s]
/proc/loadavg: 1.10 1.64 1.86 2/85 2305
/proc/meminfo: memFree=1756776/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1416.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 141588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1416.15
Current children cumulated vsize (KiB) 915420

[startup+1482.85 s]
/proc/loadavg: 1.03 1.52 1.80 2/85 2305
/proc/meminfo: memFree=1756712/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1476.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 147588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.15
Current children cumulated vsize (KiB) 915420

[startup+1542.87 s]
/proc/loadavg: 1.01 1.43 1.75 2/85 2305
/proc/meminfo: memFree=1756648/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1536.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 153588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.15
Current children cumulated vsize (KiB) 915420

[startup+1602.89 s]
/proc/loadavg: 1.08 1.36 1.70 2/85 2305
/proc/meminfo: memFree=1756592/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1596.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 159588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.15
Current children cumulated vsize (KiB) 915420

[startup+1662.91 s]
/proc/loadavg: 1.03 1.29 1.66 2/85 2305
/proc/meminfo: memFree=1756528/2055920 swapFree=4170192/4192956
[pid=2218] ppid=2216 vsize=915420 CPUtime=1656.15
/proc/2218/stat : 2218 (java) R 2216 2218 1031 0 -1 0 23212 0 10 0 165588 27 0 0 25 0 8 0 160602973 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228855 22952 2531 14 0 215325 0
[pid=2218/tid=2220] ppid=2216 vsize=915420 CPUtime=0.15
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1031 0 -1 64 6216 0 0 0 12 3 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160602977 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1031 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915420 CPUtime=0.24
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1031 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915420 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160602981 937390080 22952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.15
Current children cumulated vsize (KiB) 915420

Child status: 0
Real time (s): 1687.65
CPU time (s): 1680.87
CPU user time (s): 1680.58
CPU system time (s): 0.292955
CPU usage (%): 99.5982
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.58
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23217
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35294
involuntary context switches= 56641

runsolver used 1.81072 s user time and 5.2942 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 22:21:24 UTC 2007


IDJOB= 196325
IDBENCH= 3343
FILE ID= node20/196325-1168122084

PBS_JOBID= 3477431

Free space on /tmp= 66538 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-42_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-196325-1168122084 -o ROOT/results/node20/solver-196325-1168122084 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196325-1168122084/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9b534ebbbf8ce10b1dee18db24a78748

RANDOM SEED= 391144341

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.216
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.216
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:       1568528 kB
Buffers:         27164 kB
Cached:         105888 kB
SwapCached:       3356 kB
Active:         356200 kB
Inactive:        71668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568528 kB
SwapTotal:     4192956 kB
SwapFree:      4170192 kB
Dirty:            4424 kB
Writeback:           0 kB
Mapped:         319460 kB
Slab:            43592 kB
Committed_AS:  3812416 kB
PageTables:       2948 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= 66544 MiB



End job on node20 on Sat Jan  6 22:49:32 UTC 2007