Trace number 199855

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.11 1808.65

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-43_ext.xml
MD5SUM18574578491926a9d3804bbf852f5de6
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark237
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/199855-1168137204/unknown.xml
0.46	   
0.46	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.50	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.50	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.50	   
0.50	   relations being loaded...
1.18	   
1.18	   constraints being loaded...
1.46	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.46	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.46	       =>  wckTime=1.057  cpuTime=0.92  mem=50M820
1.58	   
1.58	   solver IterativeSystematicSolver being built... 
1.76	       =>  wckTime=1.358  cpuTime=1.07  mem=35M601
1.87	   
1.87	   preprocessing
1.87	     nbConstraintChecks=31466  nbValidityChecks=52025  nbPropagations=204  nbRevisions=2065  nbUselessRevisions=1825
1.87	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.87	       =>  wckTime=0.105  cpuTime=0.07  mem=35M601
1.94	   
1.94	   search
1.95	     run=0  nbConstraintChecks=32266  nbValidityChecks=62787  nbPropagations=541  nbRevisions=5944
1.95	     nbUselessRevisions=4911  nbAssignments=33  nbFailedAssignments=16  nbBacktracks=11  nbVisitedNodes=56
1.95	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.183  cpuTime=0.14  mem=35M601
2.03	   
2.03	   search
2.03	     run=1  nbConstraintChecks=80496  nbValidityChecks=159520  nbPropagations=1539  nbRevisions=17762
2.03	     nbUselessRevisions=14645  nbAssignments=82  nbFailedAssignments=35  nbBacktracks=26  nbVisitedNodes=125
2.03	     nbRestartNogoods=4  mapSize=22  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=0.267  cpuTime=0.22  mem=35M601
2.17	   
2.17	   search
2.17	     run=2  nbConstraintChecks=156009  nbValidityChecks=306579  nbPropagations=3265  nbRevisions=38697
2.17	     nbUselessRevisions=31546  nbAssignments=153  nbFailedAssignments=68  nbBacktracks=50  nbVisitedNodes=237
2.17	     nbRestartNogoods=8  mapSize=41  nbInferences=0  nbTooLargeKeys=0
2.17	       =>  wckTime=0.407  cpuTime=0.34  mem=35M601
2.28	   
2.28	   search
2.28	     run=3  nbConstraintChecks=223274  nbValidityChecks=436798  nbPropagations=5691  nbRevisions=68425
2.28	     nbUselessRevisions=55559  nbAssignments=229  nbFailedAssignments=104  nbBacktracks=84  nbVisitedNodes=364
2.28	     nbRestartNogoods=12  mapSize=64  nbInferences=0  nbTooLargeKeys=0
2.28	       =>  wckTime=0.516  cpuTime=0.44  mem=35M601
2.49	   
2.49	   search
2.49	     run=4  nbConstraintChecks=353795  nbValidityChecks=710707  nbPropagations=9848  nbRevisions=118062
2.49	     nbUselessRevisions=95169  nbAssignments=362  nbFailedAssignments=180  nbBacktracks=135  nbVisitedNodes=608
2.49	     nbRestartNogoods=16  mapSize=112  nbInferences=0  nbTooLargeKeys=0
2.49	       =>  wckTime=0.727  cpuTime=0.65  mem=35M601
2.81	   
2.81	   search
2.81	     run=5  nbConstraintChecks=557731  nbValidityChecks=1109818  nbPropagations=16241  nbRevisions=195547
2.81	     nbUselessRevisions=156868  nbAssignments=549  nbFailedAssignments=285  nbBacktracks=211  nbVisitedNodes=956
2.81	     nbRestartNogoods=22  mapSize=182  nbInferences=0  nbTooLargeKeys=0
2.81	       =>  wckTime=1.051  cpuTime=0.97  mem=35M601
3.27	   
3.27	   search
3.27	     run=6  nbConstraintChecks=842658  nbValidityChecks=1694805  nbPropagations=25758  nbRevisions=308809
3.27	     nbUselessRevisions=246145  nbAssignments=815  nbFailedAssignments=433  nbBacktracks=324  nbVisitedNodes=1438
3.27	     nbRestartNogoods=29  mapSize=281  nbInferences=0  nbTooLargeKeys=0
3.27	       =>  wckTime=1.509  cpuTime=1.42  mem=35M601
3.94	   
3.94	   search
3.94	     run=7  nbConstraintChecks=1276671  nbValidityChecks=2563868  nbPropagations=39913  nbRevisions=482673
3.94	     nbUselessRevisions=383830  nbAssignments=1209  nbFailedAssignments=651  nbBacktracks=494  nbVisitedNodes=2152
3.94	     nbRestartNogoods=33  mapSize=428  nbInferences=0  nbTooLargeKeys=0
3.94	       =>  wckTime=2.181  cpuTime=2.08  mem=35M601
5.10	   
5.10	   search
5.10	     run=8  nbConstraintChecks=2004711  nbValidityChecks=4073775  nbPropagations=64042  nbRevisions=772760
5.10	     nbUselessRevisions=612614  nbAssignments=1972  nbFailedAssignments=1143  nbBacktracks=751  nbVisitedNodes=3600
5.10	     nbRestartNogoods=42  mapSize=678  nbInferences=0  nbTooLargeKeys=0
5.10	       =>  wckTime=3.338  cpuTime=3.2  mem=35M601
6.63	   
6.63	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=35M601)
6.79	   
6.79	   search
6.79	     run=9  nbConstraintChecks=3111624  nbValidityChecks=6388075  nbPropagations=101329  nbRevisions=1227831
6.79	     nbUselessRevisions=973344  nbAssignments=3035  nbFailedAssignments=1815  nbBacktracks=1135  nbVisitedNodes=5619
6.79	     nbRestartNogoods=46
6.79	       =>  wckTime=5.024  cpuTime=4.87  mem=35M601
8.57	   
8.57	   search
8.57	     run=10  nbConstraintChecks=4271962  nbValidityChecks=8786270  nbPropagations=150974  nbRevisions=1832392
8.57	     nbUselessRevisions=1453617  nbAssignments=4294  nbFailedAssignments=2460  nbBacktracks=1712  nbVisitedNodes=7801
8.57	     nbRestartNogoods=62
8.57	       =>  wckTime=6.811  cpuTime=6.63  mem=35M601
11.36	   
11.36	   search
11.36	     run=11  nbConstraintChecks=6099042  nbValidityChecks=12491261  nbPropagations=220872  nbRevisions=2687544
11.36	     nbUselessRevisions=2133490  nbAssignments=6121  nbFailedAssignments=3417  nbBacktracks=2577  nbVisitedNodes=11071
11.36	     nbRestartNogoods=71
11.36	       =>  wckTime=9.602  cpuTime=9.39  mem=35M601
18.12	   
18.12	   search
18.12	     run=12  nbConstraintChecks=10668979  nbValidityChecks=21465163  nbPropagations=338041  nbRevisions=4122105
18.12	     nbUselessRevisions=3265714  nbAssignments=10094  nbFailedAssignments=6058  nbBacktracks=3874  nbVisitedNodes=18693
18.12	     nbRestartNogoods=92
18.12	       =>  wckTime=16.362  cpuTime=16.09  mem=35M601
25.06	   
25.06	   search
25.06	     run=13  nbConstraintChecks=15251982  nbValidityChecks=30988650  nbPropagations=507913  nbRevisions=6204230
25.06	     nbUselessRevisions=4915609  nbAssignments=14583  nbFailedAssignments=8581  nbBacktracks=5821  nbVisitedNodes=26946
25.06	     nbRestartNogoods=112
25.06	       =>  wckTime=23.295  cpuTime=22.96  mem=35M601
34.75	   
34.75	   search
34.75	     run=14  nbConstraintChecks=21604023  nbValidityChecks=44227504  nbPropagations=750389  nbRevisions=9155199
34.75	     nbUselessRevisions=7258122  nbAssignments=21215  nbFailedAssignments=12274  nbBacktracks=8740  nbVisitedNodes=38944
34.75	     nbRestartNogoods=122
34.75	       =>  wckTime=32.99  cpuTime=32.56  mem=35M601
52.35	   
52.35	   search
52.35	     run=15  nbConstraintChecks=33305299  nbValidityChecks=67387117  nbPropagations=1106299  nbRevisions=13569716
52.35	     nbUselessRevisions=10762973  nbAssignments=31756  nbFailedAssignments=18408  nbBacktracks=13120
52.35	     nbVisitedNodes=58247  nbRestartNogoods=145
52.35	       =>  wckTime=50.592  cpuTime=50.0  mem=35M601
87.99	   
87.99	   search
87.99	     run=16  nbConstraintChecks=57807051  nbValidityChecks=114879507  nbPropagations=1686492  nbRevisions=20870850
87.99	     nbUselessRevisions=16547240  nbAssignments=51875  nbFailedAssignments=31953  nbBacktracks=19688
87.99	     nbVisitedNodes=97019  nbRestartNogoods=155
87.99	       =>  wckTime=86.232  cpuTime=85.32  mem=35M601
124.07	   
124.07	   search
124.07	     run=17  nbConstraintChecks=81943874  nbValidityChecks=163544102  nbPropagations=2519168  nbRevisions=31436905
124.07	     nbUselessRevisions=24943068  nbAssignments=75145  nbFailedAssignments=45365  nbBacktracks=29540
124.07	     nbVisitedNodes=139733  nbRestartNogoods=170
124.07	       =>  wckTime=122.309  cpuTime=121.07  mem=35M601
171.46	   
171.46	   search
171.46	     run=18  nbConstraintChecks=113592014  nbValidityChecks=229278711  nbPropagations=3730705  nbRevisions=46534201
171.46	     nbUselessRevisions=36941312  nbAssignments=109036  nbFailedAssignments=64471  nbBacktracks=44318
171.46	     nbVisitedNodes=201696  nbRestartNogoods=183
171.46	       =>  wckTime=169.7  cpuTime=168.02  mem=35M601
258.09	   
258.09	   search
258.09	     run=19  nbConstraintChecks=171304867  nbValidityChecks=347597333  nbPropagations=5614491  nbRevisions=69614943
258.09	     nbUselessRevisions=55180797  nbAssignments=167309  nbFailedAssignments=100573  nbBacktracks=66486
258.09	     nbVisitedNodes=311075  nbRestartNogoods=193
258.09	       =>  wckTime=256.326  cpuTime=253.87  mem=35M601
369.82	   
369.82	   search
369.82	     run=20  nbConstraintChecks=245059543  nbValidityChecks=498047050  nbPropagations=8284209  nbRevisions=102623288
369.82	     nbUselessRevisions=81321996  nbAssignments=240796  nbFailedAssignments=140801  nbBacktracks=99738
369.82	     nbVisitedNodes=443203  nbRestartNogoods=204
369.82	       =>  wckTime=368.057  cpuTime=364.57  mem=35M601
541.57	   
541.57	   search
541.57	     run=21  nbConstraintChecks=360604875  nbValidityChecks=732549055  nbPropagations=12150237  nbRevisions=150450751
541.57	     nbUselessRevisions=119220371  nbAssignments=354525  nbFailedAssignments=204624  nbBacktracks=149616
541.57	     nbVisitedNodes=648254  nbRestartNogoods=220
541.57	       =>  wckTime=539.805  cpuTime=535.1  mem=35M601
835.61	   
835.61	   search
835.61	     run=22  nbConstraintChecks=578633220  nbValidityChecks=1172415768  nbPropagations=18282466  nbRevisions=226690172
835.61	     nbUselessRevisions=179556970  nbAssignments=538324  nbFailedAssignments=313587  nbBacktracks=224435
835.61	     nbVisitedNodes=991899  nbRestartNogoods=241
835.61	       =>  wckTime=833.852  cpuTime=828.85  mem=35M601
1203.93	   
1203.93	   search
1203.93	     run=23  nbConstraintChecks=851211299  nbValidityChecks=1732668811  nbPropagations=27445203  nbRevisions=339880044
1203.93	     nbUselessRevisions=269097720  nbAssignments=804185  nbFailedAssignments=467217  nbBacktracks=336662
1203.93	     nbVisitedNodes=1481334  nbRestartNogoods=255
1203.93	       =>  wckTime=1202.167  cpuTime=1196.79  mem=35M601
1785.42	   
1785.42	   search
1785.42	     run=24  nbConstraintChecks=1279149035  nbValidityChecks=2613042917  nbPropagations=41397485  nbRevisions=511882814
1785.42	     nbUselessRevisions=405288934  nbAssignments=1214659  nbFailedAssignments=709347  nbBacktracks=505004
1785.42	     nbVisitedNodes=2242592  nbRestartNogoods=292
1785.42	       =>  wckTime=1783.66  cpuTime=1775.15  mem=35M601

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-199855-1168137204 -o ROOT/results/node13/solver-199855-1168137204 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199855-1168137204/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.92 1.98 1.99 4/87 24724
/proc/meminfo: memFree=1476160/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=1784 CPUtime=0
/proc/24723/stat : 24723 (java) D 24721 24723 24656 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 162115363 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/24723/statm: 446 160 125 14 0 91 0

[startup+0.103485 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 24724
/proc/meminfo: memFree=1476160/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=47416 CPUtime=0
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 1028 0 1 0 0 0 0 0 17 0 1 0 162115363 48553984 777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151973145 0 4 0 7368 0 0 0 17 1 0 0
/proc/24723/statm: 11854 777 626 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416

[startup+0.511542 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 24724
/proc/meminfo: memFree=1476160/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915328 CPUtime=0.41
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 6143 0 1 0 37 4 0 0 18 0 8 0 162115363 937295872 5882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228832 5882 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.33266 s]
/proc/loadavg: 1.92 1.98 1.99 4/94 24731
/proc/meminfo: memFree=1411080/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915328 CPUtime=1.22
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 19111 0 1 0 111 11 0 0 24 0 8 0 162115363 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228832 18849 2160 14 0 215302 0
[pid=24723/tid=24725] ppid=24721 vsize=915328 CPUtime=0.06
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 2650 0 0 0 5 1 0 0 17 0 8 0 162115376 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915328 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915328 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162115376 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915328 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915328 CPUtime=0.09
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 162115380 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915328 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915328 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328

[startup+2.97187 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392520/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=2.85
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23567 0 1 0 270 15 0 0 25 0 8 0 162115363 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23303 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 17 0 8 0 162115376 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.2
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 162115380 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915420

[startup+6.1773 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392464/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=6.02
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23583 0 1 0 587 15 0 0 25 0 8 0 162115363 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23316 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 17 0 8 0 162115376 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.23
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 162115380 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 915420

[startup+12.6542 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392400/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=12.43
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23587 0 1 0 1228 15 0 0 25 0 8 0 162115363 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23319 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 915420

[startup+25.5409 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392400/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=25.2
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23587 0 1 0 2505 15 0 0 25 0 8 0 162115363 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23319 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23319 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915420

[startup+51.1883 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392336/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=50.61
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 5046 15 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915420

[startup+102.469 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 24731
/proc/meminfo: memFree=1392144/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=101.43
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 10127 16 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915420

[startup+162.502 s]
/proc/loadavg: 2.02 2.00 2.00 3/94 24731
/proc/meminfo: memFree=1391952/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=160.91
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 16075 16 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1417.84
Current children cumulated vsize (KiB) 915420

[startup+1483.51 s]
/proc/loadavg: 2.14 2.06 2.01 3/93 24992
/proc/meminfo: memFree=1402528/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1477.81
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 147758 23 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) R 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.81
Current children cumulated vsize (KiB) 915420

[startup+1543.56 s]
/proc/loadavg: 2.12 2.06 2.01 3/93 24992
/proc/meminfo: memFree=1402528/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1537.82
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 153759 23 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776733 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.82
Current children cumulated vsize (KiB) 915420

[startup+1603.61 s]
/proc/loadavg: 2.04 2.05 2.00 3/93 24992
/proc/meminfo: memFree=1402464/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1597.81
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 159758 23 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.81
Current children cumulated vsize (KiB) 915420

[startup+1663.67 s]
/proc/loadavg: 2.01 2.04 2.00 3/99 25056
/proc/meminfo: memFree=1401112/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1657.77
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 165749 28 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.77
Current children cumulated vsize (KiB) 915420

[startup+1723.75 s]
/proc/loadavg: 2.24 2.08 2.02 6/109 25385
/proc/meminfo: memFree=1395872/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1717.69
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 171730 39 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.69
Current children cumulated vsize (KiB) 915420

[startup+1783.82 s]
/proc/loadavg: 2.15 2.09 2.02 3/93 25670
/proc/meminfo: memFree=1370144/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1775.32
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 177486 46 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.32
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.61 s]
/proc/loadavg: 2.10 2.08 2.02 3/93 25670
/proc/meminfo: memFree=1370144/2055920 swapFree=4192812/4192956
[pid=24723] ppid=24721 vsize=915420 CPUtime=1800.07
/proc/24723/stat : 24723 (java) R 24721 24723 24656 0 -1 0 23589 0 1 0 179961 46 0 0 25 0 8 0 162115363 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754364 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24723/statm: 228855 23320 2531 14 0 215325 0
[pid=24723/tid=24725] ppid=24721 vsize=915420 CPUtime=0.17
/proc/24723/task/24725/stat : 24725 (java) S 24721 24723 24656 0 -1 64 6584 0 0 0 15 2 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24726] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24726/stat : 24726 (java) S 24721 24723 24656 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24727] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24727/stat : 24727 (java) S 24721 24723 24656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162115376 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24728] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24728/stat : 24728 (java) S 24721 24723 24656 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24729] ppid=24721 vsize=915420 CPUtime=0.24
/proc/24723/task/24729/stat : 24729 (java) S 24721 24723 24656 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24730] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24730/stat : 24730 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24723/tid=24731] ppid=24721 vsize=915420 CPUtime=0
/proc/24723/task/24731/stat : 24731 (java) S 24721 24723 24656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162115380 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1808.65
CPU time (s): 1800.11
CPU user time (s): 1799.64
CPU system time (s): 0.475927
CPU usage (%): 99.5278
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.475927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23607
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= 37682
involuntary context switches= 56578

runsolver used 1.9867 s user time and 6.05408 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sun Jan  7 02:33:24 UTC 2007


IDJOB= 199855
IDBENCH= 3646
FILE ID= node13/199855-1168137204

PBS_JOBID= 3477806

Free space on /tmp= 66314 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  18574578491926a9d3804bbf852f5de6

RANDOM SEED= 691244818

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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:       1476640 kB
Buffers:         49148 kB
Cached:         377416 kB
SwapCached:          0 kB
Active:         194436 kB
Inactive:       306084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1476640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4764 kB
Writeback:           0 kB
Mapped:          93700 kB
Slab:            63432 kB
Committed_AS:  3978924 kB
PageTables:       2448 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= 66315 MiB



End job on node13 on Sun Jan  7 03:03:32 UTC 2007