Trace number 196234

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 ESACSAT 680.721 681.612

DiagnosticValue
CHECKS520167581
NODES490458

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-18_ext.xml
MD5SUM00f785a45aa82671ed3db507767e40df
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 benchmark50.5663
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints74
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension74
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/196234-1168120841/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.39	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.99	   
0.99	   constraints being loaded...
1.23	     nbConstraints=74  nbRelationTypes=74  nbExtensionStructures=74  nbSharedExtensionStructures=0
1.23	     nbConflictsStructures=74  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
1.24	       =>  wckTime=0.939  cpuTime=0.83  mem=47M691
1.35	   
1.35	   solver IterativeSystematicSolver being built... 
1.51	       =>  wckTime=1.213  cpuTime=0.96  mem=34M239
1.61	   
1.61	   preprocessing
1.61	     nbConstraintChecks=34616  nbValidityChecks=57925  nbPropagations=235  nbRevisions=2425  nbUselessRevisions=2088
1.62	     nbSingletonTests=34  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
1.62	       =>  wckTime=0.103  cpuTime=0.08  mem=34M239
1.67	   
1.67	   search
1.67	     run=0  nbConstraintChecks=23483  nbValidityChecks=45264  nbPropagations=494  nbRevisions=5212
1.67	     nbUselessRevisions=4275  nbAssignments=25  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=40
1.67	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.67	       =>  wckTime=0.155  cpuTime=0.13  mem=35M242
1.73	   
1.73	   search
1.73	     run=1  nbConstraintChecks=59493  nbValidityChecks=115781  nbPropagations=1362  nbRevisions=14879
1.73	     nbUselessRevisions=12177  nbAssignments=61  nbFailedAssignments=22  nbBacktracks=25  nbVisitedNodes=98
1.73	     nbRestartNogoods=3  mapSize=18  nbInferences=0  nbTooLargeKeys=0
1.73	       =>  wckTime=0.215  cpuTime=0.19  mem=35M242
1.82	   
1.82	   search
1.82	     run=2  nbConstraintChecks=110963  nbValidityChecks=222351  nbPropagations=2856  nbRevisions=31255
1.82	     nbUselessRevisions=25476  nbAssignments=120  nbFailedAssignments=41  nbBacktracks=49  nbVisitedNodes=179
1.82	     nbRestartNogoods=9  mapSize=37  nbInferences=0  nbTooLargeKeys=0
1.82	       =>  wckTime=0.31  cpuTime=0.27  mem=35M242
1.97	   
1.97	   search
1.97	     run=3  nbConstraintChecks=219301  nbValidityChecks=419661  nbPropagations=5201  nbRevisions=58766
1.97	     nbUselessRevisions=47607  nbAssignments=192  nbFailedAssignments=74  nbBacktracks=83  nbVisitedNodes=309
1.97	     nbRestartNogoods=13  mapSize=66  nbInferences=0  nbTooLargeKeys=0
1.97	       =>  wckTime=0.462  cpuTime=0.42  mem=35M242
2.20	   
2.20	   search
2.20	     run=4  nbConstraintChecks=382492  nbValidityChecks=754387  nbPropagations=9417  nbRevisions=110298
2.20	     nbUselessRevisions=88566  nbAssignments=353  nbFailedAssignments=180  nbBacktracks=134  nbVisitedNodes=616
2.20	     nbRestartNogoods=20  mapSize=114  nbInferences=0  nbTooLargeKeys=0
2.20	       =>  wckTime=0.692  cpuTime=0.65  mem=35M242
2.45	   
2.45	   search
2.45	     run=5  nbConstraintChecks=556304  nbValidityChecks=1089217  nbPropagations=15646  nbRevisions=184541
2.45	     nbUselessRevisions=147363  nbAssignments=539  nbFailedAssignments=286  nbBacktracks=210  nbVisitedNodes=956
2.45	     nbRestartNogoods=21  mapSize=178  nbInferences=0  nbTooLargeKeys=0
2.45	       =>  wckTime=0.936  cpuTime=0.88  mem=35M242
2.80	   
2.80	   search
2.80	     run=6  nbConstraintChecks=810659  nbValidityChecks=1574787  nbPropagations=24489  nbRevisions=289167
2.80	     nbUselessRevisions=230069  nbAssignments=765  nbFailedAssignments=393  nbBacktracks=325  nbVisitedNodes=1352
2.80	     nbRestartNogoods=23  mapSize=265  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=1.289  cpuTime=1.23  mem=35M242
3.48	   
3.48	   search
3.48	     run=7  nbConstraintChecks=1300066  nbValidityChecks=2541758  nbPropagations=38792  nbRevisions=461746
3.48	     nbUselessRevisions=366129  nbAssignments=1178  nbFailedAssignments=629  nbBacktracks=495  nbVisitedNodes=2130
3.49	     nbRestartNogoods=30  mapSize=422  nbInferences=0  nbTooLargeKeys=0
3.49	       =>  wckTime=1.973  cpuTime=1.91  mem=35M242
4.24	   
4.24	   search
4.24	     run=8  nbConstraintChecks=1859494  nbValidityChecks=3643019  nbPropagations=59284  nbRevisions=706588
4.24	     nbUselessRevisions=559276  nbAssignments=1805  nbFailedAssignments=986  nbBacktracks=752  nbVisitedNodes=3247
4.24	     nbRestartNogoods=36  mapSize=618  nbInferences=0  nbTooLargeKeys=0
4.24	       =>  wckTime=2.732  cpuTime=2.65  mem=35M242
5.53	   
5.53	   search
5.53	     run=9  nbConstraintChecks=2853543  nbValidityChecks=5545387  nbPropagations=88492  nbRevisions=1060989
5.53	     nbUselessRevisions=840835  nbAssignments=2656  nbFailedAssignments=1446  nbBacktracks=1137  nbVisitedNodes=4779
5.53	     nbRestartNogoods=42  mapSize=928  nbInferences=0  nbTooLargeKeys=0
5.53	       =>  wckTime=4.02  cpuTime=3.93  mem=35M242
5.85	   
5.85	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=35M242)
7.16	   
7.16	   search
7.16	     run=10  nbConstraintChecks=4071042  nbValidityChecks=7999587  nbPropagations=132024  nbRevisions=1583236
7.16	     nbUselessRevisions=1255082  nbAssignments=3942  nbFailedAssignments=2150  nbBacktracks=1715  nbVisitedNodes=7095
7.16	     nbRestartNogoods=52
7.16	       =>  wckTime=5.649  cpuTime=5.55  mem=35M242
9.48	   
9.48	   search
9.48	     run=11  nbConstraintChecks=5877000  nbValidityChecks=11587020  nbPropagations=195904  nbRevisions=2347662
9.48	     nbUselessRevisions=1861614  nbAssignments=5900  nbFailedAssignments=3228  nbBacktracks=2583  nbVisitedNodes=10609
9.48	     nbRestartNogoods=59
9.48	       =>  wckTime=7.973  cpuTime=7.87  mem=35M242
13.91	   
13.91	   search
13.91	     run=12  nbConstraintChecks=9330698  nbValidityChecks=18188944  nbPropagations=291817  nbRevisions=3516385
13.91	     nbUselessRevisions=2791211  nbAssignments=8732  nbFailedAssignments=4757  nbBacktracks=3881  nbVisitedNodes=15771
13.91	     nbRestartNogoods=73
13.92	       =>  wckTime=12.403  cpuTime=12.3  mem=35M242
19.39	   
19.39	   search
19.39	     run=13  nbConstraintChecks=13508560  nbValidityChecks=26590991  nbPropagations=436939  nbRevisions=5264759
19.39	     nbUselessRevisions=4179268  nbAssignments=13277  nbFailedAssignments=7351  nbBacktracks=5829  nbVisitedNodes=24048
19.39	     nbRestartNogoods=80
19.39	       =>  wckTime=17.882  cpuTime=17.77  mem=35M242
28.83	   
28.83	   search
28.83	     run=14  nbConstraintChecks=20633706  nbValidityChecks=40497012  nbPropagations=653498  nbRevisions=7884034
28.83	     nbUselessRevisions=6259579  nbAssignments=19502  nbFailedAssignments=10651  nbBacktracks=8748  nbVisitedNodes=35269
28.83	     nbRestartNogoods=86
28.83	       =>  wckTime=27.319  cpuTime=27.17  mem=35M242
40.89	   
40.89	   search
40.89	     run=15  nbConstraintChecks=29728626  nbValidityChecks=58696306  nbPropagations=975649  nbRevisions=11754127
40.89	     nbUselessRevisions=9329678  nbAssignments=29000  nbFailedAssignments=15765  nbBacktracks=13129
40.89	     nbVisitedNodes=52368  nbRestartNogoods=105
40.89	       =>  wckTime=39.375  cpuTime=39.19  mem=35M242
62.80	   
62.80	   search
62.80	     run=16  nbConstraintChecks=46345122  nbValidityChecks=91047156  nbPropagations=1465143  nbRevisions=17641676
62.80	     nbUselessRevisions=13991673  nbAssignments=43212  nbFailedAssignments=23405  nbBacktracks=19698
62.80	     nbVisitedNodes=78141  nbRestartNogoods=119
62.80	       =>  wckTime=61.287  cpuTime=61.07  mem=35M242
90.61	   
90.61	   search
90.61	     run=17  nbConstraintChecks=67443028  nbValidityChecks=133294526  nbPropagations=2192421  nbRevisions=26366590
90.61	     nbUselessRevisions=20907048  nbAssignments=64902  nbFailedAssignments=35237  nbBacktracks=29550
90.61	     nbVisitedNodes=117165  nbRestartNogoods=128
90.61	       =>  wckTime=89.1  cpuTime=88.84  mem=35M242
140.96	   
140.96	   search
140.96	     run=18  nbConstraintChecks=105874842  nbValidityChecks=207847877  nbPropagations=3284309  nbRevisions=39613741
140.96	     nbUselessRevisions=31425002  nbAssignments=96574  nbFailedAssignments=52099  nbBacktracks=44328
140.96	     nbVisitedNodes=174424  nbRestartNogoods=146
140.96	       =>  wckTime=139.446  cpuTime=139.12  mem=35M242
202.14	   
202.15	   search
202.15	     run=19  nbConstraintChecks=152597491  nbValidityChecks=301888759  nbPropagations=4928501  nbRevisions=59323558
202.15	     nbUselessRevisions=47049081  nbAssignments=146298  nbFailedAssignments=79630  nbBacktracks=66498
202.15	     nbVisitedNodes=264671  nbRestartNogoods=164
202.15	       =>  wckTime=200.634  cpuTime=200.25  mem=35M242
318.03	   
318.03	   search
318.03	     run=20  nbConstraintChecks=241837583  nbValidityChecks=474023883  nbPropagations=7396433  nbRevisions=89335484
318.03	     nbUselessRevisions=70898408  nbAssignments=218917  nbFailedAssignments=118991  nbBacktracks=99750
318.03	     nbVisitedNodes=396301  nbRestartNogoods=189
318.03	       =>  wckTime=316.518  cpuTime=316.0  mem=35M242
458.72	   
458.72	   search
458.72	     run=21  nbConstraintChecks=349168477  nbValidityChecks=689552607  nbPropagations=11117951  nbRevisions=134035515
458.72	     nbUselessRevisions=106365479  nbAssignments=331389  nbFailedAssignments=181573  nbBacktracks=149628
458.72	     nbVisitedNodes=600606  nbRestartNogoods=197
458.72	       =>  wckTime=457.209  cpuTime=456.56  mem=35M242
681.50	   
681.50	   search
681.50	     run=22  nbConstraintChecks=520132965  nbValidityChecks=1025560568  nbPropagations=16639911  nbRevisions=200279095
681.50	     nbUselessRevisions=158920629  nbAssignments=490458  nbFailedAssignments=267090  nbBacktracks=223138
681.50	     nbVisitedNodes=888446  nbRestartNogoods=217
681.50	       =>  wckTime=679.989  cpuTime=679.09  mem=35M242
681.50	   
681.50	   global
681.50	     nbConstraintChecks=520167581  nbValidityChecks=1025618493  nbPropagations=16640146  nbRevisions=200281520
681.50	     nbUselessRevisions=158922717  nbRestartNogoods=217  solvingWckTime=679.99  solvingCpuTime=679.09  expiredTime=no
681.50	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=680.09
681.50	       =>  wckTime=681.206  cpuTime=680.05  mem=35M242
681.58	   
681.58	s SATISFIABLE
681.58	v 2 22 19 13 16 21 11 20 10 13 3 13 15 3 16 16 9 22 19 18 10 18 3 3 
681.58	d NODES 490458
681.58	d CHECKS 520167581
681.58	   
681.58	   totalWckTime=681.358  totalCpuTime=680.1

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-196234-1168120841 -o ROOT/results/node5/solver-196234-1168120841 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196234-1168120841/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.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=172 CPUtime=0
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 140698518 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/22903/statm: 43 24 18 14 0 3 0

[startup+0.107929 s]
/proc/loadavg: 1.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=914988 CPUtime=0.08
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 3073 0 1 0 7 1 0 0 24 0 8 0 140698518 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228747 2819 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516979 s]
/proc/loadavg: 1.90 1.98 1.99 4/94 22904
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915328 CPUtime=0.49
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 8204 0 1 0 45 4 0 0 25 0 8 0 140698518 937295872 7943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228832 7945 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34607 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1202864/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=1.32
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 22915 0 1 0 121 11 0 0 25 0 8 0 140698518 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155255260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 22652 2169 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.09
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 22652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416

[startup+2.98426 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1187056/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=2.96
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23410 0 1 0 283 13 0 0 25 0 8 0 140698518 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23146 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.19
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915416

[startup+6.26363 s]
/proc/loadavg: 1.90 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1186864/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=6.24
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23426 0 1 0 611 13 0 0 25 0 8 0 140698518 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23159 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 17 0 8 0 140698522 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.22
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915416

[startup+12.7554 s]
/proc/loadavg: 1.91 1.98 1.99 3/101 22911
/proc/meminfo: memFree=1186928/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=12.73
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23430 0 1 0 1260 13 0 0 25 0 8 0 140698518 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23162 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915416

[startup+25.6188 s]
/proc/loadavg: 1.93 1.98 1.99 3/107 22975
/proc/meminfo: memFree=1185856/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=25.56
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23430 0 1 0 2538 18 0 0 25 0 8 0 140698518 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23162 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915416

[startup+51.2517 s]
/proc/loadavg: 2.03 1.99 1.99 3/107 23029
/proc/meminfo: memFree=1185984/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=51.13
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 5090 23 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915416

[startup+102.505 s]
/proc/loadavg: 2.01 1.99 1.99 3/107 23081
/proc/meminfo: memFree=1185984/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=102.31
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 10201 30 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915416

[startup+162.594 s]
/proc/loadavg: 2.07 2.01 2.00 3/101 23109
/proc/meminfo: memFree=1186992/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=162.34
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 16202 32 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918495 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 915416

[startup+282.776 s]
/proc/loadavg: 1.98 1.99 1.99 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=282.38
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 28202 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756779 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.38
Current children cumulated vsize (KiB) 915416

[startup+342.857 s]
/proc/loadavg: 2.06 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=342.41
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 34205 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753527 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.41
Current children cumulated vsize (KiB) 915416

[startup+402.943 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=402.41
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 40205 36 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 915416

[startup+462.959 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=462.39
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 46202 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.39
Current children cumulated vsize (KiB) 915416

[startup+522.972 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=522.34
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 52197 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 915416

[startup+582.995 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 23180
/proc/meminfo: memFree=1183216/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=582.28
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 58191 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 915416

[startup+643.013 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 23180
/proc/meminfo: memFree=1183344/2055920 swapFree=4192812/4192956
[pid=22903] ppid=22901 vsize=915416 CPUtime=642.25
/proc/22903/stat : 22903 (java) R 22901 22903 22102 0 -1 0 23432 0 1 0 64188 37 0 0 25 0 8 0 140698518 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22903/statm: 228854 23163 2531 14 0 215324 0
[pid=22903/tid=22905] ppid=22901 vsize=915416 CPUtime=0.15
/proc/22903/task/22905/stat : 22905 (java) S 22901 22903 22102 0 -1 64 6427 0 0 0 13 2 0 0 16 0 8 0 140698522 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22906] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22906/stat : 22906 (java) S 22901 22903 22102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22907] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22907/stat : 22907 (java) S 22901 22903 22102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 140698523 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22908] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22908/stat : 22908 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22909] ppid=22901 vsize=915416 CPUtime=0.23
/proc/22903/task/22909/stat : 22909 (java) S 22901 22903 22102 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22910] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22910/stat : 22910 (java) S 22901 22903 22102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22903/tid=22911] ppid=22901 vsize=915416 CPUtime=0
/proc/22903/task/22911/stat : 22911 (java) S 22901 22903 22102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 140698526 937385984 23163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 681.612
CPU time (s): 680.721
CPU user time (s): 680.327
CPU system time (s): 0.39394
CPU usage (%): 99.8693
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.327
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23439
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= 14965
involuntary context switches= 30183

runsolver used 0.825874 s user time and 2.20566 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan  6 22:00:41 UTC 2007


IDJOB= 196234
IDBENCH= 3336
FILE ID= node5/196234-1168120841

PBS_JOBID= 3477142

Free space on /tmp= 66328 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  00f785a45aa82671ed3db507767e40df

RANDOM SEED= 531751863

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.240
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.240
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:       1270408 kB
Buffers:         60540 kB
Cached:         553772 kB
SwapCached:          0 kB
Active:         204212 kB
Inactive:       493172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1270408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4568 kB
Writeback:           0 kB
Mapped:         109668 kB
Slab:            72900 kB
Committed_AS:  3450876 kB
PageTables:       2316 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= 66328 MiB



End job on node5 on Sat Jan  6 22:12:02 UTC 2007