Trace number 194946

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.06 1802.12

General information on the benchmark

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

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/194946-1168109087/unknown.xml
0.42	   
0.42	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.47	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.47	       =>  wckTime=0.104  cpuTime=0.09  mem=6M951
0.47	   
0.47	   relations being loaded...
0.62	   
0.62	   constraints being loaded...
0.76	     nbConstraints=469  nbRelationTypes=469  nbExtensionStructures=469  nbSharedExtensionStructures=0
0.76	     nbConflictsStructures=469  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2471  maxDegree=26
0.76	     maxArity=2
0.76	       =>  wckTime=0.398  cpuTime=0.3  mem=17M695
0.81	   
0.81	   solver IterativeSystematicSolver being built... 
0.97	       =>  wckTime=0.608  cpuTime=0.44  mem=15M584
1.03	   
1.03	   preprocessing
1.03	     nbConstraintChecks=95278  nbPropagations=1121  nbRevisions=8715  nbUselessRevisions=7264  nbSingletonTests=55
1.03	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.03	       =>  wckTime=0.059  cpuTime=0.03  mem=15M584
1.06	   
1.06	   search
1.06	     run=0  nbConstraintChecks=45915  nbPropagations=1670  nbRevisions=15686  nbUselessRevisions=13008  nbAssignments=27
1.06	     nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=39  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.06	     nbTooLargeKeys=0
1.06	       =>  wckTime=0.089  cpuTime=0.05  mem=15M584
1.08	   
1.08	   search
1.08	     run=1  nbConstraintChecks=102653  nbPropagations=4016  nbRevisions=39863  nbUselessRevisions=33088
1.08	     nbAssignments=63  nbFailedAssignments=15  nbBacktracks=29  nbVisitedNodes=91  nbRestartNogoods=3  mapSize=19
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.11  cpuTime=0.06  mem=15M584
1.10	   
1.10	   search
1.10	     run=2  nbConstraintChecks=179755  nbPropagations=7341  nbRevisions=77110  nbUselessRevisions=64035
1.10	     nbAssignments=115  nbFailedAssignments=32  nbBacktracks=51  nbVisitedNodes=172  nbRestartNogoods=5  mapSize=38
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.127  cpuTime=0.08  mem=15M584
1.13	   
1.13	   search
1.13	     run=3  nbConstraintChecks=329846  nbPropagations=12548  nbRevisions=138426  nbUselessRevisions=114930
1.13	     nbAssignments=202  nbFailedAssignments=53  nbBacktracks=86  nbVisitedNodes=283  nbRestartNogoods=9  mapSize=67
1.13	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.161  cpuTime=0.11  mem=15M584
1.17	   
1.17	   search
1.17	     run=4  nbConstraintChecks=497365  nbPropagations=19696  nbRevisions=228473  nbUselessRevisions=189334
1.17	     nbAssignments=306  nbFailedAssignments=94  nbBacktracks=138  nbVisitedNodes=458  nbRestartNogoods=15  mapSize=112
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.194  cpuTime=0.14  mem=15M584
1.21	   
1.21	   search
1.21	     run=5  nbConstraintChecks=696086  nbPropagations=29367  nbRevisions=356888  nbUselessRevisions=295570
1.21	     nbAssignments=441  nbFailedAssignments=143  nbBacktracks=213  nbVisitedNodes=685  nbRestartNogoods=20  mapSize=179
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.237  cpuTime=0.18  mem=15M584
1.27	   
1.27	   search
1.27	     run=6  nbConstraintChecks=1006195  nbPropagations=42721  nbRevisions=538389  nbUselessRevisions=445294
1.27	     nbAssignments=626  nbFailedAssignments=204  nbBacktracks=326  nbVisitedNodes=993  nbRestartNogoods=23  mapSize=272
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.292  cpuTime=0.23  mem=15M584
1.36	   
1.36	   search
1.36	     run=7  nbConstraintChecks=1486155  nbPropagations=62122  nbRevisions=814405  nbUselessRevisions=673166
1.36	     nbAssignments=946  nbFailedAssignments=341  nbBacktracks=500  nbVisitedNodes=1549  nbRestartNogoods=30  mapSize=423
1.36	     nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.382  cpuTime=0.32  mem=15M584
1.49	   
1.49	   search
1.49	     run=8  nbConstraintChecks=2223848  nbPropagations=90132  nbRevisions=1220107  nbUselessRevisions=1006824
1.49	     nbAssignments=1384  nbFailedAssignments=512  nbBacktracks=758  nbVisitedNodes=2299  nbRestartNogoods=33
1.49	     mapSize=646  nbInferences=0  nbTooLargeKeys=0
1.49	       =>  wckTime=0.516  cpuTime=0.45  mem=15M584
1.68	   
1.68	   search
1.68	     run=9  nbConstraintChecks=3224972  nbPropagations=130595  nbRevisions=1816145  nbUselessRevisions=1496022
1.68	     nbAssignments=2026  nbFailedAssignments=758  nbBacktracks=1143  nbVisitedNodes=3397  nbRestartNogoods=39
1.68	     mapSize=966  nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.706  cpuTime=0.62  mem=15M584
1.71	   
1.71	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=15M584)
1.96	   
1.96	   search
1.96	     run=10  nbConstraintChecks=4858500  nbPropagations=191672  nbRevisions=2731496  nbUselessRevisions=2248936
1.96	     nbAssignments=3052  nbFailedAssignments=1195  nbBacktracks=1719  nbVisitedNodes=5199  nbRestartNogoods=48
1.96	       =>  wckTime=0.989  cpuTime=0.89  mem=15M584
2.33	   
2.33	   search
2.33	     run=11  nbConstraintChecks=7107804  nbPropagations=280632  nbRevisions=4078409  nbUselessRevisions=3358675
2.33	     nbAssignments=4493  nbFailedAssignments=1737  nbBacktracks=2583  nbVisitedNodes=7661  nbRestartNogoods=54
2.33	       =>  wckTime=1.355  cpuTime=1.25  mem=15M584
2.88	   
2.88	   search
2.88	     run=12  nbConstraintChecks=10640249  nbPropagations=412195  nbRevisions=6084103  nbUselessRevisions=5010975
2.88	     nbAssignments=6589  nbFailedAssignments=2527  nbBacktracks=3880  nbVisitedNodes=11253  nbRestartNogoods=60
2.88	       =>  wckTime=1.906  cpuTime=1.8  mem=15M584
3.64	   
3.65	   search
3.65	     run=13  nbConstraintChecks=15340123  nbPropagations=603202  nbRevisions=9024084  nbUselessRevisions=7439035
3.65	     nbAssignments=9675  nbFailedAssignments=3656  nbBacktracks=5828  nbVisitedNodes=16530  nbRestartNogoods=66
3.65	       =>  wckTime=2.671  cpuTime=2.56  mem=15M584
4.84	   
4.84	   search
4.84	     run=14  nbConstraintChecks=22938313  nbPropagations=884956  nbRevisions=13388595  nbUselessRevisions=11039034
4.84	     nbAssignments=14477  nbFailedAssignments=5529  nbBacktracks=8747  nbVisitedNodes=24743  nbRestartNogoods=72
4.84	       =>  wckTime=3.863  cpuTime=3.75  mem=15M584
6.50	   
6.50	   search
6.50	     run=15  nbConstraintChecks=33522547  nbPropagations=1295511  nbRevisions=19718018  nbUselessRevisions=16249048
6.50	     nbAssignments=21365  nbFailedAssignments=8028  nbBacktracks=13128  nbVisitedNodes=36424  nbRestartNogoods=78
6.50	       =>  wckTime=5.528  cpuTime=5.41  mem=15M584
9.16	   
9.16	   search
9.16	     run=16  nbConstraintChecks=50260664  nbPropagations=1910940  nbRevisions=29252634  nbUselessRevisions=24098619
9.16	     nbAssignments=32065  nbFailedAssignments=12131  nbBacktracks=19699  nbVisitedNodes=54772  nbRestartNogoods=88
9.16	       =>  wckTime=8.188  cpuTime=8.05  mem=15M584
13.14	   
13.14	   search
13.14	     run=17  nbConstraintChecks=75612975  nbPropagations=2834185  nbRevisions=43581221  nbUselessRevisions=35897142
13.14	     nbAssignments=48152  nbFailedAssignments=18355  nbBacktracks=29553  nbVisitedNodes=82342  nbRestartNogoods=95
13.14	       =>  wckTime=12.168  cpuTime=12.02  mem=16M560
19.08	   
19.08	   search
19.08	     run=18  nbConstraintChecks=112939533  nbPropagations=4224863  nbRevisions=65146468  nbUselessRevisions=53657919
19.08	     nbAssignments=72341  nbFailedAssignments=27758  nbBacktracks=44331  nbVisitedNodes=123985  nbRestartNogoods=101
19.08	       =>  wckTime=18.102  cpuTime=17.92  mem=16M560
28.04	   
28.04	   search
28.04	     run=19  nbConstraintChecks=169547102  nbPropagations=6305935  nbRevisions=97652944  nbUselessRevisions=80452974
28.04	     nbAssignments=108572  nbFailedAssignments=41809  nbBacktracks=66500  nbVisitedNodes=186422  nbRestartNogoods=113
28.04	       =>  wckTime=27.067  cpuTime=26.84  mem=16M560
40.96	   
40.96	   search
40.96	     run=20  nbConstraintChecks=253042315  nbPropagations=9395766  nbRevisions=145509341  nbUselessRevisions=119820960
40.96	     nbAssignments=161423  nbFailedAssignments=61397  nbBacktracks=99752  nbVisitedNodes=276229  nbRestartNogoods=123
40.96	       =>  wckTime=39.985  cpuTime=39.7  mem=16M560
60.10	   
60.10	   search
60.10	     run=21  nbConstraintChecks=386517140  nbPropagations=14056075  nbRevisions=218174120  nbUselessRevisions=179602461
60.10	     nbAssignments=241903  nbFailedAssignments=91987  nbBacktracks=149631  nbVisitedNodes=413938  nbRestartNogoods=137
60.10	       =>  wckTime=59.128  cpuTime=58.82  mem=16M560
88.25	   
88.25	   search
88.25	     run=22  nbConstraintChecks=580169104  nbPropagations=21091423  nbRevisions=327615916  nbUselessRevisions=269668176
88.25	     nbAssignments=363595  nbFailedAssignments=138849  nbBacktracks=224450  nbVisitedNodes=623643  nbRestartNogoods=155
88.25	       =>  wckTime=87.279  cpuTime=86.94  mem=16M560
130.86	   
130.86	   search
130.86	     run=23  nbConstraintChecks=875044350  nbPropagations=31656227  nbRevisions=493470779  nbUselessRevisions=406418576
130.86	     nbAssignments=545758  nbFailedAssignments=208774  nbBacktracks=336680  nbVisitedNodes=936634  nbRestartNogoods=168
130.86	       =>  wckTime=129.883  cpuTime=129.49  mem=16M560
194.14	   
194.14	   search
194.14	     run=24  nbConstraintChecks=1309087132  nbPropagations=47500457  nbRevisions=741626970  nbUselessRevisions=610805068
194.14	     nbAssignments=821392  nbFailedAssignments=316053  nbBacktracks=505025  nbVisitedNodes=1409479  nbRestartNogoods=182
194.14	       =>  wckTime=193.165  cpuTime=192.72  mem=16M560
291.74	   
291.74	   search
291.74	     run=25  nbConstraintChecks=2000261991  nbPropagations=71491855  nbRevisions=1114958512
291.74	     nbUselessRevisions=917817191  nbAssignments=1232138  nbFailedAssignments=474277  nbBacktracks=757536
291.74	     nbVisitedNodes=2114326  nbRestartNogoods=199
291.74	       =>  wckTime=290.769  cpuTime=290.23  mem=16M560
434.61	   
434.61	   search
434.61	     run=26  nbConstraintChecks=2983898089  nbPropagations=107335146  nbRevisions=1677047088
434.61	     nbUselessRevisions=1381049418  nbAssignments=1846861  nbFailedAssignments=710222  nbBacktracks=1136303
434.61	     nbVisitedNodes=3166792  nbRestartNogoods=211
434.61	       =>  wckTime=433.64  cpuTime=432.94  mem=16M560
647.08	   
647.08	   search
647.08	     run=27  nbConstraintChecks=4443411005  nbPropagations=160995948  nbRevisions=2518052581
647.08	     nbUselessRevisions=2074425789  nbAssignments=2766920  nbFailedAssignments=1062119  nbBacktracks=1704457
647.08	     nbVisitedNodes=4748443  nbRestartNogoods=223
647.08	       =>  wckTime=646.106  cpuTime=645.22  mem=16M560
962.85	   
962.85	   search
962.85	     run=28  nbConstraintChecks=6626335200  nbPropagations=240928380  nbRevisions=3772174222
962.85	     nbUselessRevisions=3108328484  nbAssignments=4150559  nbFailedAssignments=1593521  nbBacktracks=2556683
962.85	     nbVisitedNodes=7121140  nbRestartNogoods=240
962.85	       =>  wckTime=961.879  cpuTime=960.68  mem=16M560
1457.24	   
1457.24	   search
1457.24	     run=29  nbConstraintChecks=10087572685  nbPropagations=362073358  nbRevisions=5668098782
1457.24	     nbUselessRevisions=4670183403  nbAssignments=6216159  nbFailedAssignments=2380772  nbBacktracks=3835023
1457.24	     nbVisitedNodes=10668882  nbRestartNogoods=261
1457.24	       =>  wckTime=1456.268  cpuTime=1454.52  mem=16M560

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/node47/watcher-194946-1168109087 -o ROOT/results/node47/solver-194946-1168109087 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194946-1168109087/unknown.xml 

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

/proc/loadavg: 2.04 2.02 1.96 4/75 11726
/proc/meminfo: memFree=1848048/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=18540 CPUtime=0
/proc/11725/stat : 11725 (runsolver) R 11723 11725 10855 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 159308108 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11725/statm: 4635 279 244 17 0 2626 0

[startup+0.107122 s]
/proc/loadavg: 2.04 2.02 1.96 4/75 11726
/proc/meminfo: memFree=1848048/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=907808 CPUtime=0.06
/proc/11725/stat : 11725 (java) D 11723 11725 10855 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 159308108 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.515166 s]
/proc/loadavg: 2.04 2.02 1.96 4/75 11726
/proc/meminfo: memFree=1848048/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915328 CPUtime=0.45
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 6359 0 1 0 41 4 0 0 18 0 8 0 159308108 937295872 6098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228832 6098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33925 s]
/proc/loadavg: 2.04 2.02 1.96 3/82 11733
/proc/meminfo: memFree=1820344/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1.26
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9639 0 1 0 119 7 0 0 24 0 8 0 159308108 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228865 9377 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.22
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 159308121 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915460

[startup+2.98642 s]
/proc/loadavg: 2.04 2.02 1.96 3/82 11733
/proc/meminfo: memFree=1820152/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=2.91
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9658 0 1 0 283 8 0 0 25 0 8 0 159308108 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228865 9394 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915460

[startup+6.26577 s]
/proc/loadavg: 2.04 2.02 1.96 3/82 11733
/proc/meminfo: memFree=1820152/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=6.17
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9658 0 1 0 609 8 0 0 25 0 8 0 159308108 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228865 9394 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460

[startup+12.7545 s]
/proc/loadavg: 2.03 2.02 1.96 3/82 11733
/proc/meminfo: memFree=1820152/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=12.63
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9659 0 1 0 1255 8 0 0 25 0 8 0 159308108 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228865 9395 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460

[startup+25.5998 s]
/proc/loadavg: 2.03 2.02 1.96 3/82 11733
/proc/meminfo: memFree=1820216/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=25.41
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9659 0 1 0 2533 8 0 0 25 0 8 0 159308108 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11725/statm: 228865 9395 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915460

[startup+51.2076 s]
/proc/loadavg: 1.94 2.00 1.96 3/80 11815
/proc/meminfo: memFree=1823880/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=50.93
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9660 0 1 0 5084 9 0 0 25 0 8 0 159308108 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9395 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915460

[startup+102.456 s]
/proc/loadavg: 1.93 1.98 1.95 3/82 11825
/proc/meminfo: memFree=1819704/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=102.14
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9661 0 1 0 10204 10 0 0 25 0 8 0 159308108 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9396 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 915460

[startup+162.462 s]
/proc/loadavg: 1.97 1.98 1.95 3/82 11825
/proc/meminfo: memFree=1819704/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=162.06
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9661 0 1 0 16196 10 0 0 25 0 8 0 159308108 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1482.82 s]
/proc/loadavg: 2.00 2.00 1.96 3/82 12023
/proc/meminfo: memFree=1819064/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1481.06
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 148082 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.06
Current children cumulated vsize (KiB) 915460

[startup+1542.84 s]
/proc/loadavg: 2.00 2.00 1.96 3/82 12023
/proc/meminfo: memFree=1819192/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1541.03
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 154079 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.03
Current children cumulated vsize (KiB) 915460

[startup+1602.85 s]
/proc/loadavg: 2.00 2.00 1.96 3/82 12023
/proc/meminfo: memFree=1819192/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1600.97
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 160073 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.97
Current children cumulated vsize (KiB) 915460

[startup+1662.87 s]
/proc/loadavg: 2.00 2.00 1.96 3/82 12023
/proc/meminfo: memFree=1819192/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1660.94
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 166070 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.94
Current children cumulated vsize (KiB) 915460

[startup+1722.89 s]
/proc/loadavg: 2.04 2.01 1.97 3/82 12023
/proc/meminfo: memFree=1819128/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1720.91
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 172067 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.91
Current children cumulated vsize (KiB) 915460

[startup+1782.92 s]
/proc/loadavg: 2.05 2.02 1.97 3/82 12023
/proc/meminfo: memFree=1819128/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1780.86
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 178062 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.86
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.06 s]
/proc/loadavg: 2.04 2.02 1.97 3/82 12023
/proc/meminfo: memFree=1819128/2055920 swapFree=4183900/4192956
[pid=11725] ppid=11723 vsize=915460 CPUtime=1800
/proc/11725/stat : 11725 (java) R 11723 11725 10855 0 -1 0 9662 0 1 0 179976 24 0 0 25 0 8 0 159308108 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11725/statm: 228865 9397 2524 14 0 215335 0
[pid=11725/tid=11727] ppid=11723 vsize=915460 CPUtime=0.03
/proc/11725/task/11727/stat : 11727 (java) S 11723 11725 10855 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11728] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11728/stat : 11728 (java) S 11723 11725 10855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11729] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11729/stat : 11729 (java) S 11723 11725 10855 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159308113 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11730] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11730/stat : 11730 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11731] ppid=11723 vsize=915460 CPUtime=0.25
/proc/11725/task/11731/stat : 11731 (java) S 11723 11725 10855 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11725/tid=11732] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11732/stat : 11732 (java) S 11723 11725 10855 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11725/tid=11733] ppid=11723 vsize=915460 CPUtime=0
/proc/11725/task/11733/stat : 11733 (java) S 11723 11725 10855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159308121 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1802.12
CPU time (s): 1800.06
CPU user time (s): 1799.81
CPU system time (s): 0.251961
CPU usage (%): 99.8857
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9679
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= 37631
involuntary context switches= 10462

runsolver used 2.32365 s user time and 5.65714 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 18:44:49 UTC 2007


IDJOB= 194946
IDBENCH= 3241
FILE ID= node47/194946-1168109087

PBS_JOBID= 3477313

Free space on /tmp= 66532 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0955bad7bad51a0c043f275168565e66

RANDOM SEED= 278355661

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:       1848528 kB
Buffers:         12552 kB
Cached:         123708 kB
SwapCached:       3480 kB
Active:          78672 kB
Inactive:        79348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848528 kB
SwapTotal:     4192956 kB
SwapFree:      4183900 kB
Dirty:            2052 kB
Writeback:           0 kB
Mapped:          28532 kB
Slab:            34776 kB
Committed_AS:  2963076 kB
PageTables:       1876 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= 66532 MiB



End job on node47 on Sat Jan  6 19:14:51 UTC 2007