Trace number 203653

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 AC? (TO) 1800.1 1800.62

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-59021_ext.xml
MD5SUM44fdb95b12115dd36d19382bd61569e9
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark836.584
SatisfiableNO
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/203653-1168073147/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.40	       =>  wckTime=0.095  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=912  maxDegree=26
0.64	     maxArity=2
0.64	       =>  wckTime=0.342  cpuTime=0.27  mem=15M761
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.529  cpuTime=0.4  mem=14M250
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=0  nbPropagations=27  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.84	     detectedInconsistency=no
0.84	       =>  wckTime=0.0050  cpuTime=0.0  mem=14M250
0.88	   
0.88	   search
0.88	     run=0  nbConstraintChecks=39723  nbPropagations=478  nbRevisions=7878  nbUselessRevisions=6859  nbAssignments=28
0.88	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.05  cpuTime=0.03  mem=15M291
0.90	   
0.90	   search
0.90	     run=1  nbConstraintChecks=92359  nbPropagations=1574  nbRevisions=27079  nbUselessRevisions=23658  nbAssignments=63
0.90	     nbFailedAssignments=24  nbBacktracks=26  nbVisitedNodes=109  nbRestartNogoods=2  mapSize=25  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.071  cpuTime=0.04  mem=15M291
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=171082  nbPropagations=3533  nbRevisions=63214  nbUselessRevisions=55373
0.93	     nbAssignments=116  nbFailedAssignments=48  nbBacktracks=48  nbVisitedNodes=202  nbRestartNogoods=7  mapSize=47
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.094  cpuTime=0.06  mem=15M291
0.95	   
0.95	   search
0.95	     run=3  nbConstraintChecks=273603  nbPropagations=6613  nbRevisions=121439  nbUselessRevisions=106551
0.95	     nbAssignments=184  nbFailedAssignments=77  nbBacktracks=81  nbVisitedNodes=323  nbRestartNogoods=11  mapSize=79
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.119  cpuTime=0.08  mem=15M291
0.98	   
0.98	   search
0.98	     run=4  nbConstraintChecks=412453  nbPropagations=11205  nbRevisions=210960  nbUselessRevisions=185283
0.98	     nbAssignments=279  nbFailedAssignments=116  nbBacktracks=132  nbVisitedNodes=493  nbRestartNogoods=15  mapSize=127
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.147  cpuTime=0.12  mem=15M291
1.03	   
1.03	   search
1.03	     run=5  nbConstraintChecks=641448  nbPropagations=18199  nbRevisions=351564  nbUselessRevisions=308814
1.03	     nbAssignments=433  nbFailedAssignments=188  nbBacktracks=207  nbVisitedNodes=777  nbRestartNogoods=19  mapSize=201
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.194  cpuTime=0.16  mem=15M291
1.09	   
1.09	   search
1.09	     run=6  nbConstraintChecks=1016853  nbPropagations=28923  nbRevisions=573800  nbUselessRevisions=504003
1.09	     nbAssignments=671  nbFailedAssignments=305  nbBacktracks=322  nbVisitedNodes=1210  nbRestartNogoods=27  mapSize=314
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.263  cpuTime=0.23  mem=15M291
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=1494443  nbPropagations=44571  nbRevisions=900814  nbUselessRevisions=791066
1.18	     nbAssignments=993  nbFailedAssignments=450  nbBacktracks=493  nbVisitedNodes=1797  nbRestartNogoods=33  mapSize=483
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.349  cpuTime=0.32  mem=15M291
1.31	   
1.31	   search
1.31	     run=8  nbConstraintChecks=2186767  nbPropagations=67733  nbRevisions=1390937  nbUselessRevisions=1221608
1.31	     nbAssignments=1473  nbFailedAssignments=667  nbBacktracks=750  nbVisitedNodes=2690  nbRestartNogoods=38
1.31	     mapSize=734  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.477  cpuTime=0.44  mem=15M291
1.46	   
1.46	   INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=15M291)
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=3346466  nbPropagations=102531  nbRevisions=2139781  nbUselessRevisions=1879496
1.51	     nbAssignments=2208  nbFailedAssignments=1013  nbBacktracks=1134  nbVisitedNodes=4041  nbRestartNogoods=47
1.51	       =>  wckTime=0.674  cpuTime=0.62  mem=15M291
1.81	   
1.81	   search
1.81	     run=10  nbConstraintChecks=5049523  nbPropagations=154399  nbRevisions=3270264  nbUselessRevisions=2872377
1.81	     nbAssignments=3330  nbFailedAssignments=1552  nbBacktracks=1710  nbVisitedNodes=6102  nbRestartNogoods=53
1.81	       =>  wckTime=0.977  cpuTime=0.92  mem=15M291
2.37	   
2.37	   search
2.37	     run=11  nbConstraintChecks=7720319  nbPropagations=232554  nbRevisions=4988906  nbUselessRevisions=4381899
2.37	     nbAssignments=5010  nbFailedAssignments=2361  nbBacktracks=2576  nbVisitedNodes=9202  nbRestartNogoods=65
2.37	       =>  wckTime=1.542  cpuTime=1.48  mem=15M291
3.19	   
3.19	   search
3.19	     run=12  nbConstraintChecks=11519861  nbPropagations=349284  nbRevisions=7564570  nbUselessRevisions=6644957
3.19	     nbAssignments=7476  nbFailedAssignments=3524  nbBacktracks=3873  nbVisitedNodes=13767  nbRestartNogoods=72
3.19	       =>  wckTime=2.357  cpuTime=2.29  mem=15M291
4.41	   
4.41	   search
4.41	     run=13  nbConstraintChecks=17217152  nbPropagations=523661  nbRevisions=11425276  nbUselessRevisions=10037837
4.41	     nbAssignments=11220  nbFailedAssignments=5315  nbBacktracks=5819  nbVisitedNodes=20676  nbRestartNogoods=85
4.41	       =>  wckTime=3.578  cpuTime=3.51  mem=15M291
6.31	   
6.31	   search
6.31	     run=14  nbConstraintChecks=26182491  nbPropagations=786862  nbRevisions=17289968  nbUselessRevisions=15193297
6.31	     nbAssignments=16836  nbFailedAssignments=8007  nbBacktracks=8738  nbVisitedNodes=31098  nbRestartNogoods=92
6.31	       =>  wckTime=5.479  cpuTime=5.41  mem=15M291
9.15	   
9.15	   search
9.15	     run=15  nbConstraintChecks=39621419  nbPropagations=1183338  nbRevisions=26143320  nbUselessRevisions=22973139
9.15	     nbAssignments=25266  nbFailedAssignments=12054  nbBacktracks=13116  nbVisitedNodes=46751  nbRestartNogoods=103
9.15	       =>  wckTime=8.321  cpuTime=8.25  mem=15M291
13.27	   
13.27	   search
13.27	     run=16  nbConstraintChecks=58797420  nbPropagations=1773948  nbRevisions=39295317  nbUselessRevisions=34528795
13.27	     nbAssignments=37794  nbFailedAssignments=18007  nbBacktracks=19684  nbVisitedNodes=69931  nbRestartNogoods=115
13.27	       =>  wckTime=12.434  cpuTime=12.37  mem=15M291
19.55	   
19.55	   search
19.55	     run=17  nbConstraintChecks=87995666  nbPropagations=2658725  nbRevisions=59028772  nbUselessRevisions=51869121
19.55	     nbAssignments=56677  nbFailedAssignments=27032  nbBacktracks=29537  nbVisitedNodes=104906  nbRestartNogoods=133
19.55	       =>  wckTime=18.715  cpuTime=18.65  mem=15M291
29.03	   
29.03	   search
29.03	     run=18  nbConstraintChecks=132906878  nbPropagations=3986407  nbRevisions=88754799  nbUselessRevisions=77997601
29.03	     nbAssignments=84825  nbFailedAssignments=40396  nbBacktracks=44315  nbVisitedNodes=157014  nbRestartNogoods=145
29.03	       =>  wckTime=28.199  cpuTime=28.13  mem=15M291
42.77	   
42.77	   search
42.77	     run=19  nbConstraintChecks=196381659  nbPropagations=5962364  nbRevisions=132910964  nbUselessRevisions=116815065
42.77	     nbAssignments=126950  nbFailedAssignments=60346  nbBacktracks=66483  nbVisitedNodes=234795  nbRestartNogoods=171
42.77	       =>  wckTime=41.943  cpuTime=41.86  mem=15M291
64.27	   
64.27	   search
64.27	     run=20  nbConstraintChecks=297455279  nbPropagations=8940520  nbRevisions=199719247  nbUselessRevisions=175557179
64.27	     nbAssignments=190906  nbFailedAssignments=91045  nbBacktracks=99735  nbVisitedNodes=353310  nbRestartNogoods=189
64.27	       =>  wckTime=63.44  cpuTime=63.35  mem=15M291
95.96	   
95.96	   search
95.96	     run=21  nbConstraintChecks=445302803  nbPropagations=13404695  nbRevisions=299924551  nbUselessRevisions=263689955
95.96	     nbAssignments=286096  nbFailedAssignments=136350  nbBacktracks=149614  nbVisitedNodes=529545  nbRestartNogoods=203
95.96	       =>  wckTime=95.124  cpuTime=95.03  mem=15M291
144.59	   
144.59	   search
144.60	     run=22  nbConstraintChecks=675049447  nbPropagations=20135504  nbRevisions=451410110  nbUselessRevisions=396927409
144.60	     nbAssignments=429823  nbFailedAssignments=205253  nbBacktracks=224433  nbVisitedNodes=795945  nbRestartNogoods=226
144.60	       =>  wckTime=143.764  cpuTime=143.66  mem=15M291
219.02	   
219.02	   search
219.02	     run=23  nbConstraintChecks=1027057322  nbPropagations=30300792  nbRevisions=681147954  nbUselessRevisions=599032460
219.02	     nbAssignments=646237  nbFailedAssignments=309435  nbBacktracks=336660  nbVisitedNodes=1197528  nbRestartNogoods=237
219.02	       =>  wckTime=218.189  cpuTime=218.07  mem=15M291
327.75	   
327.75	   search
327.75	     run=24  nbConstraintChecks=1540074534  nbPropagations=45534420  nbRevisions=1025633465
327.75	     nbUselessRevisions=902125663  nbAssignments=968172  nbFailedAssignments=463024  nbBacktracks=505001
327.75	     nbVisitedNodes=1794264  nbRestartNogoods=260
327.75	       =>  wckTime=326.919  cpuTime=326.77  mem=15M291
489.81	   
489.81	   search
489.81	     run=25  nbConstraintChecks=2298978843  nbPropagations=68323737  nbRevisions=1540562278
489.81	     nbUselessRevisions=1355236190  nbAssignments=1450728  nbFailedAssignments=693062  nbBacktracks=757512
489.81	     nbVisitedNodes=2688031  nbRestartNogoods=294
489.81	       =>  wckTime=488.979  cpuTime=488.79  mem=15M291
734.35	   
734.35	   search
734.35	     run=26  nbConstraintChecks=3451109830  nbPropagations=102512268  nbRevisions=2313846946
734.35	     nbUselessRevisions=2035732644  nbAssignments=2177927  nbFailedAssignments=1041488  nbBacktracks=1136279
734.35	     nbVisitedNodes=4034372  nbRestartNogoods=324
734.35	       =>  wckTime=733.523  cpuTime=733.27  mem=15M291
1099.12	   
1099.12	   search
1099.12	     run=27  nbConstraintChecks=5170045701  nbPropagations=153722740  nbRevisions=3472303399
1099.12	     nbUselessRevisions=3055316353  nbAssignments=3263035  nbFailedAssignments=1558439  nbBacktracks=1704430
1099.12	     nbVisitedNodes=6043019  nbRestartNogoods=338
1099.12	       =>  wckTime=1098.287  cpuTime=1097.87  mem=15M291
1662.05	   
1662.06	   search
1662.06	     run=28  nbConstraintChecks=7841717995  nbPropagations=230978559  nbRevisions=5225603897
1662.06	     nbUselessRevisions=4598675353  nbAssignments=4905573  nbFailedAssignments=2348745  nbBacktracks=2556656
1662.06	     nbVisitedNodes=9089907  nbRestartNogoods=360
1662.06	       =>  wckTime=1661.224  cpuTime=1660.66  mem=15M291

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node41/watcher-203653-1168073147 -o ROOT/results/node41/solver-203653-1168073147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203653-1168073147/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: 0.92 0.98 0.99 2/65 6735
/proc/meminfo: memFree=1667880/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=1784 CPUtime=0
/proc/6734/stat : 6734 (java) D 6732 6734 6239 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 155713976 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/6734/statm: 446 136 102 14 0 91 0

[startup+0.102477 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6735
/proc/meminfo: memFree=1667880/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=914988 CPUtime=0.08
/proc/6734/stat : 6734 (java) S 6732 6734 6239 0 -1 0 2998 0 1 0 7 1 0 0 17 0 8 0 155713976 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51151 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6735
/proc/meminfo: memFree=1667880/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915328 CPUtime=0.49
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 7262 0 1 0 44 5 0 0 16 0 8 0 155713976 937295872 7001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228832 7001 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33858 s]
/proc/loadavg: 0.92 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641904/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1.33
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9203 0 1 0 126 7 0 0 16 0 8 0 155713976 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8941 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.2
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 155713984 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915456

[startup+2.97872 s]
/proc/loadavg: 0.92 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641776/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=2.97
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9213 0 1 0 290 7 0 0 17 0 8 0 155713976 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8948 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456

[startup+6.25501 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641776/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=6.24
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9214 0 1 0 617 7 0 0 21 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8949 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 392 0 0 0 20 1 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+12.7336 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641776/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=12.72
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9214 0 1 0 1265 7 0 0 25 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8949 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 392 0 0 0 20 1 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915456

[startup+25.5667 s]
/proc/loadavg: 0.95 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641840/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=25.55
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9214 0 1 0 2548 7 0 0 25 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8949 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915456

[startup+51.2439 s]
/proc/loadavg: 0.96 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641904/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=51.23
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9214 0 1 0 5115 8 0 0 25 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8949 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915456

[startup+102.491 s]
/proc/loadavg: 0.98 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641904/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=102.46
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9215 0 1 0 10238 8 0 0 25 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8949 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915456

[startup+162.575 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 6742
/proc/meminfo: memFree=1641904/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=162.53
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9215 0 1 0 16245 8 0 0 25 0 8 0 155713976 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.84
Current children cumulated vsize (KiB) 915456

[startup+1484.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6940
/proc/meminfo: memFree=1641648/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1483.91
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 148382 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.91
Current children cumulated vsize (KiB) 915456

[startup+1544.44 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6940
/proc/meminfo: memFree=1641584/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1543.98
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 154389 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.98
Current children cumulated vsize (KiB) 915456

[startup+1604.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6940
/proc/meminfo: memFree=1641648/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1604.04
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 160395 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.04
Current children cumulated vsize (KiB) 915456

[startup+1664.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 6940
/proc/meminfo: memFree=1641584/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1664.11
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 166402 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.11
Current children cumulated vsize (KiB) 915456

[startup+1724.68 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 6940
/proc/meminfo: memFree=1641584/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1724.18
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 172409 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.18
Current children cumulated vsize (KiB) 915456

[startup+1784.77 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 6940
/proc/meminfo: memFree=1641584/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1784.25
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 178416 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.25
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.59 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 6940
/proc/meminfo: memFree=1641520/2055920 swapFree=4192812/4192956
[pid=6734] ppid=6732 vsize=915456 CPUtime=1800.07
/proc/6734/stat : 6734 (java) R 6732 6734 6239 0 -1 0 9216 0 1 0 179998 9 0 0 25 0 8 0 155713976 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6734/statm: 228864 8950 2513 14 0 215334 0
[pid=6734/tid=6736] ppid=6732 vsize=915456 CPUtime=0.03
/proc/6734/task/6736/stat : 6736 (java) S 6732 6734 6239 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 155713980 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6737] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6737/stat : 6737 (java) S 6732 6734 6239 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6738] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6738/stat : 6738 (java) S 6732 6734 6239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155713981 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6739] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6739/stat : 6739 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6740] ppid=6732 vsize=915456 CPUtime=0.21
/proc/6734/task/6740/stat : 6740 (java) S 6732 6734 6239 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6741] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6741/stat : 6741 (java) S 6732 6734 6239 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6734/tid=6742] ppid=6732 vsize=915456 CPUtime=0
/proc/6734/task/6742/stat : 6742 (java) S 6732 6734 6239 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155713984 937426944 8950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1800
CPU system time (s): 0.098984
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9233
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= 37240
involuntary context switches= 1963

runsolver used 1.84172 s user time and 4.55231 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Sat Jan  6 08:45:47 UTC 2007


IDJOB= 203653
IDBENCH= 3974
FILE ID= node41/203653-1168073147

PBS_JOBID= 3475950

Free space on /tmp= 66531 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-59021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203653-1168073147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-203653-1168073147 -o ROOT/results/node41/solver-203653-1168073147 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203653-1168073147/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  44fdb95b12115dd36d19382bd61569e9

RANDOM SEED= 736056799

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.234
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.234
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:       1668360 kB
Buffers:         32748 kB
Cached:         264344 kB
SwapCached:          0 kB
Active:          53868 kB
Inactive:       258876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1668360 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2060 kB
Writeback:           0 kB
Mapped:          25836 kB
Slab:            60832 kB
Committed_AS:  2500132 kB
PageTables:       1476 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= 66531 MiB



End job on node41 on Sat Jan  6 09:15:51 UTC 2007