Trace number 196183

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 ACUNSAT 931.082 938.954

DiagnosticValue
CHECKS651305203
NODES481784

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-4_ext.xml
MD5SUM4ea4c4ee290c9adfb8c44879b86c5eca
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark284.015
SatisfiableNO
(Un)Satisfiability was provedNO
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.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/196183-1168070451/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.48	       =>  wckTime=0.098  cpuTime=0.09  mem=6M951
0.48	   
0.48	   relations being loaded...
1.14	   
1.14	   constraints being loaded...
1.41	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.41	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=20  maxArity=3
1.41	       =>  wckTime=1.037  cpuTime=0.9  mem=50M841
1.54	   
1.54	   solver IterativeSystematicSolver being built... 
1.70	       =>  wckTime=1.324  cpuTime=1.04  mem=34M589
1.71	   
1.71	   preprocessing
1.71	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.71	     detectedInconsistency=no
1.71	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M589
1.85	   
1.85	   search
1.85	     run=0  nbConstraintChecks=45346  nbValidityChecks=81304  nbPropagations=475  nbRevisions=4644
1.85	     nbUselessRevisions=3612  nbAssignments=36  nbFailedAssignments=22  nbBacktracks=10  nbVisitedNodes=68
1.85	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.85	       =>  wckTime=0.147  cpuTime=0.11  mem=35M580
1.95	   
1.95	   search
1.95	     run=1  nbConstraintChecks=98436  nbValidityChecks=185665  nbPropagations=1525  nbRevisions=16182
1.95	     nbUselessRevisions=12557  nbAssignments=81  nbFailedAssignments=48  nbBacktracks=25  nbVisitedNodes=149
1.95	     nbRestartNogoods=3  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.245  cpuTime=0.2  mem=35M580
2.12	   
2.12	   search
2.12	     run=2  nbConstraintChecks=207766  nbValidityChecks=397196  nbPropagations=3504  nbRevisions=39484
2.12	     nbUselessRevisions=30840  nbAssignments=153  nbFailedAssignments=93  nbBacktracks=49  nbVisitedNodes=282
2.13	     nbRestartNogoods=8  mapSize=45  nbInferences=0  nbTooLargeKeys=0
2.13	       =>  wckTime=0.422  cpuTime=0.37  mem=35M580
2.32	   
2.32	   search
2.32	     run=3  nbConstraintChecks=326668  nbValidityChecks=627573  nbPropagations=6703  nbRevisions=77177
2.32	     nbUselessRevisions=60124  nbAssignments=242  nbFailedAssignments=143  nbBacktracks=84  nbVisitedNodes=445
2.32	     nbRestartNogoods=14  mapSize=78  nbInferences=0  nbTooLargeKeys=0
2.32	       =>  wckTime=0.613  cpuTime=0.55  mem=35M580
2.63	   
2.63	   search
2.63	     run=4  nbConstraintChecks=527639  nbValidityChecks=1038296  nbPropagations=12009  nbRevisions=141152
2.63	     nbUselessRevisions=109991  nbAssignments=438  nbFailedAssignments=283  nbBacktracks=134  nbVisitedNodes=815
2.63	     nbRestartNogoods=20  mapSize=119  nbInferences=0  nbTooLargeKeys=0
2.63	       =>  wckTime=0.927  cpuTime=0.86  mem=35M580
3.11	   
3.11	   search
3.11	     run=5  nbConstraintChecks=862274  nbValidityChecks=1661391  nbPropagations=20193  nbRevisions=242348
3.11	     nbUselessRevisions=188887  nbAssignments=681  nbFailedAssignments=447  nbBacktracks=209  nbVisitedNodes=1277
3.11	     nbRestartNogoods=29  mapSize=188  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=1.403  cpuTime=1.32  mem=35M580
3.73	   
3.73	   search
3.73	     run=6  nbConstraintChecks=1274453  nbValidityChecks=2459870  nbPropagations=32382  nbRevisions=391529
3.73	     nbUselessRevisions=304808  nbAssignments=971  nbFailedAssignments=620  nbBacktracks=323  nbVisitedNodes=1820
3.73	     nbRestartNogoods=34  mapSize=295  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=2.027  cpuTime=1.94  mem=35M580
4.58	   
4.58	   search
4.58	     run=7  nbConstraintChecks=1839295  nbValidityChecks=3563009  nbPropagations=49961  nbRevisions=609290
4.58	     nbUselessRevisions=475090  nbAssignments=1430  nbFailedAssignments=905  nbBacktracks=493  nbVisitedNodes=2681
4.58	     nbRestartNogoods=39  mapSize=448  nbInferences=0  nbTooLargeKeys=0
4.58	       =>  wckTime=2.873  cpuTime=2.77  mem=35M580
6.11	   
6.11	   search
6.11	     run=8  nbConstraintChecks=2854241  nbValidityChecks=5552088  nbPropagations=77621  nbRevisions=949692
6.11	     nbUselessRevisions=740507  nbAssignments=2212  nbFailedAssignments=1427  nbBacktracks=749  nbVisitedNodes=4189
6.11	     nbRestartNogoods=50  mapSize=688  nbInferences=0  nbTooLargeKeys=0
6.11	       =>  wckTime=4.403  cpuTime=4.27  mem=35M580
7.87	   
7.87	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=35M580)
8.09	   
8.09	   search
8.09	     run=9  nbConstraintChecks=4170448  nbValidityChecks=8217610  nbPropagations=119194  nbRevisions=1461253
8.09	     nbUselessRevisions=1140309  nbAssignments=3307  nbFailedAssignments=2134  nbBacktracks=1133  nbVisitedNodes=6250
8.09	     nbRestartNogoods=66
8.09	       =>  wckTime=6.389  cpuTime=6.23  mem=35M580
12.05	   
12.06	   search
12.06	     run=10  nbConstraintChecks=6797775  nbValidityChecks=13495427  nbPropagations=185513  nbRevisions=2288928
12.06	     nbUselessRevisions=1791280  nbAssignments=5443  nbFailedAssignments=3691  nbBacktracks=1709  nbVisitedNodes=10396
12.06	     nbRestartNogoods=70
12.06	       =>  wckTime=10.352  cpuTime=10.12  mem=35M580
16.97	   
16.97	   search
16.97	     run=11  nbConstraintChecks=10343617  nbValidityChecks=20387747  nbPropagations=284828  nbRevisions=3538280
16.97	     nbUselessRevisions=2769552  nbAssignments=8232  nbFailedAssignments=5612  nbBacktracks=2574  nbVisitedNodes=15717
16.97	     nbRestartNogoods=78
16.97	       =>  wckTime=15.269  cpuTime=14.96  mem=35M580
23.37	   
23.38	   search
23.38	     run=12  nbConstraintChecks=14789444  nbValidityChecks=29173416  nbPropagations=429053  nbRevisions=5331338
23.38	     nbUselessRevisions=4166075  nbAssignments=11758  nbFailedAssignments=7837  nbBacktracks=3871  nbVisitedNodes=22409
23.38	     nbRestartNogoods=85
23.38	       =>  wckTime=21.672  cpuTime=21.29  mem=35M580
33.85	   
33.85	   search
33.85	     run=13  nbConstraintChecks=21974386  nbValidityChecks=43421103  nbPropagations=644314  nbRevisions=8009791
33.85	     nbUselessRevisions=6251333  nbAssignments=17419  nbFailedAssignments=11548  nbBacktracks=5817  nbVisitedNodes=33287
33.85	     nbRestartNogoods=90
33.85	       =>  wckTime=32.151  cpuTime=31.64  mem=35M580
49.04	   
49.04	   search
49.04	     run=14  nbConstraintChecks=32421295  nbValidityChecks=63834708  nbPropagations=965498  nbRevisions=11948205
49.04	     nbUselessRevisions=9308666  nbAssignments=25486  nbFailedAssignments=16691  nbBacktracks=8736  nbVisitedNodes=48713
49.04	     nbRestartNogoods=102
49.04	       =>  wckTime=47.332  cpuTime=46.65  mem=35M580
71.75	   
71.75	   search
71.75	     run=15  nbConstraintChecks=47888371  nbValidityChecks=95105603  nbPropagations=1449785  nbRevisions=17915007
71.75	     nbUselessRevisions=13950480  nbAssignments=38688  nbFailedAssignments=25509  nbBacktracks=13114
71.75	     nbVisitedNodes=73969  nbRestartNogoods=119
71.75	       =>  wckTime=70.052  cpuTime=69.15  mem=35M580
106.75	   
106.75	   search
106.75	     run=16  nbConstraintChecks=71686718  nbValidityChecks=142508511  nbPropagations=2177468  nbRevisions=26939371
106.75	     nbUselessRevisions=20983985  nbAssignments=58231  nbFailedAssignments=38480  nbBacktracks=19683
106.75	     nbVisitedNodes=111323  nbRestartNogoods=135
106.75	       =>  wckTime=105.043  cpuTime=103.76  mem=35M580
164.28	   
164.28	   search
164.28	     run=17  nbConstraintChecks=111177048  nbValidityChecks=219088920  nbPropagations=3270497  nbRevisions=40484064
164.28	     nbUselessRevisions=31542936  nbAssignments=86809  nbFailedAssignments=57201  nbBacktracks=29535
164.28	     nbVisitedNodes=166072  nbRestartNogoods=141
164.28	       =>  wckTime=162.58  cpuTime=160.78  mem=35M580
247.36	   
247.36	   search
247.36	     run=18  nbConstraintChecks=168190580  nbValidityChecks=330031598  nbPropagations=4914503  nbRevisions=60714190
247.36	     nbUselessRevisions=47292520  nbAssignments=129412  nbFailedAssignments=85022  nbBacktracks=44313
247.36	     nbVisitedNodes=247691  nbRestartNogoods=162
247.36	       =>  wckTime=245.659  cpuTime=243.1  mem=35M580
380.00	   
380.00	   search
380.00	     run=19  nbConstraintChecks=259634764  nbValidityChecks=505678358  nbPropagations=7397501  nbRevisions=91367791
380.00	     nbUselessRevisions=71170139  nbAssignments=193826  nbFailedAssignments=127265  nbBacktracks=66481
380.01	     nbVisitedNodes=371323  nbRestartNogoods=190
380.01	       =>  wckTime=378.302  cpuTime=374.53  mem=35M580
576.92	   
576.92	   search
576.92	     run=20  nbConstraintChecks=395373131  nbValidityChecks=770160902  nbPropagations=11173491  nbRevisions=138027019
576.92	     nbUselessRevisions=107526700  nbAssignments=294871  nbFailedAssignments=195052  nbBacktracks=99735
576.92	     nbVisitedNodes=565898  nbRestartNogoods=197
576.92	       =>  wckTime=575.214  cpuTime=569.64  mem=35M580
868.31	   
868.31	   search
868.31	     run=21  nbConstraintChecks=599240147  nbValidityChecks=1163997215  nbPropagations=16839574  nbRevisions=208275814
868.31	     nbUselessRevisions=162302252  nbAssignments=442068  nbFailedAssignments=292368  nbBacktracks=149613
868.31	     nbVisitedNodes=848649  nbRestartNogoods=214
868.31	       =>  wckTime=866.606  cpuTime=858.83  mem=35M580
938.88	   
938.88	   search
938.88	     run=22  nbConstraintChecks=651305203  nbValidityChecks=1266534325  nbPropagations=23005058  nbRevisions=284771646
938.88	     nbUselessRevisions=221946533  nbAssignments=481784  nbFailedAssignments=319194  nbBacktracks=162504
938.88	     nbVisitedNodes=925167  nbRestartNogoods=241
938.88	       =>  wckTime=937.179  cpuTime=929.34  mem=35M580
938.88	   
938.88	   global
938.88	     nbConstraintChecks=651305203  nbValidityChecks=1266534325  nbPropagations=23005082  nbRevisions=284771646
938.88	     nbUselessRevisions=221946533  nbRestartNogoods=241  solvingWckTime=937.18  solvingCpuTime=929.34  expiredTime=no
938.88	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=930.44
938.88	       =>  wckTime=938.507  cpuTime=930.38  mem=35M580
938.89	   
938.89	s UNSATISFIABLE
938.89	d NODES 481784
938.89	d CHECKS 651305203
938.89	   
938.89	   totalWckTime=938.588  totalCpuTime=930.44

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

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

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

/proc/loadavg: 1.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=18540 CPUtime=0
/proc/10458/stat : 10458 (runsolver) R 10456 10458 10391 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155440667 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10458/statm: 4635 279 244 17 0 2626 0

[startup+0.104019 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=907808 CPUtime=0.06
/proc/10458/stat : 10458 (java) D 10456 10458 10391 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 155440667 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.516059 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915328 CPUtime=0.43
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 6425 0 1 0 40 3 0 0 18 0 8 0 155440667 937295872 6164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228832 6164 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.34215 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1156872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915328 CPUtime=1.24
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 19113 0 1 0 115 9 0 0 25 0 8 0 155440667 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228832 18851 2160 14 0 215302 0
[pid=10458/tid=10460] ppid=10456 vsize=915328 CPUtime=0.05
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155440671 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155440672 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915328 CPUtime=0.1
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328

[startup+2.9793 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1140232/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=2.86
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23551 0 1 0 274 12 0 0 25 0 8 0 155440667 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23286 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.19
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915420

[startup+6.26661 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1140232/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=6.12
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23567 0 1 0 599 13 0 0 25 0 8 0 155440667 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23299 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 17 0 8 0 155440671 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.23
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 388 0 0 0 22 1 0 0 15 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915420

[startup+12.7572 s]
/proc/loadavg: 1.94 1.98 1.91 3/106 10492
/proc/meminfo: memFree=1139096/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=12.52
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 1239 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915420

[startup+25.6375 s]
/proc/loadavg: 1.95 1.98 1.91 3/106 10540
/proc/meminfo: memFree=1139280/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=25.23
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 2510 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915420

[startup+51.2809 s]
/proc/loadavg: 1.97 1.98 1.91 3/106 10604
/proc/meminfo: memFree=1139288/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=50.59
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 5046 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915420

[startup+102.562 s]
/proc/loadavg: 1.98 1.98 1.91 3/106 10644
/proc/meminfo: memFree=1139352/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=101.35
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 10122 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915420

[startup+162.573 s]
/proc/loadavg: 1.99 1.98 1.91 3/100 10664
/proc/meminfo: memFree=1140296/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=160.8
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 16066 14 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (KiB) 915420

[startup+522.62 s]
/proc/loadavg: 2.01 2.02 1.93 3/100 10664
/proc/meminfo: memFree=1140424/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=517.55
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 51739 16 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.55
Current children cumulated vsize (KiB) 915420

[startup+582.632 s]
/proc/loadavg: 2.00 2.01 1.93 3/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=577.02
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 57685 17 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.02
Current children cumulated vsize (KiB) 915420

[startup+642.641 s]
/proc/loadavg: 2.00 2.00 1.93 5/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=636.48
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 63631 17 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.48
Current children cumulated vsize (KiB) 915420

[startup+702.657 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=695.94
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 69576 18 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.94
Current children cumulated vsize (KiB) 915420

[startup+762.757 s]
/proc/loadavg: 1.84 1.96 1.91 3/100 10812
/proc/meminfo: memFree=1086024/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=755.83
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 75562 21 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 755.83
Current children cumulated vsize (KiB) 915420

[startup+822.767 s]
/proc/loadavg: 2.14 2.02 1.93 3/100 10812
/proc/meminfo: memFree=1085896/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=815.3
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 81508 22 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.3
Current children cumulated vsize (KiB) 915420

[startup+882.849 s]
/proc/loadavg: 1.94 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1034184/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=875.07
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 87484 23 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768774 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.07
Current children cumulated vsize (KiB) 915420

Child status: 0
Real time (s): 938.954
CPU time (s): 931.082
CPU user time (s): 930.824
CPU system time (s): 0.25796
CPU usage (%): 99.1617
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 930.824
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23582
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= 20109
involuntary context switches= 40403

runsolver used 1.25981 s user time and 2.89456 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 08:00:51 UTC 2007


IDJOB= 196183
IDBENCH= 3332
FILE ID= node4/196183-1168070451

PBS_JOBID= 3475715

Free space on /tmp= 66303 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4ea4c4ee290c9adfb8c44879b86c5eca

RANDOM SEED= 927039171

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.223
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.223
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:       1224352 kB
Buffers:         73380 kB
Cached:         585000 kB
SwapCached:        268 kB
Active:         443232 kB
Inactive:       292588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1224352 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4752 kB
Writeback:           0 kB
Mapped:         105744 kB
Slab:            80204 kB
Committed_AS:  4496416 kB
PageTables:       2504 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= 66303 MiB



End job on node4 on Sat Jan  6 08:16:31 UTC 2007