Trace number 280396

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.08 2415.91

General information on the benchmark

Namerandom/rand-10-20-10/
rand-10-20-10-5-10000-2_ext.xml
MD5SUM545fe723477775d9ecb184b6880d6072
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints2
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints5
Maximum constraint arity10
Maximum domain size10
Number of constraints which are defined in extension5
Number of constraints which are defined in intension0
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/280396-1169305544/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.098  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.64	   
0.64	   constraints being loaded...
0.74	     nbConstraints=5  nbRelationTypes=5  nbDisconnectedVariables=2  nbExtensionStructures=5
0.74	     nbSharedExtensionStructures=0  nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  maxDegree=5
0.74	     maxArity=10
0.74	       =>  wckTime=0.42  cpuTime=0.38  mem=38M374
0.81	   
0.81	   solver LocalSearchSolver being built... 
0.85	       =>  wckTime=0.527  cpuTime=0.43  mem=10M980
0.85	
0.85	s SATISFIABLE
0.85	o 0
0.85	c 5
3.17	o 1
3.17	c 4
6.63	   
6.63	   search
6.63	     run=0  nbConstraintChecks=4339262  nbAssignments=10000
6.63	       =>  wckTime=5.783  cpuTime=5.71  mem=10M980
11.90	   
11.90	   search
11.90	     run=1  nbConstraintChecks=8703267  nbAssignments=20000
11.90	       =>  wckTime=11.052  cpuTime=10.97  mem=10M980
17.17	   
17.17	   search
17.17	     run=2  nbConstraintChecks=13035078  nbAssignments=30000
17.17	       =>  wckTime=16.319  cpuTime=16.22  mem=10M980
22.51	   
22.51	   search
22.51	     run=3  nbConstraintChecks=17129989  nbAssignments=40000
22.51	       =>  wckTime=21.668  cpuTime=21.53  mem=10M980
28.24	   
28.24	   search
28.24	     run=4  nbConstraintChecks=21492432  nbAssignments=50000
28.24	       =>  wckTime=27.397  cpuTime=27.21  mem=10M980
33.39	   
33.39	   search
33.39	     run=5  nbConstraintChecks=25434381  nbAssignments=59767
33.39	       =>  wckTime=32.539  cpuTime=32.3  mem=10M980
33.39	   
33.39	   global
33.39	     nbConstraintChecks=25434381  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.39	     solvingWckTime=32.539  solvingCpuTime=32.3  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.39	     globalCpuTime=32.78
33.39	       =>  wckTime=33.068  cpuTime=32.73  mem=10M980
33.39	   
33.39	   solver IterativeSystematicSolver being built... 
33.53	       =>  wckTime=33.209  cpuTime=32.83  mem=21M682
34.24	   
34.24	   preprocessing
34.24	     nbConstraintChecks=603205  nbValidityChecks=613344  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.24	     nbRemovedValues=0  detectedInconsistency=no
34.24	       =>  wckTime=0.709  cpuTime=0.68  mem=21M682
34.30	o 2
34.30	c 3
34.32	   
34.32	   search
34.32	     run=0  nbConstraintChecks=52430  nbValidityChecks=59830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.32	     nbAssignments=29  nbFailedAssignments=7  nbBacktracks=18  nbVisitedNodes=45  nbRestartNogoods=0
34.32	       =>  wckTime=0.784  cpuTime=0.75  mem=22M660
34.59	   
34.59	   search
34.59	     run=1  nbConstraintChecks=261474  nbValidityChecks=293737  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.59	     nbAssignments=81  nbFailedAssignments=38  nbBacktracks=33  nbVisitedNodes=131  nbRestartNogoods=1
34.59	       =>  wckTime=1.058  cpuTime=1.01  mem=22M660
35.07	   
35.07	   search
35.07	     run=2  nbConstraintChecks=658715  nbValidityChecks=743903  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.07	     nbAssignments=173  nbFailedAssignments=100  nbBacktracks=55  nbVisitedNodes=305  nbRestartNogoods=13
35.07	       =>  wckTime=1.536  cpuTime=1.49  mem=22M660
35.26	   
35.26	   search
35.26	     run=3  nbConstraintChecks=792119  nbValidityChecks=928555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.26	     nbAssignments=272  nbFailedAssignments=160  nbBacktracks=88  nbVisitedNodes=485  nbRestartNogoods=33
35.26	       =>  wckTime=1.732  cpuTime=1.66  mem=22M660
35.83	   
35.83	   search
35.83	     run=4  nbConstraintChecks=1247305  nbValidityChecks=1490293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.83	     nbAssignments=463  nbFailedAssignments=296  nbBacktracks=138  nbVisitedNodes=852  nbRestartNogoods=46
35.83	       =>  wckTime=2.298  cpuTime=2.23  mem=22M660
36.48	   
36.48	   search
36.48	     run=5  nbConstraintChecks=1761985  nbValidityChecks=2123975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.48	     nbAssignments=683  nbFailedAssignments=436  nbBacktracks=213  nbVisitedNodes=1268  nbRestartNogoods=61
36.48	       =>  wckTime=2.95  cpuTime=2.87  mem=22M660
37.54	   
37.54	   search
37.54	     run=6  nbConstraintChecks=2594407  nbValidityChecks=3176589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.54	     nbAssignments=1080  nbFailedAssignments=715  nbBacktracks=326  nbVisitedNodes=2036  nbRestartNogoods=68
37.54	       =>  wckTime=4.012  cpuTime=3.91  mem=22M660
39.70	   
39.70	   search
39.70	     run=7  nbConstraintChecks=4389006  nbValidityChecks=5251982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.70	     nbAssignments=1610  nbFailedAssignments=1071  nbBacktracks=496  nbVisitedNodes=3046  nbRestartNogoods=87
39.70	       =>  wckTime=6.166  cpuTime=6.04  mem=22M660
42.88	   
42.88	   search
42.88	     run=8  nbConstraintChecks=7143381  nbValidityChecks=8464231  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.88	     nbAssignments=2460  nbFailedAssignments=1660  nbBacktracks=752  nbVisitedNodes=4670  nbRestartNogoods=103
42.88	       =>  wckTime=9.353  cpuTime=9.2  mem=22M660
49.72	   
49.72	   search
49.72	     run=9  nbConstraintChecks=12848860  nbValidityChecks=14889956  nbPropagations=0  nbRevisions=0
49.72	     nbUselessRevisions=0  nbAssignments=3801  nbFailedAssignments=2610  nbBacktracks=1137  nbVisitedNodes=7248
49.72	     nbRestartNogoods=118
49.72	       =>  wckTime=16.188  cpuTime=15.97  mem=22M660
52.82	   
52.82	   search
52.82	     run=10  nbConstraintChecks=15206923  nbValidityChecks=18336215  nbPropagations=0  nbRevisions=0
52.82	     nbUselessRevisions=0  nbAssignments=5809  nbFailedAssignments=4037  nbBacktracks=1713  nbVisitedNodes=11129
52.82	     nbRestartNogoods=128
52.82	       =>  wckTime=19.293  cpuTime=19.04  mem=22M660
69.92	   
69.92	   search
69.92	     run=11  nbConstraintChecks=29634099  nbValidityChecks=34511396  nbPropagations=0  nbRevisions=0
69.92	     nbUselessRevisions=0  nbAssignments=8970  nbFailedAssignments=6329  nbBacktracks=2577  nbVisitedNodes=17285
69.92	     nbRestartNogoods=131
69.92	       =>  wckTime=36.388  cpuTime=35.97  mem=22M660
79.26	   
79.26	   search
79.26	     run=12  nbConstraintChecks=37200491  nbValidityChecks=44380411  nbPropagations=0  nbRevisions=0
79.26	     nbUselessRevisions=0  nbAssignments=13207  nbFailedAssignments=9263  nbBacktracks=3876  nbVisitedNodes=25379
79.26	     nbRestartNogoods=137
79.26	       =>  wckTime=45.725  cpuTime=45.22  mem=22M660
112.28	   
112.28	   search
112.28	     run=13  nbConstraintChecks=66003077  nbValidityChecks=76624371  nbPropagations=0  nbRevisions=0
112.28	     nbUselessRevisions=0  nbAssignments=19605  nbFailedAssignments=13707  nbBacktracks=5825  nbVisitedNodes=37713
112.28	     nbRestartNogoods=150
112.28	       =>  wckTime=78.752  cpuTime=77.94  mem=22M660
141.87	   
141.87	   search
141.87	     run=14  nbConstraintChecks=90433908  nbValidityChecks=106432353  nbPropagations=0  nbRevisions=0
141.87	     nbUselessRevisions=0  nbAssignments=29651  nbFailedAssignments=20827  nbBacktracks=8745  nbVisitedNodes=57161
141.87	     nbRestartNogoods=170
141.87	       =>  wckTime=108.341  cpuTime=107.26  mem=22M660
172.65	   
172.65	   search
172.65	     run=15  nbConstraintChecks=115034878  nbValidityChecks=139089168  nbPropagations=0  nbRevisions=0
172.65	     nbUselessRevisions=0  nbAssignments=44242  nbFailedAssignments=31035  nbBacktracks=13123  nbVisitedNodes=85430
172.65	     nbRestartNogoods=188
172.65	       =>  wckTime=139.119  cpuTime=137.76  mem=22M660
267.43	   
267.43	   search
267.43	     run=16  nbConstraintChecks=196358591  nbValidityChecks=231563654  nbPropagations=0  nbRevisions=0
267.43	     nbUselessRevisions=0  nbAssignments=65209  nbFailedAssignments=45428  nbBacktracks=19691  nbVisitedNodes=125763
267.43	     nbRestartNogoods=213
267.43	       =>  wckTime=233.9  cpuTime=231.66  mem=22M660
361.86	   
361.86	   search
361.86	     run=17  nbConstraintChecks=275706445  nbValidityChecks=327795219  nbPropagations=0  nbRevisions=0
361.86	     nbUselessRevisions=0  nbAssignments=96682  nbFailedAssignments=67043  nbBacktracks=29543  nbVisitedNodes=186435
361.86	     nbRestartNogoods=231
361.86	       =>  wckTime=328.332  cpuTime=325.23  mem=22M660
519.75	   
519.75	   search
519.75	     run=18  nbConstraintChecks=410130459  nbValidityChecks=487468257  nbPropagations=0  nbRevisions=0
519.75	     nbUselessRevisions=0  nbAssignments=143814  nbFailedAssignments=99391  nbBacktracks=44321  nbVisitedNodes=277467
519.75	     nbRestartNogoods=257
519.75	       =>  wckTime=486.215  cpuTime=481.67  mem=22M660
735.72	   
735.72	   search
735.72	     run=19  nbConstraintChecks=588281859  nbValidityChecks=704345075  nbPropagations=0  nbRevisions=0
735.72	     nbUselessRevisions=0  nbAssignments=216240  nbFailedAssignments=149643  nbBacktracks=66489  nbVisitedNodes=417429
735.72	     nbRestartNogoods=269
735.72	       =>  wckTime=702.185  cpuTime=695.66  mem=22M660
964.98	   
964.98	   search
964.98	     run=20  nbConstraintChecks=774357466  nbValidityChecks=946672921  nbPropagations=0  nbRevisions=0
964.98	     nbUselessRevisions=0  nbAssignments=321465  nbFailedAssignments=221612  nbBacktracks=99741  nbVisitedNodes=619911
964.98	     nbRestartNogoods=287
964.98	       =>  wckTime=931.449  cpuTime=922.82  mem=22M660
1513.48	   
1513.48	   search
1513.48	     run=21  nbConstraintChecks=1238467360  nbValidityChecks=1497373869  nbPropagations=0  nbRevisions=0
1513.48	     nbUselessRevisions=0  nbAssignments=481754  nbFailedAssignments=332017  nbBacktracks=149620  nbVisitedNodes=931495
1513.48	     nbRestartNogoods=299
1513.48	       =>  wckTime=1479.947  cpuTime=1468.55  mem=22M660
2192.94	   
2192.94	   search
2192.94	     run=22  nbConstraintChecks=1812369551  nbValidityChecks=2191683003  nbPropagations=0  nbRevisions=0
2192.94	     nbUselessRevisions=0  nbAssignments=708114  nbFailedAssignments=483556  nbBacktracks=224439  nbVisitedNodes=1365729
2192.94	     nbRestartNogoods=335
2192.94	       =>  wckTime=2159.408  cpuTime=2144.8  mem=22M660
2415.85	v 4 0 0 0 0 0 0 0 9 3 2 3 6 9 5 4 1 0 2 0 

Verifier Data (download as text)

3 unsatisfied constraints, 2 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/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/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: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=18540 CPUtime=0
/proc/3385/stat : 3385 (runsolver) R 3383 3385 2900 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278953627 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3385/statm: 4635 279 244 17 0 2626 0

[startup+0.107911 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=914988 CPUtime=0.08
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 278953627 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.519022 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915332 CPUtime=0.48
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 7993 0 1 0 44 4 0 0 18 0 8 0 278953627 937299968 7732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228833 7732 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34011 s]
/proc/loadavg: 1.85 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=1.3
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15693 0 1 0 120 10 0 0 25 0 8 0 278953627 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15431 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15431 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) 915436

[startup+2.97738 s]
/proc/loadavg: 1.86 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2.92
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 272 20 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915436

[startup+6.27693 s]
/proc/loadavg: 1.86 1.97 1.90 2/77 3404
/proc/meminfo: memFree=1331752/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=6.19
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 576 43 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915436

[startup+12.755 s]
/proc/loadavg: 1.81 1.96 1.89 3/79 3516
/proc/meminfo: memFree=1317648/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=12.67
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 1177 90 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915436

[startup+25.6141 s]
/proc/loadavg: 1.84 1.96 1.89 3/87 3583
/proc/meminfo: memFree=1276760/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=25.43
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 2360 183 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915436

[startup+51.2344 s]
/proc/loadavg: 1.89 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276376/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=50.81
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15872 0 1 0 4838 243 0 0 25 0 8 0 278953627 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15599 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.21
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915436

[startup+102.458 s]
/proc/loadavg: 1.95 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276184/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=101.56
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 9913 243 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15601 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) R 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915436

[startup+162.539 s]
/proc/loadavg: 2.05 1.99 1.91 3/87 3583
/proc/meminfo: memFree=1276120/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=161.1
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 15866 244 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2010.42
Current children cumulated vsize (KiB) 915436

[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2070.2
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 206773 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.2
Current children cumulated vsize (KiB) 915436

[startup+2144.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2129.95
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 212748 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.95
Current children cumulated vsize (KiB) 915436

[startup+2204.54 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2189.7
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 218723 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.7
Current children cumulated vsize (KiB) 915436

[startup+2264.59 s]
/proc/loadavg: 2.02 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2249.47
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 224700 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.47
Current children cumulated vsize (KiB) 915436

[startup+2324.63 s]
/proc/loadavg: 2.01 2.00 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2309.22
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 230675 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.22
Current children cumulated vsize (KiB) 915436

[startup+2384.69 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2369
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 236653 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369
Current children cumulated vsize (KiB) 915436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.85 s]
/proc/loadavg: 2.04 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2400.01
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 239754 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915436

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

Child status: 143
Real time (s): 2415.91
CPU time (s): 2400.08
CPU user time (s): 2397.6
CPU system time (s): 2.48662
CPU usage (%): 99.3448
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.6
system time used= 2.48662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15899
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= 49888
involuntary context switches= 82968

runsolver used 2.32864 s user time and 7.11792 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sat Jan 20 15:05:45 UTC 2007


IDJOB= 280396
IDBENCH= 11089
IDSOLVER= 68
FILE ID= node43/280396-1169305544

PBS_JOBID= 3610139

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  545fe723477775d9ecb184b6880d6072

RANDOM SEED= 309415255

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.278
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.278
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:       1358192 kB
Buffers:         48944 kB
Cached:         528852 kB
SwapCached:        612 kB
Active:         165368 kB
Inactive:       457924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358192 kB
SwapTotal:     4192956 kB
SwapFree:      4190672 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:          64304 kB
Slab:            59784 kB
Committed_AS:  6288524 kB
PageTables:       1860 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= 66560 MiB



End job on node43 on Sat Jan 20 15:46:01 UTC 2007