Trace number 275925

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 PFCMSAT (TO) 2400.09 2407.65

General information on the benchmark

NamegolombRuler/golombRulerArity3/
ruler-34-9-a3.xml
MD5SUM7302e3529255c5622666d6e0c9c49944
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints695
Best CPU time to get the best result obtained on this benchmark2400.08
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables45
Number of constraints702
Maximum constraint arity3
Maximum domain size35
Number of constraints which are defined in extension0
Number of constraints which are defined in intension702
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275925-1169229388/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=45  nbDomainTypes=2  minDomainSize=34  maxDomainSize=35
0.39	       =>  wckTime=0.1  cpuTime=0.09  mem=6M910
0.39	   
0.39	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
0.68	     nbConstraints=702  nbConvertedConstraints=666  nbConvertConstraintsChecks=44031  nbExtensionStructures=2
0.68	     nbSharedExtensionStructures=664  nbConflictsStructures=3  nbSharedConflictsStructures=699
0.68	     nbSharedBinaryRepresentations=36  nbEvaluationManagers=1  nbSharedEvaluationManagers=35  maxDegree=36  maxArity=3
0.68	       =>  wckTime=0.387  cpuTime=0.28  mem=9M835
0.72	   
0.72	   solver LocalSearchSolver being built... 
0.76	       =>  wckTime=0.467  cpuTime=0.31  mem=5M728
0.76	
0.76	s SATISFIABLE
0.76	o 645
0.76	c 57
0.77	o 649
0.77	c 53
0.77	o 652
0.77	c 50
0.77	o 655
0.77	c 47
0.77	o 658
0.77	c 44
0.77	o 660
0.77	c 42
0.77	o 662
0.77	c 40
0.78	o 663
0.78	c 39
0.78	o 665
0.78	c 37
0.78	o 667
0.78	c 35
0.78	o 668
0.78	c 34
0.78	o 669
0.78	c 33
0.78	o 670
0.78	c 32
0.78	o 671
0.78	c 31
0.78	o 672
0.78	c 30
0.79	o 673
0.79	c 29
0.79	o 674
0.79	c 28
0.79	o 676
0.79	c 26
0.79	o 679
0.79	c 23
0.79	o 680
0.79	c 22
0.79	o 681
0.79	c 21
0.79	o 682
0.79	c 20
0.80	o 683
0.80	c 19
0.80	o 684
0.80	c 18
0.81	o 685
0.81	c 17
0.87	o 686
0.87	c 16
0.88	o 687
0.88	c 15
0.88	o 688
0.88	c 14
1.36	o 689
1.36	c 13
7.23	o 690
7.23	c 12
7.23	o 691
7.23	c 11
7.23	o 692
7.23	c 10
7.23	o 693
7.23	c 9
10.30	   
10.30	   search
10.30	     run=0  nbConstraintChecks=48660801  nbAssignments=10000
10.30	       =>  wckTime=9.543  cpuTime=9.46  mem=5M728
16.09	o 694
16.09	c 8
16.09	o 695
16.09	c 7
18.06	   
18.06	   search
18.06	     run=1  nbConstraintChecks=88447146  nbAssignments=20000
18.06	       =>  wckTime=17.303  cpuTime=17.18  mem=5M728
26.65	   
26.65	   search
26.65	     run=2  nbConstraintChecks=133890456  nbAssignments=30000
26.65	       =>  wckTime=25.891  cpuTime=25.73  mem=5M728
34.71	   
34.71	   search
34.71	     run=3  nbConstraintChecks=175474405  nbAssignments=40000
34.71	       =>  wckTime=33.957  cpuTime=33.75  mem=5M728
43.43	   
43.43	   search
43.43	     run=4  nbConstraintChecks=221561942  nbAssignments=50000
43.43	       =>  wckTime=42.675  cpuTime=42.42  mem=5M728
46.25	   
46.25	   search
46.25	     run=5  nbConstraintChecks=236880994  nbAssignments=52641
46.25	       =>  wckTime=45.495  cpuTime=45.23  mem=5M728
46.25	   
46.25	   global
46.25	     nbConstraintChecks=236880994  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.25	     solvingWckTime=45.494  solvingCpuTime=45.23  expiredTime=no  totalExploration=no  nbFoundSolutions=0
46.25	     globalCpuTime=45.59
46.25	       =>  wckTime=45.963  cpuTime=45.54  mem=5M728
46.25	   
46.25	   solver IterativeSystematicSolver being built... 
46.39	       =>  wckTime=46.096  cpuTime=45.65  mem=16M868
46.65	   
46.65	   preprocessing
46.65	     nbConstraintChecks=829604  nbValidityChecks=1564  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.65	     nbRemovedValues=6  detectedInconsistency=no
46.65	       =>  wckTime=0.266  cpuTime=0.25  mem=16M868
48.36	   
48.36	   search
48.36	     run=0  nbConstraintChecks=6113289  nbValidityChecks=253249  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.36	     nbAssignments=52  nbFailedAssignments=27  nbBacktracks=10  nbVisitedNodes=90  nbRestartNogoods=0
48.36	       =>  wckTime=1.972  cpuTime=1.92  mem=16M868
50.22	   
50.22	   search
50.22	     run=1  nbConstraintChecks=12535137  nbValidityChecks=580442  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
50.22	     nbAssignments=115  nbFailedAssignments=64  nbBacktracks=25  nbVisitedNodes=205  nbRestartNogoods=21
50.22	       =>  wckTime=3.835  cpuTime=3.74  mem=16M868
52.98	   
52.98	   search
52.98	     run=2  nbConstraintChecks=21880674  nbValidityChecks=1037792  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
52.98	     nbAssignments=189  nbFailedAssignments=110  nbBacktracks=47  nbVisitedNodes=347  nbRestartNogoods=39
52.98	       =>  wckTime=6.594  cpuTime=6.49  mem=16M868
56.23	   
56.23	   search
56.23	     run=3  nbConstraintChecks=32189352  nbValidityChecks=1609618  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
56.23	     nbAssignments=277  nbFailedAssignments=161  nbBacktracks=81  nbVisitedNodes=520  nbRestartNogoods=59
56.23	       =>  wckTime=9.845  cpuTime=9.72  mem=16M868
61.39	   
61.39	   search
61.39	     run=4  nbConstraintChecks=48972860  nbValidityChecks=2661814  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
61.39	     nbAssignments=453  nbFailedAssignments=282  nbBacktracks=131  nbVisitedNodes=867  nbRestartNogoods=89
61.39	       =>  wckTime=15.005  cpuTime=14.86  mem=16M868
65.83	   
65.83	   search
65.83	     run=5  nbConstraintChecks=62649047  nbValidityChecks=3611533  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
65.83	     nbAssignments=613  nbFailedAssignments=363  nbBacktracks=206  nbVisitedNodes=1181  nbRestartNogoods=112
65.83	       =>  wckTime=19.446  cpuTime=19.28  mem=16M868
73.70	   
73.70	   search
73.70	     run=6  nbConstraintChecks=88967781  nbValidityChecks=5015800  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
73.70	     nbAssignments=860  nbFailedAssignments=489  nbBacktracks=319  nbVisitedNodes=1667  nbRestartNogoods=127
73.70	       =>  wckTime=27.317  cpuTime=27.11  mem=16M868
115.20	   
115.20	   search
115.20	     run=7  nbConstraintChecks=220518645  nbValidityChecks=12697307  nbPropagations=0  nbRevisions=0
115.20	     nbUselessRevisions=0  nbAssignments=2147  nbFailedAssignments=1601  nbBacktracks=489  nbVisitedNodes=4236
115.20	     nbRestartNogoods=144
115.20	       =>  wckTime=68.818  cpuTime=68.36  mem=16M868
132.00	   
132.00	   search
132.00	     run=8  nbConstraintChecks=278990203  nbValidityChecks=15782310  nbPropagations=0  nbRevisions=0
132.00	     nbUselessRevisions=0  nbAssignments=2687  nbFailedAssignments=1877  nbBacktracks=745  nbVisitedNodes=5308
132.00	     nbRestartNogoods=170
132.00	       =>  wckTime=85.617  cpuTime=85.06  mem=16M868
157.16	   
157.16	   search
157.16	     run=9  nbConstraintChecks=365912974  nbValidityChecks=20399271  nbPropagations=0  nbRevisions=0
157.16	     nbUselessRevisions=0  nbAssignments=3493  nbFailedAssignments=2295  nbBacktracks=1129  nbVisitedNodes=6916
157.16	     nbRestartNogoods=184
157.16	       =>  wckTime=110.77  cpuTime=110.07  mem=16M868
355.30	   
355.30	   search
355.30	     run=10  nbConstraintChecks=1071913858  nbValidityChecks=62460809  nbPropagations=0  nbRevisions=0
355.30	     nbUselessRevisions=0  nbAssignments=11684  nbFailedAssignments=9902  nbBacktracks=1705  nbVisitedNodes=23290
355.30	     nbRestartNogoods=205
355.30	       =>  wckTime=308.913  cpuTime=307.06  mem=16M868
364.03	   
364.03	   search
364.03	     run=11  nbConstraintChecks=1091533578  nbValidityChecks=65352855  nbPropagations=0  nbRevisions=0
364.03	     nbUselessRevisions=0  nbAssignments=14006  nbFailedAssignments=11355  nbBacktracks=2569  nbVisitedNodes=27423
364.03	     nbRestartNogoods=239
364.03	       =>  wckTime=317.642  cpuTime=315.73  mem=16M868
372.53	   
372.53	   search
372.53	     run=12  nbConstraintChecks=1107272762  nbValidityChecks=68052226  nbPropagations=0  nbRevisions=0
372.53	     nbUselessRevisions=0  nbAssignments=16604  nbFailedAssignments=12649  nbBacktracks=3867  nbVisitedNodes=31634
372.53	     nbRestartNogoods=259
372.53	       =>  wckTime=326.147  cpuTime=324.17  mem=16M868
391.14	   
391.14	   search
391.14	     run=13  nbConstraintChecks=1146748770  nbValidityChecks=73756673  nbPropagations=0  nbRevisions=0
391.14	     nbUselessRevisions=0  nbAssignments=21316  nbFailedAssignments=15406  nbBacktracks=5814  nbVisitedNodes=39800
391.14	     nbRestartNogoods=282
391.14	       =>  wckTime=344.756  cpuTime=342.69  mem=16M868
419.43	   
419.43	   search
419.43	     run=14  nbConstraintChecks=1199989093  nbValidityChecks=81281243  nbPropagations=0  nbRevisions=0
419.43	     nbUselessRevisions=0  nbAssignments=28244  nbFailedAssignments=19410  nbBacktracks=8733  nbVisitedNodes=52341
419.43	     nbRestartNogoods=319
419.43	       =>  wckTime=373.044  cpuTime=370.8  mem=16M868
468.33	   
468.33	   search
468.33	     run=15  nbConstraintChecks=1296208364  nbValidityChecks=95224585  nbPropagations=0  nbRevisions=0
468.33	     nbUselessRevisions=0  nbAssignments=39935  nbFailedAssignments=26719  nbBacktracks=13111  nbVisitedNodes=74589
468.33	     nbRestartNogoods=344
468.33	       =>  wckTime=421.945  cpuTime=419.44  mem=16M868
531.11	   
531.11	   search
531.11	     run=16  nbConstraintChecks=1413768301  nbValidityChecks=112123044  nbPropagations=0  nbRevisions=0
531.11	     nbUselessRevisions=0  nbAssignments=56715  nbFailedAssignments=36928  nbBacktracks=19679  nbVisitedNodes=106421
531.11	     nbRestartNogoods=360
531.11	       =>  wckTime=484.724  cpuTime=481.88  mem=16M868
795.27	   
795.27	   search
795.27	     run=17  nbConstraintChecks=2159497268  nbValidityChecks=184752963  nbPropagations=0  nbRevisions=0
795.27	     nbUselessRevisions=0  nbAssignments=84638  nbFailedAssignments=54990  nbBacktracks=29532  nbVisitedNodes=161181
795.27	     nbRestartNogoods=377
795.27	       =>  wckTime=748.879  cpuTime=744.59  mem=16M868
1273.22	   
1273.22	   search
1273.22	     run=18  nbConstraintChecks=3596655440  nbValidityChecks=303932512  nbPropagations=0  nbRevisions=0
1273.22	     nbUselessRevisions=0  nbAssignments=138471  nbFailedAssignments=94023  nbBacktracks=44311  nbVisitedNodes=268609
1273.22	     nbRestartNogoods=437
1273.22	       =>  wckTime=1226.834  cpuTime=1220.67  mem=16M868
2172.89	   
2172.89	   search
2172.89	     run=19  nbConstraintChecks=6432506391  nbValidityChecks=518836461  nbPropagations=0  nbRevisions=0
2172.89	     nbUselessRevisions=0  nbAssignments=189536  nbFailedAssignments=122909  nbBacktracks=66481  nbVisitedNodes=369507
2172.89	     nbRestartNogoods=514
2172.89	       =>  wckTime=2126.506  cpuTime=2119.37  mem=16M868
2407.62	v 1 4 14 16 25 28 32 33 34 3 13 15 24 27 31 32 33 10 12 21 24 28 29 30 2 11 14 18 19 20 9 12 16 17 18 3 7 8 9 4 5 6 34 2 1

Verifier Data (download as text)

7 unsatisfied constraints, 695 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/node13/watcher-275925-1169229388 -o ROOT/results/node13/solver-275925-1169229388 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275925-1169229388/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.93 1.99 1.99 4/94 14935
/proc/meminfo: memFree=1376712/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=172 CPUtime=0
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 271333791 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 0 4096 0 0 0 0 17 0 0 0
/proc/14934/statm: 73 31 25 14 0 3 0

[startup+0.107191 s]
/proc/loadavg: 1.93 1.99 1.99 4/94 14935
/proc/meminfo: memFree=1376712/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=914988 CPUtime=0.09
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 3076 0 1 0 7 2 0 0 24 0 8 0 271333791 936947712 2822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515246 s]
/proc/loadavg: 1.93 1.99 1.99 4/94 14935
/proc/meminfo: memFree=1376712/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915332 CPUtime=0.48
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 6474 0 1 0 44 4 0 0 25 0 8 0 271333791 937299968 6213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228833 6214 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33636 s]
/proc/loadavg: 1.94 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1357456/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=1.3
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 7537 0 1 0 120 10 0 0 25 0 8 0 271333791 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 7275 2496 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.02
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271333794 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.15
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 356 0 0 0 14 1 0 0 16 0 8 0 271333798 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 7275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915432

[startup+2.97357 s]
/proc/loadavg: 1.94 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1357456/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2.93
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 7542 0 1 0 277 16 0 0 25 0 8 0 271333791 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 7279 2496 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.02
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271333794 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.16
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 360 0 0 0 15 1 0 0 16 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915432

[startup+6.26902 s]
/proc/loadavg: 1.94 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1357392/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=6.19
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 7542 0 1 0 591 28 0 0 25 0 8 0 271333791 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 7279 2496 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.02
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271333794 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.16
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 360 0 0 0 15 1 0 0 16 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 7279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915432

[startup+12.7439 s]
/proc/loadavg: 1.95 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1357400/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=12.63
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 7544 0 1 0 1208 55 0 0 25 0 8 0 271333791 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 7281 2496 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.02
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271333794 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.17
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 362 0 0 0 16 1 0 0 16 0 8 0 271333798 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 7281 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915432

[startup+25.6186 s]
/proc/loadavg: 1.95 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1357400/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=25.44
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 7545 0 1 0 2434 110 0 0 25 0 8 0 271333791 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 7282 2496 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.02
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 209 0 0 0 2 0 0 0 16 0 8 0 271333794 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.17
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 363 0 0 0 16 1 0 0 16 0 8 0 271333798 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 7282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915432

[startup+51.235 s]
/proc/loadavg: 1.97 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1351064/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=50.9
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9211 0 1 0 4893 197 0 0 25 0 8 0 271333791 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073696345 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 8944 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.24
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 408 0 0 0 23 1 0 0 15 0 8 0 271333798 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915432

[startup+102.465 s]
/proc/loadavg: 1.99 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1351000/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=101.86
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9238 0 1 0 9988 198 0 0 25 0 8 0 271333791 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073697779 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 8967 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.26
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 421 0 0 0 25 1 0 0 16 0 8 0 271333798 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 8967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915432

[startup+162.542 s]
/proc/loadavg: 1.99 1.99 1.99 3/101 14942
/proc/meminfo: memFree=1351000/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=161.62
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9252 0 1 0 15964 198 0 0 25 0 8 0 271333791 937402368 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2017.78
Current children cumulated vsize (KiB) 915432

[startup+2085.03 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2077.79
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9285 0 1 0 207569 210 0 0 25 0 8 0 271333791 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9008 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.79
Current children cumulated vsize (KiB) 915432

[startup+2145.13 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 15224
/proc/meminfo: memFree=1347232/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2137.84
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9285 0 1 0 213574 210 0 0 25 0 8 0 271333791 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9008 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.84
Current children cumulated vsize (KiB) 915432

[startup+2205.14 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2197.79
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9289 0 1 0 219569 210 0 0 25 0 8 0 271333791 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9011 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.79
Current children cumulated vsize (KiB) 915432

[startup+2265.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2257.81
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9289 0 1 0 225570 211 0 0 25 0 8 0 271333791 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906861 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9011 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2257.81
Current children cumulated vsize (KiB) 915432

[startup+2325.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2317.84
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9289 0 1 0 231573 211 0 0 25 0 8 0 271333791 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073696337 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9011 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2317.84
Current children cumulated vsize (KiB) 915432

[startup+2385.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2377.86
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9290 0 1 0 237575 211 0 0 25 0 8 0 271333791 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9011 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2377.86
Current children cumulated vsize (KiB) 915432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2407.61 s]
/proc/loadavg: 2.04 2.01 2.00 4/93 15224
/proc/meminfo: memFree=1347168/2055920 swapFree=4169400/4192956
[pid=14934] ppid=14932 vsize=915432 CPUtime=2400.05
/proc/14934/stat : 14934 (java) R 14932 14934 14866 0 -1 0 9290 0 1 0 239794 211 0 0 25 0 8 0 271333791 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14934/statm: 228858 9011 2546 14 0 215328 0
[pid=14934/tid=14936] ppid=14932 vsize=915432 CPUtime=0.03
/proc/14934/task/14936/stat : 14936 (java) S 14932 14934 14866 0 -1 64 210 0 0 0 3 0 0 0 16 0 8 0 271333794 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14937] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14937/stat : 14937 (java) S 14932 14934 14866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14938] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14938/stat : 14938 (java) S 14932 14934 14866 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271333795 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14939] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14939/stat : 14939 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14940] ppid=14932 vsize=915432 CPUtime=0.28
/proc/14934/task/14940/stat : 14940 (java) S 14932 14934 14866 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14941] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14941/stat : 14941 (java) S 14932 14934 14866 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14934/tid=14942] ppid=14932 vsize=915432 CPUtime=0
/proc/14934/task/14942/stat : 14942 (java) S 14932 14934 14866 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271333798 937402368 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915432

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

Child status: 143
Real time (s): 2407.65
CPU time (s): 2400.09
CPU user time (s): 2397.97
CPU system time (s): 2.11768
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 915436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.97
system time used= 2.11768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9316
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= 50100
involuntary context switches= 94400

runsolver used 3.33149 s user time and 7.33089 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Fri Jan 19 17:56:28 UTC 2007


IDJOB= 275925
IDBENCH= 5170
IDSOLVER= 69
FILE ID= node13/275925-1169229388

PBS_JOBID= 3588982

Free space on /tmp= 66563 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-34-9-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275925-1169229388/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-275925-1169229388 -o ROOT/results/node13/solver-275925-1169229388 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275925-1169229388/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7302e3529255c5622666d6e0c9c49944

RANDOM SEED= 943502526

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.247
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.247
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:       1377192 kB
Buffers:         59108 kB
Cached:         503900 kB
SwapCached:       3092 kB
Active:         287592 kB
Inactive:       314084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1377192 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            1948 kB
Writeback:           0 kB
Mapped:          53852 kB
Slab:            61460 kB
Committed_AS:  7444092 kB
PageTables:       2492 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= 66558 MiB



End job on node13 on Fri Jan 19 18:36:36 UTC 2007