Trace number 195844

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.15 1807

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-33_ext.xml
MD5SUM3631fb31670115f93949060135ba5c0c
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 benchmark150.29
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.45	   
0.45	Abscon 109 (November, 2006)
0.45	   
0.45	   configuration
0.45	     name=esac.xml
0.53	   
0.53	   instance
0.53	     name=/tmp/evaluation/195844-1168115209/unknown.xml
0.56	   
0.56	   domains being loaded...
0.56	   
0.56	   variables being loaded...
0.60	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.60	       =>  wckTime=0.141  cpuTime=0.08  mem=6M951
0.60	   
0.60	   relations being loaded...
1.24	   
1.24	   constraints being loaded...
1.51	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.51	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.51	       =>  wckTime=1.045  cpuTime=0.88  mem=50M819
1.63	   
1.63	   solver IterativeSystematicSolver being built... 
1.80	       =>  wckTime=1.337  cpuTime=1.01  mem=35M601
1.90	   
1.90	   preprocessing
1.90	     nbConstraintChecks=32023  nbValidityChecks=50637  nbPropagations=193  nbRevisions=2097  nbUselessRevisions=1811
1.90	     nbSingletonTests=31  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.90	       =>  wckTime=0.103  cpuTime=0.07  mem=35M601
1.96	   
1.96	   search
1.96	     run=0  nbConstraintChecks=25079  nbValidityChecks=50418  nbPropagations=464  nbRevisions=5072
1.96	     nbUselessRevisions=4160  nbAssignments=23  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=41
1.96	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.96	       =>  wckTime=0.159  cpuTime=0.12  mem=35M601
2.04	   
2.04	   search
2.04	     run=1  nbConstraintChecks=71884  nbValidityChecks=142925  nbPropagations=1395  nbRevisions=15426
2.04	     nbUselessRevisions=12548  nbAssignments=64  nbFailedAssignments=29  nbBacktracks=25  nbVisitedNodes=115
2.04	     nbRestartNogoods=1  mapSize=25  nbInferences=0  nbTooLargeKeys=0
2.04	       =>  wckTime=0.24  cpuTime=0.21  mem=35M601
2.18	   
2.18	   search
2.18	     run=2  nbConstraintChecks=148917  nbValidityChecks=287330  nbPropagations=2983  nbRevisions=34487
2.18	     nbUselessRevisions=27829  nbAssignments=133  nbFailedAssignments=69  nbBacktracks=49  nbVisitedNodes=240
2.18	     nbRestartNogoods=5  mapSize=44  nbInferences=0  nbTooLargeKeys=0
2.18	       =>  wckTime=0.377  cpuTime=0.32  mem=35M601
2.35	   
2.35	   search
2.35	     run=3  nbConstraintChecks=262961  nbValidityChecks=529110  nbPropagations=5901  nbRevisions=69971
2.35	     nbUselessRevisions=56340  nbAssignments=243  nbFailedAssignments=140  nbBacktracks=82  nbVisitedNodes=450
2.35	     nbRestartNogoods=8  mapSize=77  nbInferences=0  nbTooLargeKeys=0
2.35	       =>  wckTime=0.554  cpuTime=0.5  mem=35M601
2.58	   
2.58	   search
2.58	     run=4  nbConstraintChecks=413622  nbValidityChecks=836966  nbPropagations=10300  nbRevisions=125006
2.58	     nbUselessRevisions=100672  nbAssignments=392  nbFailedAssignments=214  nbBacktracks=132  nbVisitedNodes=686
2.58	     nbRestartNogoods=15  mapSize=123  nbInferences=0  nbTooLargeKeys=0
2.58	       =>  wckTime=0.778  cpuTime=0.72  mem=35M601
2.97	   
2.97	   search
2.97	     run=5  nbConstraintChecks=672033  nbValidityChecks=1330116  nbPropagations=16820  nbRevisions=207375
2.97	     nbUselessRevisions=166593  nbAssignments=583  nbFailedAssignments=309  nbBacktracks=208  nbVisitedNodes=1012
2.97	     nbRestartNogoods=24  mapSize=192  nbInferences=0  nbTooLargeKeys=0
2.97	       =>  wckTime=1.172  cpuTime=1.11  mem=35M601
3.48	   
3.49	   search
3.49	     run=6  nbConstraintChecks=1019439  nbValidityChecks=2017574  nbPropagations=26335  nbRevisions=328443
3.49	     nbUselessRevisions=263673  nbAssignments=879  nbFailedAssignments=475  nbBacktracks=322  nbVisitedNodes=1536
3.49	     nbRestartNogoods=32  mapSize=292  nbInferences=0  nbTooLargeKeys=0
3.49	       =>  wckTime=1.685  cpuTime=1.62  mem=35M601
4.05	   
4.05	   search
4.05	     run=7  nbConstraintChecks=1404231  nbValidityChecks=2801860  nbPropagations=39995  nbRevisions=502859
4.05	     nbUselessRevisions=403438  nbAssignments=1268  nbFailedAssignments=687  nbBacktracks=492  nbVisitedNodes=2242
4.05	     nbRestartNogoods=36  mapSize=438  nbInferences=0  nbTooLargeKeys=0
4.05	       =>  wckTime=2.248  cpuTime=2.18  mem=35M601
5.04	   
5.04	   search
5.04	     run=8  nbConstraintChecks=2083120  nbValidityChecks=4115943  nbPropagations=59676  nbRevisions=754577
5.04	     nbUselessRevisions=605195  nbAssignments=1856  nbFailedAssignments=1001  nbBacktracks=749  nbVisitedNodes=3306
5.04	     nbRestartNogoods=42  mapSize=660  nbInferences=0  nbTooLargeKeys=0
5.04	       =>  wckTime=3.237  cpuTime=3.15  mem=35M601
6.58	   
6.58	   search
6.58	     run=9  nbConstraintChecks=3117142  nbValidityChecks=6219253  nbPropagations=89338  nbRevisions=1131615
6.58	     nbUselessRevisions=907502  nbAssignments=2773  nbFailedAssignments=1530  nbBacktracks=1133  nbVisitedNodes=5007
6.58	     nbRestartNogoods=48  mapSize=978  nbInferences=0  nbTooLargeKeys=0
6.58	       =>  wckTime=4.776  cpuTime=4.67  mem=35M601
6.82	   
6.82	   INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=35M601)
8.34	   
8.34	   search
8.34	     run=10  nbConstraintChecks=4383744  nbValidityChecks=8783946  nbPropagations=133661  nbRevisions=1679918
8.34	     nbUselessRevisions=1344592  nbAssignments=4062  nbFailedAssignments=2239  nbBacktracks=1709  nbVisitedNodes=7364
8.34	     nbRestartNogoods=55
8.34	       =>  wckTime=6.544  cpuTime=6.43  mem=35M601
11.13	   
11.13	   search
11.13	     run=11  nbConstraintChecks=6476378  nbValidityChecks=12921314  nbPropagations=197980  nbRevisions=2486908
11.13	     nbUselessRevisions=1989209  nbAssignments=5983  nbFailedAssignments=3289  nbBacktracks=2575  nbVisitedNodes=10880
11.13	     nbRestartNogoods=62
11.13	       =>  wckTime=9.329  cpuTime=9.21  mem=35M601
15.92	   
15.92	   search
15.92	     run=12  nbConstraintChecks=9932141  nbValidityChecks=19920330  nbPropagations=296442  nbRevisions=3728921
15.92	     nbUselessRevisions=2984045  nbAssignments=9028  nbFailedAssignments=5030  nbBacktracks=3873  nbVisitedNodes=16535
15.92	     nbRestartNogoods=73
15.92	       =>  wckTime=14.123  cpuTime=14.0  mem=35M601
22.07	   
22.07	   search
22.07	     run=13  nbConstraintChecks=14476426  nbValidityChecks=28847894  nbPropagations=437793  nbRevisions=5518863
22.07	     nbUselessRevisions=4419249  nbAssignments=12998  nbFailedAssignments=7048  nbBacktracks=5820  nbVisitedNodes=23728
22.07	     nbRestartNogoods=82
22.07	       =>  wckTime=20.269  cpuTime=20.15  mem=35M601
33.33	   
33.33	   search
33.33	     run=14  nbConstraintChecks=22383775  nbValidityChecks=44741270  nbPropagations=654107  nbRevisions=8262834
33.33	     nbUselessRevisions=6616767  nbAssignments=19777  nbFailedAssignments=10901  nbBacktracks=8739  nbVisitedNodes=36310
33.33	     nbRestartNogoods=90
33.33	       =>  wckTime=31.532  cpuTime=31.38  mem=35M601
46.52	   
46.52	   search
46.52	     run=15  nbConstraintChecks=31729106  nbValidityChecks=63838307  nbPropagations=978571  nbRevisions=12282737
46.52	     nbUselessRevisions=9823472  nbAssignments=29314  nbFailedAssignments=15990  nbBacktracks=13117
46.52	     nbVisitedNodes=53566  nbRestartNogoods=113
46.52	       =>  wckTime=44.716  cpuTime=44.55  mem=35M601
73.40	   
73.40	   search
73.40	     run=16  nbConstraintChecks=50712971  nbValidityChecks=102694457  nbPropagations=1485659  nbRevisions=18633601
73.40	     nbUselessRevisions=14899830  nbAssignments=46744  nbFailedAssignments=26819  nbBacktracks=19685
73.40	     nbVisitedNodes=86312  nbRestartNogoods=139
73.40	       =>  wckTime=71.596  cpuTime=71.39  mem=35M601
103.28	   
103.28	   search
103.28	     run=17  nbConstraintChecks=72932546  nbValidityChecks=146917704  nbPropagations=2216159  nbRevisions=27796122
103.28	     nbUselessRevisions=22221527  nbAssignments=67700  nbFailedAssignments=37917  nbBacktracks=29538
103.28	     nbVisitedNodes=124254  nbRestartNogoods=151
103.28	       =>  wckTime=101.478  cpuTime=101.25  mem=35M601
159.57	   
159.57	   search
159.57	     run=18  nbConstraintChecks=112942627  nbValidityChecks=229198260  nbPropagations=3343671  nbRevisions=42009828
159.57	     nbUselessRevisions=33617927  nbAssignments=103261  nbFailedAssignments=58694  nbBacktracks=44316
159.57	     nbVisitedNodes=190721  nbRestartNogoods=162
159.57	       =>  wckTime=157.768  cpuTime=157.48  mem=35M601
227.15	   
227.15	   search
227.15	     run=19  nbConstraintChecks=162720503  nbValidityChecks=328585955  nbPropagations=4984007  nbRevisions=62632186
227.15	     nbUselessRevisions=50122040  nbAssignments=150962  nbFailedAssignments=84220  nbBacktracks=66485
227.15	     nbVisitedNodes=277192  nbRestartNogoods=181
227.15	       =>  wckTime=225.349  cpuTime=225.0  mem=35M601
350.38	   
350.38	   search
350.38	     run=20  nbConstraintChecks=249757104  nbValidityChecks=507998739  nbPropagations=7500448  nbRevisions=94368952
350.38	     nbUselessRevisions=75573779  nbAssignments=228597  nbFailedAssignments=128597  nbBacktracks=99737
350.38	     nbVisitedNodes=421573  nbRestartNogoods=196
350.38	       =>  wckTime=348.583  cpuTime=348.09  mem=35M601
502.78	   
502.78	   search
502.78	     run=21  nbConstraintChecks=361647672  nbValidityChecks=731664942  nbPropagations=11202987  nbRevisions=140712298
502.78	     nbUselessRevisions=112643880  nbAssignments=335692  nbFailedAssignments=185795  nbBacktracks=149617
502.78	     nbVisitedNodes=616339  nbRestartNogoods=209
502.78	       =>  wckTime=500.981  cpuTime=500.34  mem=35M601
815.99	   
815.99	   search
815.99	     run=22  nbConstraintChecks=585013319  nbValidityChecks=1179709661  nbPropagations=16928488  nbRevisions=213195488
815.99	     nbUselessRevisions=170622435  nbAssignments=521539  nbFailedAssignments=296791  nbBacktracks=224435
815.99	     nbVisitedNodes=962779  nbRestartNogoods=225
815.99	       =>  wckTime=814.186  cpuTime=813.22  mem=35M601
1178.23	   
1178.23	   search
1178.23	     run=23  nbConstraintChecks=846882052  nbValidityChecks=1706661435  nbPropagations=25389407  nbRevisions=319407414
1178.23	     nbUselessRevisions=255423820  nbAssignments=769399  nbFailedAssignments=432417  nbBacktracks=336663
1178.23	     nbVisitedNodes=1414589  nbRestartNogoods=253
1178.23	       =>  wckTime=1176.429  cpuTime=1175.08  mem=35M601
1784.30	   
1784.30	   search
1784.30	     run=24  nbConstraintChecks=1276416692  nbValidityChecks=2583612128  nbPropagations=38133570  nbRevisions=479911636
1784.30	     nbUselessRevisions=383837944  nbAssignments=1168627  nbFailedAssignments=663287  nbBacktracks=505005
1784.30	     nbVisitedNodes=2152437  nbRestartNogoods=270
1784.30	       =>  wckTime=1782.498  cpuTime=1775.92  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/node9/watcher-195844-1168115209 -o ROOT/results/node9/solver-195844-1168115209 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195844-1168115209/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: 2.37 2.42 2.61 4/87 31939
/proc/meminfo: memFree=1764752/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=18540 CPUtime=0
/proc/31938/stat : 31938 (runsolver) D 31936 31938 31871 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 159916080 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/31938/statm: 4635 279 244 17 0 2626 0

[startup+0.103396 s]
/proc/loadavg: 2.37 2.42 2.61 4/87 31939
/proc/meminfo: memFree=1764752/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=906644 CPUtime=0.03
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 2099 0 5 0 2 1 0 0 18 0 2 0 159916080 928403456 1852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020120 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 226661 1852 1057 14 0 214244 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 906644

[startup+0.511449 s]
/proc/loadavg: 2.37 2.42 2.61 4/87 31939
/proc/meminfo: memFree=1764752/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915328 CPUtime=0.35
/proc/31938/stat : 31938 (java) D 31936 31938 31871 0 -1 0 5386 0 32 0 29 6 0 0 18 0 8 0 159916080 937295872 5157 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228832 5157 2039 14 0 215302 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 915328

[startup+1.33454 s]
/proc/loadavg: 2.37 2.42 2.61 3/94 31946
/proc/meminfo: memFree=1700120/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915328 CPUtime=1.15
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 19078 0 35 0 100 15 0 0 24 0 8 0 159916080 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228832 18849 2160 14 0 215302 0
[pid=31938/tid=31940] ppid=31936 vsize=915328 CPUtime=0.04
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 2650 0 0 0 4 0 0 0 16 0 8 0 159916090 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915328 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915328 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159916091 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915328 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915328 CPUtime=0.08
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 320 0 0 0 8 0 0 0 15 0 8 0 159916095 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915328 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937295872 18849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915328 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 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.15
Current children cumulated vsize (KiB) 915328

[startup+2.98773 s]
/proc/loadavg: 2.37 2.42 2.61 3/94 31946
/proc/meminfo: memFree=1670552/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=2.8
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23535 0 35 0 262 18 0 0 25 0 8 0 159916080 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23304 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 159916090 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.19
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 159916095 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 915420

[startup+6.2841 s]
/proc/loadavg: 2.34 2.41 2.61 3/94 31946
/proc/meminfo: memFree=1670168/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=6.09
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23550 0 35 0 591 18 0 0 25 0 8 0 159916080 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23316 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 17 0 8 0 159916090 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.22
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 159916095 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 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.09
Current children cumulated vsize (KiB) 915420

[startup+12.7788 s]
/proc/loadavg: 2.32 2.41 2.61 3/94 31946
/proc/meminfo: memFree=1669656/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=12.58
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23555 0 35 0 1240 18 0 0 25 0 8 0 159916080 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23320 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.23
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 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) 12.58
Current children cumulated vsize (KiB) 915420

[startup+25.6293 s]
/proc/loadavg: 2.25 2.39 2.60 3/94 31946
/proc/meminfo: memFree=1669272/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=25.4
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23555 0 35 0 2522 18 0 0 25 0 8 0 159916080 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23320 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.23
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 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) 25.4
Current children cumulated vsize (KiB) 915420

[startup+51.2702 s]
/proc/loadavg: 2.16 2.35 2.58 3/94 31946
/proc/meminfo: memFree=1668312/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=51.02
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 5084 18 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755180 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915420

[startup+102.543 s]
/proc/loadavg: 2.07 2.30 2.54 3/94 31946
/proc/meminfo: memFree=1666136/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=102.24
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 10206 18 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843657 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915420

[startup+162.566 s]
/proc/loadavg: 2.02 2.24 2.51 3/94 31946
/proc/meminfo: memFree=1663832/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=162.19
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 16200 19 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.06 s]
/proc/loadavg: 2.00 2.01 2.11 3/93 32173
/proc/meminfo: memFree=1761632/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1479.13
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 147881 32 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.13
Current children cumulated vsize (KiB) 915420

[startup+1543.06 s]
/proc/loadavg: 2.00 2.01 2.10 3/93 32173
/proc/meminfo: memFree=1761632/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1538.59
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 153827 32 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.59
Current children cumulated vsize (KiB) 915420

[startup+1603.07 s]
/proc/loadavg: 2.00 2.00 2.09 3/93 32173
/proc/meminfo: memFree=1761504/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1598.06
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 159773 33 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073770044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.06
Current children cumulated vsize (KiB) 915420

[startup+1663.07 s]
/proc/loadavg: 2.00 2.00 2.08 3/93 32173
/proc/meminfo: memFree=1761440/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1657.51
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 165718 33 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.51
Current children cumulated vsize (KiB) 915420

[startup+1723.07 s]
/proc/loadavg: 2.00 2.00 2.08 3/93 32173
/proc/meminfo: memFree=1761376/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1716.98
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 171664 34 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.98
Current children cumulated vsize (KiB) 915420

[startup+1783.07 s]
/proc/loadavg: 2.00 2.00 2.07 3/93 32173
/proc/meminfo: memFree=1761248/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1776.44
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 177609 35 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.44
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.94 s]
/proc/loadavg: 2.00 2.00 2.07 4/93 32173
/proc/meminfo: memFree=1761248/2055920 swapFree=4191880/4192956
[pid=31938] ppid=31936 vsize=915420 CPUtime=1800.09
/proc/31938/stat : 31938 (java) R 31936 31938 31871 0 -1 0 23557 0 35 0 179974 35 0 0 25 0 8 0 159916080 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31938/statm: 228855 23321 2531 14 0 215325 0
[pid=31938/tid=31940] ppid=31936 vsize=915420 CPUtime=0.16
/proc/31938/task/31940/stat : 31940 (java) S 31936 31938 31871 0 -1 64 6584 0 0 0 14 2 0 0 16 0 8 0 159916090 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31941] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31941/stat : 31941 (java) S 31936 31938 31871 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31942] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31942/stat : 31942 (java) S 31936 31938 31871 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159916091 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31943] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31943/stat : 31943 (java) S 31936 31938 31871 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31944] ppid=31936 vsize=915420 CPUtime=0.24
/proc/31938/task/31944/stat : 31944 (java) S 31936 31938 31871 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31938/tid=31945] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31945/stat : 31945 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31938/tid=31946] ppid=31936 vsize=915420 CPUtime=0
/proc/31938/task/31946/stat : 31946 (java) S 31936 31938 31871 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159916095 937390080 23321 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1807
CPU time (s): 1800.15
CPU user time (s): 1799.78
CPU system time (s): 0.373943
CPU usage (%): 99.6208
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.373943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23575
page faults= 35
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37752
involuntary context switches= 54184

runsolver used 2.24566 s user time and 5.76112 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan  6 20:26:49 UTC 2007


IDJOB= 195844
IDBENCH= 3306
FILE ID= node9/195844-1168115209

PBS_JOBID= 3477134

Free space on /tmp= 66519 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3631fb31670115f93949060135ba5c0c

RANDOM SEED= 951149854

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.231
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.231
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:       1765360 kB
Buffers:         27792 kB
Cached:          57172 kB
SwapCached:        376 kB
Active:         180184 kB
Inactive:        51920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765360 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5508 kB
Writeback:           0 kB
Mapped:         159808 kB
Slab:            43048 kB
Committed_AS:  4272536 kB
PageTables:       2508 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= 66535 MiB



End job on node9 on Sat Jan  6 20:56:56 UTC 2007