Trace number 194718

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.14 1802.42

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-15_ext.xml
MD5SUM355ab8f832e3d36154095e0c19f77125
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints469
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension469
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/194718-1168105552/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.39	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.67	     nbConstraints=469  nbRelationTypes=469  nbExtensionStructures=469  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=469  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2495  maxDegree=28
0.67	     maxArity=2
0.67	       =>  wckTime=0.374  cpuTime=0.3  mem=17M695
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.87	       =>  wckTime=0.571  cpuTime=0.42  mem=15M584
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=111719  nbPropagations=1202  nbRevisions=9680  nbUselessRevisions=8059  nbSingletonTests=61
0.93	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.93	       =>  wckTime=0.062  cpuTime=0.03  mem=15M584
0.96	   
0.96	   search
0.96	     run=0  nbConstraintChecks=43340  nbPropagations=1701  nbRevisions=15678  nbUselessRevisions=13016  nbAssignments=28
0.96	     nbFailedAssignments=7  nbBacktracks=11  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=6  nbInferences=0
0.96	     nbTooLargeKeys=0
0.96	       =>  wckTime=0.089  cpuTime=0.05  mem=15M584
0.98	   
0.98	   search
0.98	     run=1  nbConstraintChecks=106212  nbPropagations=4159  nbRevisions=41259  nbUselessRevisions=34194
0.98	     nbAssignments=66  nbFailedAssignments=18  nbBacktracks=26  nbVisitedNodes=95  nbRestartNogoods=3  mapSize=16
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.11  cpuTime=0.06  mem=15M584
0.99	   
0.99	   search
0.99	     run=2  nbConstraintChecks=166201  nbPropagations=7336  nbRevisions=75996  nbUselessRevisions=62928
0.99	     nbAssignments=106  nbFailedAssignments=28  nbBacktracks=48  nbVisitedNodes=154  nbRestartNogoods=5  mapSize=30
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.122  cpuTime=0.07  mem=15M584
1.01	   
1.01	   search
1.01	     run=3  nbConstraintChecks=255114  nbPropagations=11665  nbRevisions=126345  nbUselessRevisions=104610
1.01	     nbAssignments=172  nbFailedAssignments=49  nbBacktracks=82  nbVisitedNodes=255  nbRestartNogoods=6  mapSize=54
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.141  cpuTime=0.09  mem=15M584
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=382269  nbPropagations=17585  nbRevisions=198781  nbUselessRevisions=164665
1.03	     nbAssignments=258  nbFailedAssignments=74  nbBacktracks=135  nbVisitedNodes=391  nbRestartNogoods=9  mapSize=94
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.165  cpuTime=0.12  mem=15M584
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=587484  nbPropagations=26084  nbRevisions=307512  nbUselessRevisions=254123
1.07	     nbAssignments=394  nbFailedAssignments=123  nbBacktracks=211  nbVisitedNodes=622  nbRestartNogoods=12  mapSize=160
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.206  cpuTime=0.16  mem=15M584
1.13	   
1.13	   search
1.13	     run=6  nbConstraintChecks=942675  nbPropagations=38748  nbRevisions=480148  nbUselessRevisions=395859
1.13	     nbAssignments=601  nbFailedAssignments=206  nbBacktracks=324  nbVisitedNodes=983  nbRestartNogoods=16  mapSize=264
1.13	     nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.264  cpuTime=0.22  mem=15M584
1.22	   
1.22	   search
1.22	     run=7  nbConstraintChecks=1467007  nbPropagations=57803  nbRevisions=745591  nbUselessRevisions=613939
1.22	     nbAssignments=914  nbFailedAssignments=317  nbBacktracks=496  nbVisitedNodes=1479  nbRestartNogoods=22  mapSize=405
1.22	     nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.35  cpuTime=0.3  mem=15M584
1.34	   
1.34	   search
1.34	     run=8  nbConstraintChecks=2230738  nbPropagations=85807  nbRevisions=1149417  nbUselessRevisions=946267
1.34	     nbAssignments=1342  nbFailedAssignments=479  nbBacktracks=753  nbVisitedNodes=2223  nbRestartNogoods=25
1.34	     mapSize=621  nbInferences=0  nbTooLargeKeys=0
1.34	       =>  wckTime=0.475  cpuTime=0.42  mem=15M584
1.52	   
1.52	   search
1.52	     run=9  nbConstraintChecks=3259088  nbPropagations=126152  nbRevisions=1746037  nbUselessRevisions=1436976
1.52	     nbAssignments=1980  nbFailedAssignments=723  nbBacktracks=1137  nbVisitedNodes=3310  nbRestartNogoods=32
1.52	     mapSize=929  nbInferences=0  nbTooLargeKeys=0
1.52	       =>  wckTime=0.651  cpuTime=0.58  mem=15M584
1.58	   
1.58	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=15M584)
1.81	   
1.81	   search
1.81	     run=10  nbConstraintChecks=5349907  nbPropagations=188202  nbRevisions=2690371  nbUselessRevisions=2210801
1.81	     nbAssignments=3030  nbFailedAssignments=1185  nbBacktracks=1713  nbVisitedNodes=5150  nbRestartNogoods=39
1.81	       =>  wckTime=0.945  cpuTime=0.86  mem=15M584
2.11	   
2.11	   search
2.11	     run=11  nbConstraintChecks=7279469  nbPropagations=275454  nbRevisions=4003130  nbUselessRevisions=3284467
2.11	     nbAssignments=4390  nbFailedAssignments=1668  nbBacktracks=2579  nbVisitedNodes=7439  nbRestartNogoods=42
2.11	       =>  wckTime=1.243  cpuTime=1.15  mem=15M584
2.60	   
2.60	   search
2.60	     run=12  nbConstraintChecks=10693651  nbPropagations=403943  nbRevisions=5957502  nbUselessRevisions=4886661
2.60	     nbAssignments=6495  nbFailedAssignments=2467  nbBacktracks=3877  nbVisitedNodes=10995  nbRestartNogoods=47
2.60	       =>  wckTime=1.73  cpuTime=1.64  mem=15M584
3.37	   
3.37	   search
3.37	     run=13  nbConstraintChecks=16255529  nbPropagations=595906  nbRevisions=8888793  nbUselessRevisions=7285633
3.37	     nbAssignments=9686  nbFailedAssignments=3704  nbBacktracks=5823  nbVisitedNodes=16448  nbRestartNogoods=56
3.37	       =>  wckTime=2.5  cpuTime=2.4  mem=15M584
4.46	   
4.46	   search
4.46	     run=14  nbConstraintChecks=23960344  nbPropagations=879103  nbRevisions=13246518  nbUselessRevisions=10856861
4.46	     nbAssignments=14515  nbFailedAssignments=5604  nbBacktracks=8742  nbVisitedNodes=24689  nbRestartNogoods=60
4.46	       =>  wckTime=3.592  cpuTime=3.49  mem=15M584
6.08	   
6.08	   search
6.08	     run=15  nbConstraintChecks=35421116  nbPropagations=1298261  nbRevisions=19700951  nbUselessRevisions=16144109
6.08	     nbAssignments=21532  nbFailedAssignments=8215  nbBacktracks=13121  nbVisitedNodes=36534  nbRestartNogoods=71
6.08	       =>  wckTime=5.212  cpuTime=5.11  mem=16M559
8.43	   
8.43	   search
8.43	     run=16  nbConstraintChecks=51154562  nbPropagations=1916286  nbRevisions=29214802  nbUselessRevisions=23949165
8.43	     nbAssignments=32054  nbFailedAssignments=12155  nbBacktracks=19693  nbVisitedNodes=54437  nbRestartNogoods=81
8.43	       =>  wckTime=7.561  cpuTime=7.42  mem=16M559
12.05	   
12.05	   search
12.05	     run=17  nbConstraintChecks=76823301  nbPropagations=2833955  nbRevisions=43374709  nbUselessRevisions=35556492
12.05	     nbAssignments=47667  nbFailedAssignments=17906  nbBacktracks=29546  nbVisitedNodes=80913  nbRestartNogoods=87
12.05	       =>  wckTime=11.184  cpuTime=11.02  mem=16M559
17.20	   
17.20	   search
17.20	     run=18  nbConstraintChecks=112927424  nbPropagations=4183506  nbRevisions=64108246  nbUselessRevisions=52546632
17.20	     nbAssignments=70489  nbFailedAssignments=25939  nbBacktracks=44326  nbVisitedNodes=119157  nbRestartNogoods=106
17.20	       =>  wckTime=16.335  cpuTime=16.15  mem=16M559
26.10	   
26.10	   search
26.10	     run=19  nbConstraintChecks=177569644  nbPropagations=6260294  nbRevisions=96357759  nbUselessRevisions=78974150
26.10	     nbAssignments=106649  nbFailedAssignments=39921  nbBacktracks=66498  nbVisitedNodes=181298  nbRestartNogoods=117
26.10	       =>  wckTime=25.235  cpuTime=25.01  mem=16M559
37.61	   
37.61	   search
37.61	     run=20  nbConstraintChecks=257372201  nbPropagations=9300716  nbRevisions=143419071  nbUselessRevisions=117552618
37.61	     nbAssignments=157783  nbFailedAssignments=57789  nbBacktracks=99751  nbVisitedNodes=266758  nbRestartNogoods=126
37.61	       =>  wckTime=36.741  cpuTime=36.45  mem=16M559
55.06	   
55.06	   search
55.06	     run=21  nbConstraintChecks=378227758  nbPropagations=13833716  nbRevisions=213097667  nbUselessRevisions=174667835
55.06	     nbAssignments=235543  nbFailedAssignments=85661  nbBacktracks=149630  nbVisitedNodes=398199  nbRestartNogoods=134
55.06	       =>  wckTime=54.188  cpuTime=53.86  mem=16M559
83.67	   
83.67	   search
83.67	     run=22  nbConstraintChecks=581755007  nbPropagations=20747139  nbRevisions=319823802  nbUselessRevisions=262120964
83.67	     nbAssignments=357366  nbFailedAssignments=132653  nbBacktracks=224449  nbVisitedNodes=606740  nbRestartNogoods=151
83.67	       =>  wckTime=82.804  cpuTime=82.46  mem=16M559
126.13	   
126.13	   search
126.13	     run=23  nbConstraintChecks=877860166  nbPropagations=31200213  nbRevisions=482729512  nbUselessRevisions=395934480
126.13	     nbAssignments=541118  nbFailedAssignments=204169  nbBacktracks=336678  nbVisitedNodes=921565  nbRestartNogoods=166
126.13	       =>  wckTime=125.264  cpuTime=124.87  mem=16M559
186.49	   
186.49	   search
186.49	     run=24  nbConstraintChecks=1295953538  nbPropagations=46717328  nbRevisions=723850333  nbUselessRevisions=593945891
186.49	     nbAssignments=807373  nbFailedAssignments=302072  nbBacktracks=505019  nbVisitedNodes=1371369  nbRestartNogoods=185
186.49	       =>  wckTime=185.618  cpuTime=185.16  mem=16M559
277.31	   
277.31	   search
277.31	     run=25  nbConstraintChecks=1923468913  nbPropagations=69861382  nbRevisions=1082620251
277.31	     nbUselessRevisions=888651244  nbAssignments=1208787  nbFailedAssignments=450965  nbBacktracks=757530
277.31	     nbVisitedNodes=2052051  nbRestartNogoods=200
277.31	       =>  wckTime=276.438  cpuTime=275.87  mem=16M559
419.71	   
419.71	   search
419.71	     run=26  nbConstraintChecks=2937733988  nbPropagations=104770399  nbRevisions=1623505581
419.71	     nbUselessRevisions=1332432213  nbAssignments=1809489  nbFailedAssignments=672890  nbBacktracks=1136298
419.71	     nbVisitedNodes=3073454  nbRestartNogoods=216
419.71	       =>  wckTime=418.842  cpuTime=418.09  mem=16M559
636.38	   
636.38	   search
636.38	     run=27  nbConstraintChecks=4437898046  nbPropagations=157671865  nbRevisions=2448980291
636.38	     nbUselessRevisions=2010971260  nbAssignments=2735470  nbFailedAssignments=1030713  nbBacktracks=1704449
636.38	     nbVisitedNodes=4661746  nbRestartNogoods=232
636.38	       =>  wckTime=635.509  cpuTime=634.55  mem=16M559
964.73	   
964.73	   search
964.73	     run=28  nbConstraintChecks=6784475989  nbPropagations=237525586  nbRevisions=3694187770
964.73	     nbUselessRevisions=3033232682  nbAssignments=4106744  nbFailedAssignments=1549753  nbBacktracks=2556675
964.73	     nbVisitedNodes=7002030  nbRestartNogoods=250
964.73	       =>  wckTime=963.864  cpuTime=962.46  mem=16M559
1424.11	   
1424.11	   search
1424.11	     run=29  nbConstraintChecks=9936082792  nbPropagations=355862035  nbRevisions=5542315803
1424.11	     nbUselessRevisions=4553107434  nbAssignments=6123694  nbFailedAssignments=2288353  nbBacktracks=3835015
1424.11	     nbVisitedNodes=10415828  nbRestartNogoods=274
1424.11	       =>  wckTime=1423.243  cpuTime=1421.32  mem=16M559

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/node12/watcher-194718-1168105552 -o ROOT/results/node12/solver-194718-1168105552 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/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.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=1784 CPUtime=0
/proc/31795/stat : 31795 (java) D 31793 31795 31294 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 158950333 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31795/statm: 446 160 125 14 0 91 0

[startup+0.107308 s]
/proc/loadavg: 1.92 1.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=914988 CPUtime=0.08
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 3057 0 1 0 7 1 0 0 23 0 8 0 158950333 936947712 2803 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515379 s]
/proc/loadavg: 1.92 1.99 1.92 4/94 31796
/proc/meminfo: memFree=1692368/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915328 CPUtime=0.49
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 7243 0 1 0 44 5 0 0 25 0 8 0 158950333 937295872 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228832 6982 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33853 s]
/proc/loadavg: 1.92 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664664/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1.3
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9643 0 1 0 122 8 0 0 25 0 8 0 158950333 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9381 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.2
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9381 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) 915460

[startup+2.98482 s]
/proc/loadavg: 1.92 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=2.94
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 286 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.27442 s]
/proc/loadavg: 1.93 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=6.21
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 613 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460

[startup+12.7626 s]
/proc/loadavg: 1.93 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=12.64
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 1256 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915460

[startup+25.6109 s]
/proc/loadavg: 1.95 1.99 1.92 3/101 31803
/proc/meminfo: memFree=1664472/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=25.43
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9659 0 1 0 2535 8 0 0 25 0 8 0 158950333 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9395 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460

[startup+51.2185 s]
/proc/loadavg: 1.74 1.94 1.90 2/88 31817
/proc/meminfo: memFree=1677184/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=50.96
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9661 0 1 0 5087 9 0 0 25 0 8 0 158950333 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9396 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460

[startup+102.492 s]
/proc/loadavg: 1.94 1.96 1.91 3/94 31869
/proc/meminfo: memFree=1641744/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=102.16
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9661 0 1 0 10206 10 0 0 25 0 8 0 158950333 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9396 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915460

[startup+162.505 s]
/proc/loadavg: 2.04 1.98 1.92 3/94 31869
/proc/meminfo: memFree=1632912/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=162.11
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 16201 10 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.07
Current children cumulated vsize (KiB) 915460

[startup+1482.95 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 32067
/proc/meminfo: memFree=1602832/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1481.02
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 148080 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.02
Current children cumulated vsize (KiB) 915460

[startup+1542.97 s]
/proc/loadavg: 2.25 2.06 1.97 3/94 32067
/proc/meminfo: memFree=1601744/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1540.96
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 154074 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.96
Current children cumulated vsize (KiB) 915460

[startup+1602.99 s]
/proc/loadavg: 2.14 2.06 1.98 3/94 32067
/proc/meminfo: memFree=1601680/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1600.92
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 160070 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.92
Current children cumulated vsize (KiB) 915460

[startup+1663.01 s]
/proc/loadavg: 2.12 2.07 1.98 3/94 32067
/proc/meminfo: memFree=1601680/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1660.87
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 166065 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 915460

[startup+1723.02 s]
/proc/loadavg: 2.04 2.05 1.98 3/94 32067
/proc/meminfo: memFree=1601616/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1720.8
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 172058 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.8
Current children cumulated vsize (KiB) 915460

[startup+1783.03 s]
/proc/loadavg: 2.01 2.04 1.98 3/94 32067
/proc/meminfo: memFree=1601488/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1780.76
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 178054 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.76
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.38 s]
/proc/loadavg: 2.01 2.04 1.98 3/94 32067
/proc/meminfo: memFree=1601424/2055920 swapFree=4160348/4192956
[pid=31795] ppid=31793 vsize=915460 CPUtime=1800.1
/proc/31795/stat : 31795 (java) R 31793 31795 31294 0 -1 0 9662 0 1 0 179988 22 0 0 25 0 8 0 158950333 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31795/statm: 228865 9397 2524 14 0 215335 0
[pid=31795/tid=31797] ppid=31793 vsize=915460 CPUtime=0.03
/proc/31795/task/31797/stat : 31797 (java) S 31793 31795 31294 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31798] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31798/stat : 31798 (java) S 31793 31795 31294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31799] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31799/stat : 31799 (java) S 31793 31795 31294 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158950337 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31800] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31800/stat : 31800 (java) S 31793 31795 31294 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31801] ppid=31793 vsize=915460 CPUtime=0.23
/proc/31795/task/31801/stat : 31801 (java) S 31793 31795 31294 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31802] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31802/stat : 31802 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31795/tid=31803] ppid=31793 vsize=915460 CPUtime=0
/proc/31795/task/31803/stat : 31803 (java) S 31793 31795 31294 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158950340 937431040 9397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1802.42
CPU time (s): 1800.14
CPU user time (s): 1799.9
CPU system time (s): 0.234964
CPU usage (%): 99.8736
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9681
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= 37672
involuntary context switches= 86203

runsolver used 1.87571 s user time and 6.14607 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 17:45:53 UTC 2007


IDJOB= 194718
IDBENCH= 3229
FILE ID= node12/194718-1168105552

PBS_JOBID= 3477057

Free space on /tmp= 66317 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-194718-1168105552 -o ROOT/results/node12/solver-194718-1168105552 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194718-1168105552/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  355ab8f832e3d36154095e0c19f77125

RANDOM SEED= 824818562

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.265
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.265
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:       1692784 kB
Buffers:         41972 kB
Cached:         201772 kB
SwapCached:       4660 kB
Active:         119404 kB
Inactive:       170412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692784 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2072 kB
Writeback:           0 kB
Mapped:          63364 kB
Slab:            58100 kB
Committed_AS:  4153432 kB
PageTables:       2184 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= 66304 MiB



End job on node12 on Sat Jan  6 18:15:55 UTC 2007