Trace number 275705

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
AbsconMax 109 EPFCMSAT (TO) 2400.12 2411.48

General information on the benchmark

NameschurrLemma/
lemma-30-9-mod.xml
MD5SUM588637b7d8655f956622a19f22c2ed37
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints189
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables30
Number of constraints210
Maximum constraint arity3
Maximum domain size9
Number of constraints which are defined in extension0
Number of constraints which are defined in intension210
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275705-1169225759/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=30  nbDomainTypes=1  minDomainSize=9  maxDomainSize=9
0.41	       =>  wckTime=0.1  cpuTime=0.09  mem=6M887
0.41	   
0.41	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
0.55	     nbConstraints=210  nbConflictsStructures=1  nbSharedConflictsStructures=209  nbSharedBinaryRepresentations=0
0.55	     nbEvaluationManagers=1  nbSharedEvaluationManagers=209  maxDegree=28  maxArity=3
0.55	       =>  wckTime=0.246  cpuTime=0.19  mem=9M813
0.59	   
0.59	   solver LocalSearchSolver being built... 
0.63	       =>  wckTime=0.323  cpuTime=0.23  mem=5M480
0.63	
0.63	s SATISFIABLE
0.63	o 155
0.63	c 55
0.64	o 160
0.64	c 50
0.64	o 164
0.64	c 46
0.64	o 166
0.64	c 44
0.64	o 168
0.64	c 42
0.64	o 170
0.64	c 40
0.65	o 172
0.65	c 38
0.65	o 173
0.65	c 37
0.65	o 174
0.65	c 36
0.65	o 178
0.65	c 32
0.75	o 179
0.75	c 31
0.77	o 180
0.77	c 30
0.77	o 181
0.77	c 29
0.79	o 182
0.79	c 28
0.79	o 183
0.79	c 27
0.83	o 184
0.83	c 26
0.93	o 185
0.93	c 25
0.93	o 186
0.93	c 24
0.93	o 187
0.93	c 23
0.93	o 188
0.93	c 22
12.89	   
12.89	   search
12.89	     run=0  nbConstraintChecks=27454200  nbAssignments=10000
12.89	       =>  wckTime=12.264  cpuTime=12.18  mem=5M480
19.66	o 189
19.66	c 21
25.10	   
25.10	   search
25.10	     run=1  nbConstraintChecks=55190707  nbAssignments=20000
25.10	       =>  wckTime=24.472  cpuTime=24.31  mem=5M480
37.20	   
37.20	   search
37.20	     run=2  nbConstraintChecks=82778037  nbAssignments=30000
37.20	       =>  wckTime=36.572  cpuTime=36.37  mem=5M480
49.39	   
49.39	   search
49.39	     run=3  nbConstraintChecks=110442329  nbAssignments=40000
49.39	       =>  wckTime=48.767  cpuTime=48.51  mem=5M480
49.81	   
49.81	   search
49.81	     run=4  nbConstraintChecks=111390023  nbAssignments=40375
49.81	       =>  wckTime=49.188  cpuTime=48.93  mem=5M480
49.82	   
49.82	   global
49.82	     nbConstraintChecks=111390023  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
49.82	     solvingWckTime=49.186  solvingCpuTime=48.93  expiredTime=no  totalExploration=no  nbFoundSolutions=0
49.82	     globalCpuTime=49.21
49.82	       =>  wckTime=49.511  cpuTime=49.16  mem=5M480
49.82	   
49.82	   solver IterativeSystematicSolver being built... 
49.96	       =>  wckTime=49.655  cpuTime=49.27  mem=17M436
50.04	   
50.04	   preprocessing
50.04	     nbConstraintChecks=53945  nbValidityChecks=42423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.04	     nbRemovedValues=0  detectedInconsistency=no
50.04	       =>  wckTime=0.073  cpuTime=0.05  mem=17M436
50.10	   
50.10	   search
50.10	     run=0  nbConstraintChecks=47864  nbValidityChecks=94979  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.10	     nbAssignments=40  nbFailedAssignments=14  nbBacktracks=10  nbVisitedNodes=65  nbRestartNogoods=0
50.10	       =>  wckTime=0.133  cpuTime=0.1  mem=17M436
50.18	   
50.18	   search
50.18	     run=1  nbConstraintChecks=134327  nbValidityChecks=254502  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.18	     nbAssignments=103  nbFailedAssignments=43  nbBacktracks=25  nbVisitedNodes=172  nbRestartNogoods=3
50.18	       =>  wckTime=0.22  cpuTime=0.18  mem=17M436
50.30	   
50.30	   search
50.30	     run=2  nbConstraintChecks=265448  nbValidityChecks=488953  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.30	     nbAssignments=192  nbFailedAssignments=91  nbBacktracks=47  nbVisitedNodes=331  nbRestartNogoods=8
50.30	       =>  wckTime=0.337  cpuTime=0.29  mem=17M436
50.43	   
50.43	   search
50.43	     run=3  nbConstraintChecks=420022  nbValidityChecks=786592  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.43	     nbAssignments=303  nbFailedAssignments=152  nbBacktracks=80  nbVisitedNodes=536  nbRestartNogoods=15
50.43	       =>  wckTime=0.47  cpuTime=0.42  mem=17M436
50.66	   
50.66	   search
50.66	     run=4  nbConstraintChecks=695025  nbValidityChecks=1309539  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.66	     nbAssignments=485  nbFailedAssignments=267  nbBacktracks=130  nbVisitedNodes=883  nbRestartNogoods=20
50.66	       =>  wckTime=0.702  cpuTime=0.65  mem=17M436
50.91	   
50.91	   search
50.91	     run=5  nbConstraintChecks=951178  nbValidityChecks=1874013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.91	     nbAssignments=713  nbFailedAssignments=403  nbBacktracks=205  nbVisitedNodes=1322  nbRestartNogoods=32
50.91	       =>  wckTime=0.95  cpuTime=0.9  mem=17M436
51.25	   
51.25	   search
51.25	     run=6  nbConstraintChecks=1276174  nbValidityChecks=2670359  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.25	     nbAssignments=1030  nbFailedAssignments=588  nbBacktracks=319  nbVisitedNodes=1938  nbRestartNogoods=40
51.25	       =>  wckTime=1.292  cpuTime=1.24  mem=17M436
51.96	   
51.96	   search
51.96	     run=7  nbConstraintChecks=2033489  nbValidityChecks=4288127  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.96	     nbAssignments=1560  nbFailedAssignments=935  nbBacktracks=489  nbVisitedNodes=2984  nbRestartNogoods=48
51.96	       =>  wckTime=1.995  cpuTime=1.92  mem=17M436
52.85	   
52.85	   search
52.85	     run=8  nbConstraintChecks=3137471  nbValidityChecks=6361676  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.85	     nbAssignments=2252  nbFailedAssignments=1356  nbBacktracks=745  nbVisitedNodes=4352  nbRestartNogoods=53
52.85	       =>  wckTime=2.884  cpuTime=2.8  mem=17M436
54.25	   
54.25	   search
54.26	     run=9  nbConstraintChecks=4869901  nbValidityChecks=9675716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
54.26	     nbAssignments=3391  nbFailedAssignments=2094  nbBacktracks=1129  nbVisitedNodes=6613  nbRestartNogoods=72
54.26	       =>  wckTime=4.292  cpuTime=4.2  mem=17M436
56.50	   
56.50	   search
56.50	     run=10  nbConstraintChecks=7903580  nbValidityChecks=15102172  nbPropagations=0  nbRevisions=0
56.50	     nbUselessRevisions=0  nbAssignments=4963  nbFailedAssignments=3076  nbBacktracks=1705  nbVisitedNodes=9738
56.50	     nbRestartNogoods=82
56.50	       =>  wckTime=6.535  cpuTime=6.43  mem=17M436
59.84	   
59.84	   search
59.84	     run=11  nbConstraintChecks=12706662  nbValidityChecks=23196967  nbPropagations=0  nbRevisions=0
59.84	     nbUselessRevisions=0  nbAssignments=7247  nbFailedAssignments=4482  nbBacktracks=2569  nbVisitedNodes=14275
59.84	     nbRestartNogoods=98
59.84	       =>  wckTime=9.879  cpuTime=9.76  mem=17M436
65.04	   
65.04	   search
65.04	     run=12  nbConstraintChecks=20240687  nbValidityChecks=35348271  nbPropagations=0  nbRevisions=0
65.04	     nbUselessRevisions=0  nbAssignments=10713  nbFailedAssignments=6637  nbBacktracks=3866  nbVisitedNodes=21108
65.04	     nbRestartNogoods=110
65.04	       =>  wckTime=15.074  cpuTime=14.93  mem=17M436
72.27	   
72.27	   search
72.27	     run=13  nbConstraintChecks=30835417  nbValidityChecks=52953742  nbPropagations=0  nbRevisions=0
72.27	     nbUselessRevisions=0  nbAssignments=15465  nbFailedAssignments=9429  nbBacktracks=5812  nbVisitedNodes=30406
72.27	     nbRestartNogoods=127
72.27	       =>  wckTime=22.31  cpuTime=22.12  mem=17M436
82.00	   
82.00	   search
82.00	     run=14  nbConstraintChecks=44342554  nbValidityChecks=76977043  nbPropagations=0  nbRevisions=0
82.00	     nbUselessRevisions=0  nbAssignments=22592  nbFailedAssignments=13624  nbBacktracks=8731  nbVisitedNodes=44374
82.00	     nbRestartNogoods=139
82.00	       =>  wckTime=32.039  cpuTime=31.81  mem=17M436
97.66	   
97.66	   search
97.66	     run=15  nbConstraintChecks=66848796  nbValidityChecks=115132473  nbPropagations=0  nbRevisions=0
97.66	     nbUselessRevisions=0  nbAssignments=33212  nbFailedAssignments=19852  nbBacktracks=13109  nbVisitedNodes=65235
97.66	     nbRestartNogoods=150
97.66	       =>  wckTime=47.701  cpuTime=47.4  mem=17M436
122.18	   
122.18	   search
122.18	     run=16  nbConstraintChecks=104388260  nbValidityChecks=173203102  nbPropagations=0  nbRevisions=0
122.18	     nbUselessRevisions=0  nbAssignments=48866  nbFailedAssignments=28924  nbBacktracks=19678  nbVisitedNodes=95821
122.18	     nbRestartNogoods=167
122.18	       =>  wckTime=72.223  cpuTime=71.81  mem=17M436
157.30	   
157.30	   search
157.30	     run=17  nbConstraintChecks=155863750  nbValidityChecks=255630429  nbPropagations=0  nbRevisions=0
157.30	     nbUselessRevisions=0  nbAssignments=72681  nbFailedAssignments=42873  nbBacktracks=29531  nbVisitedNodes=142393
157.30	     nbRestartNogoods=190
157.31	       =>  wckTime=107.342  cpuTime=106.76  mem=17M436
205.78	   
205.78	   search
205.78	     run=18  nbConstraintChecks=225646258  nbValidityChecks=372446744  nbPropagations=0  nbRevisions=0
205.78	     nbUselessRevisions=0  nbAssignments=106401  nbFailedAssignments=61801  nbBacktracks=44309  nbVisitedNodes=207817
205.78	     nbRestartNogoods=208
205.78	       =>  wckTime=155.815  cpuTime=155.02  mem=17M436
282.39	   
282.39	   search
282.39	     run=19  nbConstraintChecks=342343829  nbValidityChecks=552465453  nbPropagations=0  nbRevisions=0
282.39	     nbUselessRevisions=0  nbAssignments=156464  nbFailedAssignments=89685  nbBacktracks=66477  nbVisitedNodes=303999
282.39	     nbRestartNogoods=226
282.39	       =>  wckTime=232.427  cpuTime=231.29  mem=17M436
396.07	   
396.07	   search
396.07	     run=20  nbConstraintChecks=506626501  nbValidityChecks=822227327  nbPropagations=0  nbRevisions=0
396.07	     nbUselessRevisions=0  nbAssignments=234943  nbFailedAssignments=134899  nbBacktracks=99729  nbVisitedNodes=456656
396.07	     nbRestartNogoods=241
396.07	       =>  wckTime=346.105  cpuTime=344.36  mem=17M436
572.78	   
572.78	   search
572.78	     run=21  nbConstraintChecks=773746589  nbValidityChecks=1234077545  nbPropagations=0  nbRevisions=0
572.78	     nbUselessRevisions=0  nbAssignments=350320  nbFailedAssignments=200386  nbBacktracks=149607  nbVisitedNodes=680689
572.78	     nbRestartNogoods=251
572.78	       =>  wckTime=522.815  cpuTime=520.26  mem=17M436
830.93	   
830.93	   search
830.93	     run=22  nbConstraintChecks=1154525765  nbValidityChecks=1845141883  nbPropagations=0  nbRevisions=0
830.93	     nbUselessRevisions=0  nbAssignments=527066  nbFailedAssignments=302300  nbBacktracks=224425  nbVisitedNodes=1026222
830.93	     nbRestartNogoods=269
830.93	       =>  wckTime=780.968  cpuTime=777.26  mem=17M436
1232.51	   
1232.51	   search
1232.51	     run=23  nbConstraintChecks=1765809088  nbValidityChecks=2790264330  nbPropagations=0  nbRevisions=0
1232.51	     nbUselessRevisions=0  nbAssignments=784413  nbFailedAssignments=447407  nbBacktracks=336652  nbVisitedNodes=1524512
1232.51	     nbRestartNogoods=288
1232.51	       =>  wckTime=1182.549  cpuTime=1177.03  mem=17M436
1786.98	   
1786.98	   search
1786.98	     run=24  nbConstraintChecks=2571722280  nbValidityChecks=4103459793  nbPropagations=0  nbRevisions=0
1786.98	     nbUselessRevisions=0  nbAssignments=1178670  nbFailedAssignments=673309  nbBacktracks=504993
1786.98	     nbVisitedNodes=2293752  nbRestartNogoods=315
1786.98	       =>  wckTime=1737.018  cpuTime=1728.99  mem=17M436
2411.44	v 6 6 3 2 1 3 7 8 3 1 5 4 0 7 1 8 4 0 2 1 7 5 2 8 1 0 2 7 4 1

Verifier Data (download as text)

21 unsatisfied constraints, 189 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-275705-1169225759 -o ROOT/results/node67/solver-275705-1169225759 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275705-1169225759/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.93 0.99 0.99 2/73 8061
/proc/meminfo: memFree=1495000/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=18540 CPUtime=0
/proc/8060/stat : 8060 (runsolver) D 8054 8060 7936 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 70073099 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271638392103 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/8060/statm: 4635 279 244 17 0 2626 0

[startup+0.103317 s]
/proc/loadavg: 0.93 0.99 0.99 2/73 8061
/proc/meminfo: memFree=1495000/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=913228 CPUtime=0.08
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 2918 0 1 0 6 2 0 0 21 0 8 0 70073099 935145472 2664 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228

[startup+0.511358 s]
/proc/loadavg: 0.93 0.99 0.99 2/73 8061
/proc/meminfo: memFree=1495000/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=0.48
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 6651 0 1 0 43 5 0 0 23 0 8 0 70073099 937435136 6390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 6390 2170 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464

[startup+1.33644 s]
/proc/loadavg: 1.01 1.00 1.00 3/88 8076
/proc/meminfo: memFree=1467104/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=1.29
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 7275 0 1 0 120 9 0 0 25 0 8 0 70073099 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608419 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 7013 2497 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 150 0 0 0 2 0 0 0 17 0 8 0 70073104 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.1
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 322 0 0 0 10 0 0 0 15 0 8 0 70073107 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464

[startup+2.98562 s]
/proc/loadavg: 1.01 1.00 1.00 3/88 8076
/proc/meminfo: memFree=1466336/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2.93
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 7282 0 1 0 278 15 0 0 25 0 8 0 70073099 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073656998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 7019 2499 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.1
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 328 0 0 0 10 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 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) 915464

[startup+6.26596 s]
/proc/loadavg: 1.09 1.02 1.01 3/88 8076
/proc/meminfo: memFree=1466280/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=6.19
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 7282 0 1 0 596 23 0 0 25 0 8 0 70073099 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 7019 2499 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.1
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 328 0 0 0 10 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464

[startup+12.7536 s]
/proc/loadavg: 1.24 1.05 1.02 3/88 8076
/proc/meminfo: memFree=1466168/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=12.66
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 7282 0 1 0 1224 42 0 0 25 0 8 0 70073099 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073656966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 7019 2499 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.1
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 328 0 0 0 10 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464

[startup+25.606 s]
/proc/loadavg: 1.36 1.08 1.03 3/88 8076
/proc/meminfo: memFree=1466168/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=25.44
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 7284 0 1 0 2468 76 0 0 25 0 8 0 70073099 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 7021 2499 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.11
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 70073107 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 7021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915464

[startup+51.2237 s]
/proc/loadavg: 1.61 1.17 1.05 3/88 8076
/proc/meminfo: memFree=1458552/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=50.95
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9308 0 1 0 4946 149 0 0 25 0 8 0 70073099 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9043 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 17 0 8 0 70073104 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.19
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 379 0 0 0 18 1 0 0 15 0 8 0 70073107 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9043 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915464

[startup+102.456 s]
/proc/loadavg: 1.83 1.30 1.10 3/88 8076
/proc/meminfo: memFree=1458296/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=101.94
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9353 0 1 0 10045 149 0 0 25 0 8 0 70073099 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073614131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9085 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 70073107 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915464

[startup+162.537 s]
/proc/loadavg: 1.93 1.42 1.16 3/88 8076
/proc/meminfo: memFree=1458296/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=161.74
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9359 0 1 0 16025 149 0 0 25 0 8 0 70073099 937435136 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073614095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2015.85
Current children cumulated vsize (KiB) 915464

[startup+2085.23 s]
/proc/loadavg: 2.00 2.00 1.87 3/88 8276
/proc/meminfo: memFree=1457592/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2075.67
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 207407 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.67
Current children cumulated vsize (KiB) 915464

[startup+2145.31 s]
/proc/loadavg: 2.00 2.00 1.87 3/88 8276
/proc/meminfo: memFree=1457592/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2135.47
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 213387 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.47
Current children cumulated vsize (KiB) 915464

[startup+2205.39 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 8276
/proc/meminfo: memFree=1457592/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2195.29
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 219369 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073662534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.29
Current children cumulated vsize (KiB) 915464

[startup+2265.47 s]
/proc/loadavg: 2.00 2.00 1.88 3/88 8276
/proc/meminfo: memFree=1457656/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2255.1
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 225350 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.1
Current children cumulated vsize (KiB) 915464

[startup+2325.55 s]
/proc/loadavg: 2.00 2.00 1.89 3/88 8276
/proc/meminfo: memFree=1457656/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2314.9
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 231330 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.9
Current children cumulated vsize (KiB) 915464

[startup+2385.64 s]
/proc/loadavg: 2.00 2.00 1.90 3/88 8276
/proc/meminfo: memFree=1457720/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2374.51
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 237291 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.51
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.44 s]
/proc/loadavg: 2.13 2.03 1.91 3/77 8287
/proc/meminfo: memFree=1468176/2055920 swapFree=4192956/4192956
[pid=8060] ppid=8054 vsize=915464 CPUtime=2400.08
/proc/8060/stat : 8060 (java) R 8054 8060 7936 0 -1 0 9378 0 1 0 239848 160 0 0 25 0 8 0 70073099 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8060/statm: 228866 9110 2551 14 0 215336 0
[pid=8060/tid=8064] ppid=8054 vsize=915464 CPUtime=0.02
/proc/8060/task/8064/stat : 8064 (java) S 8054 8060 7936 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8067] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8067/stat : 8067 (java) S 8054 8060 7936 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8068] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8068/stat : 8068 (java) S 8054 8060 7936 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70073104 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8069] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8069/stat : 8069 (java) S 8054 8060 7936 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8071] ppid=8054 vsize=915464 CPUtime=0.22
/proc/8060/task/8071/stat : 8071 (java) S 8054 8060 7936 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8073] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8073/stat : 8073 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8060/tid=8075] ppid=8054 vsize=915464 CPUtime=0
/proc/8060/task/8075/stat : 8075 (java) S 8054 8060 7936 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70073107 937435136 9110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915464

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2411.48
CPU time (s): 2400.12
CPU user time (s): 2398.51
CPU system time (s): 1.61076
CPU usage (%): 99.5292
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.51
system time used= 1.61075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9404
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= 49971
involuntary context switches= 81854

runsolver used 2.42263 s user time and 8.18076 s system time

The end

Launcher Data (download as text)

Begin job on node67 on Fri Jan 19 16:56:00 UTC 2007


IDJOB= 275705
IDBENCH= 4582
IDSOLVER= 68
FILE ID= node67/275705-1169225759

PBS_JOBID= 3589241

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-30-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275705-1169225759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-275705-1169225759 -o ROOT/results/node67/solver-275705-1169225759 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275705-1169225759/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  588637b7d8655f956622a19f22c2ed37

RANDOM SEED= 548523201

TIME LIMIT= 2400 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.236
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.236
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:       1496208 kB
Buffers:         46832 kB
Cached:         422776 kB
SwapCached:          0 kB
Active:         125360 kB
Inactive:       364500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496208 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2160 kB
Writeback:           0 kB
Mapped:          30500 kB
Slab:            55488 kB
Committed_AS:   588424 kB
PageTables:       1720 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= 66563 MiB



End job on node67 on Fri Jan 19 17:36:12 UTC 2007