Trace number 212793

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 AC? (TO) 1800.15 1812.02

General information on the benchmark

NamepseudoSeries/
primesDimacs/f2000.xml
MD5SUM4b7d2542d122d7bd3ac49b0f0b108844
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4000
Number of constraints10500
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10500
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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/212793-1168077288/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.58	     nbVariables=4000  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.58	       =>  wckTime=0.263  cpuTime=0.18  mem=12M753
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
2.03	     nbConstraints=10500  nbConvertedConstraints=2000  nbConvertConstraintsChecks=52  nbExtensionStructures=1
2.03	     nbSharedExtensionStructures=1999  nbConflictsStructures=7  nbSharedConflictsStructures=10493
2.03	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=6  nbSharedEvaluationManagers=8494  maxDegree=20  maxArity=3
2.03	       =>  wckTime=1.71  cpuTime=1.46  mem=32M620
2.16	   
2.16	   solver IterativeSystematicSolver being built... 
2.65	       =>  wckTime=2.335  cpuTime=1.84  mem=37M168
2.71	   
2.71	   preprocessing
2.71	     nbConstraintChecks=0  nbPropagations=4000  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.71	     detectedInconsistency=no
2.71	       =>  wckTime=0.043  cpuTime=0.03  mem=37M168
4.11	   
4.11	   search
4.11	     run=0  nbConstraintChecks=10005  nbValidityChecks=3800  nbPropagations=7534  nbRevisions=12100
4.11	     nbUselessRevisions=8532  nbAssignments=772  nbFailedAssignments=3  nbBacktracks=41  nbVisitedNodes=778
4.11	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
4.11	       =>  wckTime=1.445  cpuTime=1.39  mem=39M223
5.33	   
5.33	   search
5.33	     run=1  nbConstraintChecks=14787  nbValidityChecks=10216  nbPropagations=18048  nbRevisions=33947
5.33	     nbUselessRevisions=23868  nbAssignments=1518  nbFailedAssignments=5  nbBacktracks=108  nbVisitedNodes=1529
5.33	     nbRestartNogoods=2  mapSize=7  nbInferences=0  nbTooLargeKeys=0
5.33	       =>  wckTime=2.666  cpuTime=2.57  mem=40M217
6.51	   
6.51	   search
6.51	     run=2  nbConstraintChecks=19332  nbValidityChecks=13819  nbPropagations=30758  nbRevisions=62371
6.51	     nbUselessRevisions=43668  nbAssignments=2262  nbFailedAssignments=9  nbBacktracks=139  nbVisitedNodes=2279
6.51	     nbRestartNogoods=3  mapSize=10  nbInferences=0  nbTooLargeKeys=0
6.51	       =>  wckTime=3.851  cpuTime=3.74  mem=41M212
7.65	   
7.65	   search
7.65	     run=3  nbConstraintChecks=24022  nbValidityChecks=18478  nbPropagations=45889  nbRevisions=98282
7.65	     nbUselessRevisions=68586  nbAssignments=2984  nbFailedAssignments=10  nbBacktracks=192  nbVisitedNodes=3007
7.65	     nbRestartNogoods=6  mapSize=15  nbInferences=0  nbTooLargeKeys=0
7.65	       =>  wckTime=4.987  cpuTime=4.86  mem=43M202
8.80	   
8.80	   search
8.80	     run=4  nbConstraintChecks=29774  nbValidityChecks=25688  nbPropagations=64273  nbRevisions=144585
8.80	     nbUselessRevisions=100572  nbAssignments=3712  nbFailedAssignments=14  nbBacktracks=252  nbVisitedNodes=3746
8.80	     nbRestartNogoods=7  mapSize=25  nbInferences=0  nbTooLargeKeys=0
8.80	       =>  wckTime=6.137  cpuTime=6.0  mem=44M196
10.42	   
10.42	   search
10.42	     run=5  nbConstraintChecks=37510  nbValidityChecks=33076  nbPropagations=86258  nbRevisions=202901
10.42	     nbUselessRevisions=140898  nbAssignments=4629  nbFailedAssignments=19  nbBacktracks=459  nbVisitedNodes=4674
10.42	     nbRestartNogoods=8  mapSize=35  nbInferences=0  nbTooLargeKeys=0
10.42	       =>  wckTime=7.759  cpuTime=7.6  mem=46M186
11.80	   
11.80	   search
11.80	     run=6  nbConstraintChecks=46991  nbValidityChecks=43192  nbPropagations=112833  nbRevisions=276396
11.80	     nbUselessRevisions=191683  nbAssignments=5453  nbFailedAssignments=25  nbBacktracks=576  nbVisitedNodes=5516
11.80	     nbRestartNogoods=9  mapSize=50  nbInferences=0  nbTooLargeKeys=0
11.80	       =>  wckTime=9.139  cpuTime=8.97  mem=47M181
13.20	   
13.20	   search
13.21	     run=7  nbConstraintChecks=63208  nbValidityChecks=61959  nbPropagations=147262  nbRevisions=377076
13.21	     nbUselessRevisions=261408  nbAssignments=6273  nbFailedAssignments=34  nbBacktracks=783  nbVisitedNodes=6358
13.21	     nbRestartNogoods=12  mapSize=71  nbInferences=0  nbTooLargeKeys=0
13.21	       =>  wckTime=10.543  cpuTime=10.36  mem=49M170
15.10	   
15.10	   search
15.10	     run=8  nbConstraintChecks=78308  nbValidityChecks=81477  nbPropagations=189299  nbRevisions=504591
15.10	     nbUselessRevisions=349921  nbAssignments=7261  nbFailedAssignments=45  nbBacktracks=1044  nbVisitedNodes=7371
15.10	     nbRestartNogoods=13  mapSize=90  nbInferences=0  nbTooLargeKeys=0
15.10	       =>  wckTime=12.436  cpuTime=12.24  mem=51M160
17.36	   
17.36	   search
17.36	     run=9  nbConstraintChecks=110575  nbValidityChecks=122964  nbPropagations=246187  nbRevisions=687367
17.36	     nbUselessRevisions=477447  nbAssignments=8401  nbFailedAssignments=65  nbBacktracks=1447  nbVisitedNodes=8551
17.36	     nbRestartNogoods=19  mapSize=126  nbInferences=0  nbTooLargeKeys=0
17.36	       =>  wckTime=14.699  cpuTime=14.47  mem=53M149
19.86	   
19.86	   search
19.86	     run=10  nbConstraintChecks=153581  nbValidityChecks=180051  nbPropagations=324079  nbRevisions=945004
19.86	     nbUselessRevisions=656988  nbAssignments=9654  nbFailedAssignments=91  nbBacktracks=2067  nbVisitedNodes=9866
19.86	     nbRestartNogoods=23  mapSize=186  nbInferences=0  nbTooLargeKeys=0
19.86	       =>  wckTime=17.2  cpuTime=16.95  mem=56M134
23.13	   
23.13	   search
23.13	     run=11  nbConstraintChecks=200357  nbValidityChecks=242687  nbPropagations=424858  nbRevisions=1283526
23.13	     nbUselessRevisions=892451  nbAssignments=11224  nbFailedAssignments=132  nbBacktracks=2998  nbVisitedNodes=11511
23.13	     nbRestartNogoods=25  mapSize=255  nbInferences=0  nbTooLargeKeys=0
23.13	       =>  wckTime=20.468  cpuTime=20.18  mem=59M900
27.12	   
27.12	   search
27.12	     run=12  nbConstraintChecks=248109  nbValidityChecks=306325  nbPropagations=549177  nbRevisions=1704052
27.12	     nbUselessRevisions=1184729  nbAssignments=13155  nbFailedAssignments=166  nbBacktracks=4407  nbVisitedNodes=13504
27.12	     nbRestartNogoods=31  mapSize=316  nbInferences=0  nbTooLargeKeys=0
27.12	       =>  wckTime=24.46  cpuTime=24.1  mem=20M269
32.80	   
32.80	   search
32.80	     run=13  nbConstraintChecks=340518  nbValidityChecks=444156  nbPropagations=721156  nbRevisions=2298628
32.80	     nbUselessRevisions=1599320  nbAssignments=15773  nbFailedAssignments=221  nbBacktracks=6359  nbVisitedNodes=16254
32.80	     nbRestartNogoods=32  mapSize=446  nbInferences=0  nbTooLargeKeys=0
32.80	       =>  wckTime=30.139  cpuTime=29.72  mem=26M237
40.93	   
40.93	   search
40.93	     run=14  nbConstraintChecks=461597  nbValidityChecks=619081  nbPropagations=955778  nbRevisions=3114068
40.93	     nbUselessRevisions=2167361  nbAssignments=19335  nbFailedAssignments=320  nbBacktracks=9324  nbVisitedNodes=20001
40.93	     nbRestartNogoods=34  mapSize=628  nbInferences=0  nbTooLargeKeys=0
40.93	       =>  wckTime=38.266  cpuTime=37.77  mem=36M185
52.34	   
52.34	   search
52.34	     run=15  nbConstraintChecks=639916  nbValidityChecks=872905  nbPropagations=1281793  nbRevisions=4250051
52.34	     nbUselessRevisions=2957401  nbAssignments=24394  nbFailedAssignments=449  nbBacktracks=13764  nbVisitedNodes=25315
52.34	     nbRestartNogoods=37  mapSize=879  nbInferences=0  nbTooLargeKeys=0
52.34	       =>  wckTime=49.676  cpuTime=49.07  mem=49M117
57.63	   
57.63	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=56M80)
61.90	   
61.90	   search
61.90	     run=16  nbConstraintChecks=865362  nbValidityChecks=1179135  nbPropagations=1720925  nbRevisions=5770455
61.90	     nbUselessRevisions=4010007  nbAssignments=31589  nbFailedAssignments=627  nbBacktracks=20365  nbVisitedNodes=32843
61.90	     nbRestartNogoods=41
61.90	       =>  wckTime=59.241  cpuTime=58.55  mem=56M80
72.43	   
72.43	   search
72.43	     run=17  nbConstraintChecks=1337660  nbValidityChecks=1845136  nbPropagations=2394684  nbRevisions=8123500
72.43	     nbUselessRevisions=5638275  nbAssignments=42368  nbFailedAssignments=1022  nbBacktracks=30218  nbVisitedNodes=44333
72.43	     nbRestartNogoods=45
72.43	       =>  wckTime=69.766  cpuTime=68.99  mem=56M80
87.69	   
87.69	   search
87.69	     run=18  nbConstraintChecks=1944119  nbValidityChecks=2690783  nbPropagations=3375993  nbRevisions=11543975
87.69	     nbUselessRevisions=7998877  nbAssignments=58133  nbFailedAssignments=1522  nbBacktracks=45058  nbVisitedNodes=61022
87.69	     nbRestartNogoods=48
87.69	       =>  wckTime=85.028  cpuTime=84.1  mem=56M80
111.18	   
111.18	   search
111.18	     run=19  nbConstraintChecks=2985615  nbValidityChecks=4131073  nbPropagations=4870681  nbRevisions=16783878
111.18	     nbUselessRevisions=11619034  nbAssignments=81438  nbFailedAssignments=2201  nbBacktracks=67254
111.18	     nbVisitedNodes=85767  nbRestartNogoods=53
111.18	       =>  wckTime=108.514  cpuTime=107.37  mem=56M80
148.01	   
148.01	   search
148.01	     run=20  nbConstraintChecks=4702674  nbValidityChecks=6578314  nbPropagations=7247733  nbRevisions=25160918
148.01	     nbUselessRevisions=17417588  nbAssignments=116334  nbFailedAssignments=3463  nbBacktracks=100514
148.01	     nbVisitedNodes=123133  nbRestartNogoods=58
148.01	       =>  wckTime=145.351  cpuTime=143.86  mem=56M80
206.50	   
206.50	   search
206.50	     run=21  nbConstraintChecks=7766474  nbValidityChecks=10799337  nbPropagations=11167392  nbRevisions=38940888
206.50	     nbUselessRevisions=26937588  nbAssignments=168897  nbFailedAssignments=5736  nbBacktracks=150421
206.50	     nbVisitedNodes=180007  nbRestartNogoods=64
206.50	       =>  wckTime=203.841  cpuTime=201.81  mem=56M80
306.70	   
306.70	   search
306.70	     run=22  nbConstraintChecks=13953750  nbValidityChecks=19388804  nbPropagations=18266829  nbRevisions=63734339
306.70	     nbUselessRevisions=44009433  nbAssignments=249227  nbFailedAssignments=10911  nbBacktracks=225267
306.70	     nbVisitedNodes=270394  nbRestartNogoods=73
306.70	       =>  wckTime=304.039  cpuTime=301.09  mem=56M80
454.47	   
454.47	   search
454.47	     run=23  nbConstraintChecks=22749432  nbValidityChecks=31774503  nbPropagations=29818987  nbRevisions=104455331
454.47	     nbUselessRevisions=72141935  nbAssignments=369146  nbFailedAssignments=18267  nbBacktracks=337534
454.47	     nbVisitedNodes=403799  nbRestartNogoods=78
454.47	       =>  wckTime=451.807  cpuTime=447.32  mem=56M80
667.19	   
667.19	   search
667.19	     run=24  nbConstraintChecks=34919224  nbValidityChecks=49282349  nbPropagations=47497074  nbRevisions=167610945
667.19	     nbUselessRevisions=116002743  nbAssignments=547685  nbFailedAssignments=28125  nbBacktracks=505887
667.19	     nbVisitedNodes=600615  nbRestartNogoods=87
667.19	       =>  wckTime=664.526  cpuTime=658.42  mem=56M80
983.50	   
983.50	   search
983.50	     run=25  nbConstraintChecks=52960056  nbValidityChecks=74748624  nbPropagations=74536145  nbRevisions=263459042
983.50	     nbUselessRevisions=182283205  nbAssignments=815713  nbFailedAssignments=43342  nbBacktracks=758413
983.50	     nbVisitedNodes=896856  nbRestartNogoods=95
983.50	       =>  wckTime=980.839  cpuTime=973.22  mem=56M80
1464.70	   
1464.70	   search
1464.70	     run=26  nbConstraintChecks=82578902  nbValidityChecks=115517518  nbPropagations=116695030  nbRevisions=411517095
1464.70	     nbUselessRevisions=284217139  nbAssignments=1218260  nbFailedAssignments=66810  nbBacktracks=1137191
1464.70	     nbVisitedNodes=1344596  nbRestartNogoods=101
1464.70	       =>  wckTime=1462.036  cpuTime=1452.01  mem=56M80

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-212793-1168077288 -o ROOT/results/node2/solver-212793-1168077288 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212793-1168077288/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 1.94 5/93 4801
/proc/meminfo: memFree=1050536/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=18540 CPUtime=0
/proc/4800/stat : 4800 (runsolver) R 4798 4800 4617 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156124438 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4800/statm: 4635 279 244 17 0 2626 0

[startup+0.107451 s]
/proc/loadavg: 1.92 1.98 1.94 5/93 4801
/proc/meminfo: memFree=1050536/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=914988 CPUtime=0.08
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 2988 0 1 0 6 2 0 0 17 0 8 0 156124438 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10976896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515524 s]
/proc/loadavg: 1.92 1.98 1.94 5/93 4801
/proc/meminfo: memFree=1050536/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915328 CPUtime=0.49
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 6551 0 1 0 44 5 0 0 18 0 8 0 156124438 937295872 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073575138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228832 6290 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33868 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 4808
/proc/meminfo: memFree=988976/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915636 CPUtime=1.3
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 17792 0 1 0 111 19 0 0 24 0 8 0 156124438 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228909 17530 2177 14 0 215379 0
[pid=4800/tid=4802] ppid=4798 vsize=915636 CPUtime=0.04
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 1182 0 0 0 4 0 0 0 17 0 8 0 156124443 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915636 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915636 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915636 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915636 CPUtime=0.18
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 423 0 0 0 18 0 0 0 16 0 8 0 156124446 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915636 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915636 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937611264 17530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.99198 s]
/proc/loadavg: 1.92 1.98 1.94 3/100 4808
/proc/meminfo: memFree=980592/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=2.94
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21068 0 1 0 238 56 0 0 25 0 8 0 156124438 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074116279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 20781 2533 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.2
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 3959 0 0 0 19 1 0 0 16 0 8 0 156124443 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.32
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 495 0 0 0 31 1 0 0 15 0 8 0 156124446 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 20781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915728

[startup+6.27559 s]
/proc/loadavg: 1.93 1.98 1.94 3/100 4808
/proc/meminfo: memFree=977008/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=6.2
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21103 0 1 0 563 57 0 0 25 0 8 0 156124438 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 20813 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.2
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 3960 0 0 0 19 1 0 0 17 0 8 0 156124443 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.38
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 521 0 0 0 36 2 0 0 15 0 8 0 156124446 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 20813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915728

[startup+12.7678 s]
/proc/loadavg: 1.93 1.98 1.94 3/100 4808
/proc/meminfo: memFree=977200/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=12.62
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21107 0 1 0 1205 57 0 0 25 0 8 0 156124438 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161202 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 20814 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.2
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 3960 0 0 0 19 1 0 0 16 0 8 0 156124443 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.39
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 523 0 0 0 37 2 0 0 16 0 8 0 156124446 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 20814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915728

[startup+25.6261 s]
/proc/loadavg: 1.95 1.98 1.94 3/100 4808
/proc/meminfo: memFree=974192/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=25.36
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21886 0 1 0 2479 57 0 0 25 0 8 0 156124438 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074109540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 21589 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 528 0 0 0 38 2 0 0 15 0 8 0 156124446 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915728

[startup+51.2569 s]
/proc/loadavg: 1.96 1.98 1.94 3/100 4808
/proc/meminfo: memFree=974256/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=50.76
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21887 0 1 0 5018 58 0 0 25 0 8 0 156124438 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 21590 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 529 0 0 0 38 2 0 0 16 0 8 0 156124446 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915728

[startup+102.512 s]
/proc/loadavg: 2.04 2.00 1.95 3/100 4808
/proc/meminfo: memFree=974256/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=101.54
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 10096 58 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915728

[startup+162.521 s]
/proc/loadavg: 2.01 2.00 1.95 3/100 4808
/proc/meminfo: memFree=974256/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=161
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 16041 59 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074113352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1413.34
Current children cumulated vsize (KiB) 915728

[startup+1483.13 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 5066
/proc/meminfo: memFree=968184/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1473.1
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 147241 69 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074109524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.1
Current children cumulated vsize (KiB) 915728

[startup+1543.22 s]
/proc/loadavg: 2.01 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968184/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1532.84
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 153215 69 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074099073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.84
Current children cumulated vsize (KiB) 915728

[startup+1603.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968248/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1592.59
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 159190 69 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074111271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.59
Current children cumulated vsize (KiB) 915728

[startup+1663.38 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968248/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1652.33
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 165164 69 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074119772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.33
Current children cumulated vsize (KiB) 915728

[startup+1723.46 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968248/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1712.06
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 171137 69 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074112746 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.06
Current children cumulated vsize (KiB) 915728

[startup+1783.54 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968312/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1771.84
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 177114 70 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074112732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.84
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.94 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 5066
/proc/meminfo: memFree=968312/2055920 swapFree=4191880/4192956
[pid=4800] ppid=4798 vsize=915728 CPUtime=1800.07
/proc/4800/stat : 4800 (java) R 4798 4800 4617 0 -1 0 21890 0 1 0 179937 70 0 0 25 0 8 0 156124438 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074088521 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4800/statm: 228932 21591 2537 14 0 215402 0
[pid=4800/tid=4802] ppid=4798 vsize=915728 CPUtime=0.25
/proc/4800/task/4802/stat : 4802 (java) S 4798 4800 4617 0 -1 64 4730 0 0 0 23 2 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4803] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4803/stat : 4803 (java) S 4798 4800 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4804] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4804/stat : 4804 (java) S 4798 4800 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156124443 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4805] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4805/stat : 4805 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4806] ppid=4798 vsize=915728 CPUtime=0.4
/proc/4800/task/4806/stat : 4806 (java) S 4798 4800 4617 0 -1 64 530 0 0 0 38 2 0 0 17 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4807] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4807/stat : 4807 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4800/tid=4808] ppid=4798 vsize=915728 CPUtime=0
/proc/4800/task/4808/stat : 4808 (java) S 4798 4800 4617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156124446 937705472 21591 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915728

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

Child status: 143
Real time (s): 1812.02
CPU time (s): 1800.15
CPU user time (s): 1799.43
CPU system time (s): 0.714891
CPU usage (%): 99.3446
Max. virtual memory (cumulated for all children) (KiB): 915956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.714891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21906
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= 38334
involuntary context switches= 64240

runsolver used 2.06469 s user time and 5.39818 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan  6 09:54:48 UTC 2007


IDJOB= 212793
IDBENCH= 4798
FILE ID= node2/212793-1168077288

PBS_JOBID= 3475806

Free space on /tmp= 66322 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f2000.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212793-1168077288/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-212793-1168077288 -o ROOT/results/node2/solver-212793-1168077288 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212793-1168077288/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4b7d2542d122d7bd3ac49b0f0b108844

RANDOM SEED= 834136250

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1051016 kB
Buffers:         73792 kB
Cached:         711612 kB
SwapCached:        268 kB
Active:         368696 kB
Inactive:       538756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1051016 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3272 kB
Writeback:           0 kB
Mapped:         150384 kB
Slab:            81796 kB
Committed_AS:  4288708 kB
PageTables:       2556 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= 66322 MiB



End job on node2 on Sat Jan  6 10:25:00 UTC 2007