Trace number 237821

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.13 1802.2

General information on the benchmark

Namehaystacks/
haystacks_36.xml
MD5SUM39255fa757758e34b54045c43cc3e093
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark542.367
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1296
Number of constraints22715
Maximum constraint arity2
Maximum domain size36
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22715
Global constraints used (with number of constraints)

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/237821-1168083365/unknown.xml
0.44	   
0.44	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.58	     nbVariables=1296  nbDomainTypes=1  minDomainSize=36  maxDomainSize=36
0.58	       =>  wckTime=0.198  cpuTime=0.16  mem=9M812
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
3.07	     nbConstraints=22715  nbConvertedConstraints=22715  nbConvertConstraintsChecks=5184  nbExtensionStructures=4
3.07	     nbSharedExtensionStructures=22711  nbConflictsStructures=4  nbSharedConflictsStructures=22711
3.07	     nbSharedBinaryRepresentations=215  maxDegree=36  maxArity=2
3.07	       =>  wckTime=2.688  cpuTime=2.4  mem=47M222
3.24	   
3.24	   solver IterativeSystematicSolver being built... 
3.48	       =>  wckTime=3.094  cpuTime=2.58  mem=35M582
3.60	   
3.60	   preprocessing
3.60	     nbConstraintChecks=0  nbPropagations=1296  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.60	     detectedInconsistency=no
3.60	       =>  wckTime=0.112  cpuTime=0.11  mem=35M582
3.85	   
3.85	   search
3.85	     run=0  nbConstraintChecks=90418  nbPropagations=4532  nbRevisions=3260  nbUselessRevisions=73  nbAssignments=120
3.85	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=141  nbRestartNogoods=0  mapSize=10  nbInferences=0
3.85	     nbTooLargeKeys=0
3.85	       =>  wckTime=0.362  cpuTime=0.33  mem=36M579
3.97	   
3.97	   search
3.97	     run=1  nbConstraintChecks=181020  nbPropagations=12317  nbRevisions=9807  nbUselessRevisions=224  nbAssignments=245
3.97	     nbFailedAssignments=22  nbBacktracks=25  nbVisitedNodes=290  nbRestartNogoods=4  mapSize=23  nbInferences=0
3.97	     nbTooLargeKeys=0
3.97	       =>  wckTime=0.486  cpuTime=0.45  mem=37M575
4.10	   
4.10	   search
4.10	     run=2  nbConstraintChecks=271931  nbPropagations=23447  nbRevisions=19742  nbUselessRevisions=460
4.10	     nbAssignments=387  nbFailedAssignments=42  nbBacktracks=47  nbVisitedNodes=472  nbRestartNogoods=5  mapSize=45
4.10	     nbInferences=0  nbTooLargeKeys=0
4.10	       =>  wckTime=0.615  cpuTime=0.58  mem=38M572
4.24	   
4.24	   search
4.24	     run=3  nbConstraintChecks=363170  nbPropagations=38004  nbRevisions=33147  nbUselessRevisions=783
4.24	     nbAssignments=548  nbFailedAssignments=69  nbBacktracks=80  nbVisitedNodes=688  nbRestartNogoods=10  mapSize=78
4.24	     nbInferences=1  nbTooLargeKeys=0
4.24	       =>  wckTime=0.754  cpuTime=0.71  mem=38M572
4.39	   
4.39	   search
4.39	     run=4  nbConstraintChecks=454849  nbPropagations=56123  nbRevisions=50149  nbUselessRevisions=1191
4.39	     nbAssignments=739  nbFailedAssignments=106  nbBacktracks=131  nbVisitedNodes=958  nbRestartNogoods=14  mapSize=129
4.39	     nbInferences=6  nbTooLargeKeys=0
4.39	       =>  wckTime=0.909  cpuTime=0.87  mem=39M569
4.58	   
4.58	   search
4.58	     run=5  nbConstraintChecks=547247  nbPropagations=78033  nbRevisions=70955  nbUselessRevisions=1686
4.58	     nbAssignments=978  nbFailedAssignments=155  nbBacktracks=206  nbVisitedNodes=1312  nbRestartNogoods=18  mapSize=204
4.58	     nbInferences=23  nbTooLargeKeys=0
4.59	       =>  wckTime=1.1  cpuTime=1.05  mem=41M563
4.81	   
4.81	   search
4.81	     run=6  nbConstraintChecks=640447  nbPropagations=104053  nbRevisions=95876  nbUselessRevisions=2271
4.81	     nbAssignments=1288  nbFailedAssignments=230  nbBacktracks=320  nbVisitedNodes=1794  nbRestartNogoods=20
4.81	     mapSize=318  nbInferences=45  nbTooLargeKeys=0
4.81	       =>  wckTime=1.327  cpuTime=1.27  mem=42M560
5.11	   
5.11	   search
5.11	     run=7  nbConstraintChecks=735011  nbPropagations=134683  nbRevisions=125372  nbUselessRevisions=2947
5.11	     nbAssignments=1707  nbFailedAssignments=337  nbBacktracks=490  nbVisitedNodes=2469  nbRestartNogoods=26
5.11	     mapSize=488  nbInferences=87  nbTooLargeKeys=0
5.11	       =>  wckTime=1.625  cpuTime=1.57  mem=44M554
5.50	   
5.50	   search
5.50	     run=8  nbConstraintChecks=831700  nbPropagations=170706  nbRevisions=160149  nbUselessRevisions=3718
5.50	     nbAssignments=2296  nbFailedAssignments=488  nbBacktracks=746  nbVisitedNodes=3443  nbRestartNogoods=34
5.50	     mapSize=744  nbInferences=170  nbTooLargeKeys=0
5.50	       =>  wckTime=2.014  cpuTime=1.95  mem=48M541
6.04	   
6.04	   search
6.04	     run=9  nbConstraintChecks=931894  nbPropagations=213405  nbRevisions=201344  nbUselessRevisions=4585
6.04	     nbAssignments=3154  nbFailedAssignments=706  nbBacktracks=1130  nbVisitedNodes=4893  nbRestartNogoods=41
6.04	     mapSize=1128  nbInferences=326  nbTooLargeKeys=0
6.04	       =>  wckTime=2.556  cpuTime=2.49  mem=53M526
6.84	   
6.84	   search
6.84	     run=10  nbConstraintChecks=1037320  nbPropagations=264781  nbRevisions=250673  nbUselessRevisions=5550
6.84	     nbAssignments=4439  nbFailedAssignments=1016  nbBacktracks=1707  nbVisitedNodes=7099  nbRestartNogoods=46
6.84	     mapSize=1705  nbInferences=627  nbTooLargeKeys=0
6.84	       =>  wckTime=3.353  cpuTime=3.28  mem=61M501
8.09	   
8.09	   search
8.09	     run=11  nbConstraintChecks=1152844  nbPropagations=328371  nbRevisions=311236  nbUselessRevisions=6740
8.09	     nbAssignments=6439  nbFailedAssignments=1433  nbBacktracks=2571  nbVisitedNodes=10553  nbRestartNogoods=49
8.09	     mapSize=2569  nbInferences=1247  nbTooLargeKeys=0
8.09	       =>  wckTime=4.604  cpuTime=4.5  mem=44M831
9.67	   
9.67	   search
9.67	     run=12  nbConstraintChecks=1278537  nbPropagations=407518  nbRevisions=386145  nbUselessRevisions=8071
9.67	     nbAssignments=9191  nbFailedAssignments=2140  nbBacktracks=3868  nbVisitedNodes=15377  nbRestartNogoods=65
9.67	     mapSize=3862  nbInferences=1905  nbTooLargeKeys=0
9.67	       =>  wckTime=6.185  cpuTime=6.08  mem=60M893
11.46	   
11.46	   search
11.46	     run=13  nbConstraintChecks=1419230  nbPropagations=505773  nbRevisions=479632  nbUselessRevisions=9622
11.46	     nbAssignments=12786  nbFailedAssignments=3373  nbBacktracks=5814  nbVisitedNodes=21805  nbRestartNogoods=70
11.46	     mapSize=5783  nbInferences=2272  nbTooLargeKeys=0
11.46	       =>  wckTime=7.976  cpuTime=7.87  mem=74M947
14.65	   
14.65	   search
14.65	     run=14  nbConstraintChecks=1783652  nbPropagations=648498  nbRevisions=612150  nbUselessRevisions=12499
14.65	     nbAssignments=20239  nbFailedAssignments=4475  nbBacktracks=8733  nbVisitedNodes=34864  nbRestartNogoods=73
14.65	     mapSize=8621  nbInferences=5674  nbTooLargeKeys=0
14.65	       =>  wckTime=11.165  cpuTime=11.05  mem=79M966
22.36	   
22.36	   search
22.36	     run=15  nbConstraintChecks=2222625  nbPropagations=865266  nbRevisions=806816  nbUselessRevisions=16617
22.36	     nbAssignments=32820  nbFailedAssignments=5927  nbBacktracks=13111  nbVisitedNodes=56966  nbRestartNogoods=77
22.36	     mapSize=12961  nbInferences=12292  nbTooLargeKeys=0
22.36	       =>  wckTime=18.881  cpuTime=18.66  mem=114M233
34.27	   
34.27	   search
34.27	     run=16  nbConstraintChecks=2729339  nbPropagations=1189068  nbRevisions=1089144  nbUselessRevisions=21800
34.27	     nbAssignments=51811  nbFailedAssignments=7968  nbBacktracks=19679  nbVisitedNodes=90289  nbRestartNogoods=92
34.27	     mapSize=19494  nbInferences=22542  nbTooLargeKeys=0
34.27	       =>  wckTime=30.787  cpuTime=30.45  mem=150M508
55.67	   
55.67	   search
55.67	     run=17  nbConstraintChecks=3578060  nbPropagations=1704470  nbRevisions=1525732  nbUselessRevisions=29841
55.67	     nbAssignments=84489  nbFailedAssignments=10276  nbBacktracks=29532  nbVisitedNodes=147971  nbRestartNogoods=110
55.67	     mapSize=29313  nbInferences=42930  nbTooLargeKeys=0
55.67	       =>  wckTime=52.187  cpuTime=51.64  mem=234M839
87.60	   
87.60	   search
87.60	     run=18  nbConstraintChecks=4713924  nbPropagations=2500466  nbRevisions=2185816  nbUselessRevisions=41342
87.60	     nbAssignments=133291  nbFailedAssignments=13576  nbBacktracks=44311  nbVisitedNodes=233964  nbRestartNogoods=124
87.60	     mapSize=44058  nbInferences=73521  nbTooLargeKeys=0
87.60	       =>  wckTime=84.119  cpuTime=83.29  mem=373M563
125.12	   
125.12	   search
125.12	     run=19  nbConstraintChecks=6009436  nbPropagations=3643389  nbRevisions=3129794  nbUselessRevisions=56230
125.12	     nbAssignments=196677  nbFailedAssignments=21113  nbBacktracks=66479  nbVisitedNodes=345939  nbRestartNogoods=147
125.12	     mapSize=66186  nbInferences=107037  nbTooLargeKeys=0
125.12	       =>  wckTime=121.633  cpuTime=120.46  mem=524M421
146.02	   
146.02	   INFO : Stopping hyperNogood (mapSize=76531, nbTooLargekeys=0, mem=601M4)
157.33	   
157.33	   search
157.33	     run=20  nbConstraintChecks=7379299  nbPropagations=5152455  nbRevisions=4404788  nbUselessRevisions=74747
157.33	     nbAssignments=268296  nbFailedAssignments=39637  nbBacktracks=99731  nbVisitedNodes=474281  nbRestartNogoods=169
157.33	       =>  wckTime=153.847  cpuTime=152.45  mem=601M4
182.01	   
182.01	   search
182.01	     run=21  nbConstraintChecks=8530036  nbPropagations=7044230  nbRevisions=6063522  nbUselessRevisions=94309
182.01	     nbAssignments=352693  nbFailedAssignments=73994  nbBacktracks=149609  nbVisitedNodes=627391  nbRestartNogoods=198
182.01	       =>  wckTime=178.526  cpuTime=177.09  mem=601M4
218.88	   
218.88	   search
218.88	     run=22  nbConstraintChecks=10152283  nbPropagations=9507493  nbRevisions=8294696  nbUselessRevisions=114840
218.88	     nbAssignments=479395  nbFailedAssignments=125713  nbBacktracks=224427  nbVisitedNodes=857530  nbRestartNogoods=209
218.88	       =>  wckTime=215.397  cpuTime=213.95  mem=601M4
272.31	   
272.31	   search
272.31	     run=23  nbConstraintChecks=12824306  nbPropagations=12833711  nbRevisions=11397187  nbUselessRevisions=143596
272.31	     nbAssignments=669472  nbFailedAssignments=203361  nbBacktracks=336654  nbVisitedNodes=1202901  nbRestartNogoods=226
272.31	       =>  wckTime=268.829  cpuTime=267.3  mem=601M4
352.22	   
352.22	   search
352.22	     run=24  nbConstraintChecks=16578975  nbPropagations=17447443  nbRevisions=15791078  nbUselessRevisions=176225
352.22	     nbAssignments=954457  nbFailedAssignments=319807  nbBacktracks=504995  nbVisitedNodes=1720775  nbRestartNogoods=250
352.22	       =>  wckTime=348.735  cpuTime=347.15  mem=601M4
472.31	   
472.31	   search
472.31	     run=25  nbConstraintChecks=21776821  nbPropagations=23972737  nbRevisions=22100815  nbUselessRevisions=213061
472.31	     nbAssignments=1380192  nbFailedAssignments=492830  nbBacktracks=757509  nbVisitedNodes=2492554
472.31	     nbRestartNogoods=273
472.31	       =>  wckTime=468.827  cpuTime=467.1  mem=601M4
652.76	   
652.76	   search
652.76	     run=26  nbConstraintChecks=29269108  nbPropagations=33360478  nbRevisions=31276120  nbUselessRevisions=253025
652.76	     nbAssignments=2019637  nbFailedAssignments=753310  nbBacktracks=1136276  nbVisitedNodes=3652958
652.76	     nbRestartNogoods=300
652.76	       =>  wckTime=649.272  cpuTime=647.36  mem=601M4
914.19	   
914.19	   search
914.19	     run=27  nbConstraintChecks=40599783  nbPropagations=47050274  nbRevisions=44761200  nbUselessRevisions=300400
914.19	     nbAssignments=2980287  nbFailedAssignments=1145574  nbBacktracks=1704427  nbVisitedNodes=5398127
914.19	     nbRestartNogoods=324
914.19	       =>  wckTime=910.71  cpuTime=908.51  mem=601M4
1305.91	   
1305.91	   search
1305.91	     run=28  nbConstraintChecks=57300771  nbPropagations=67192103  nbRevisions=64707030  nbUselessRevisions=355927
1305.91	     nbAssignments=4422706  nbFailedAssignments=1735533  nbBacktracks=2556654  nbVisitedNodes=8020451
1305.91	     nbRestartNogoods=355
1305.91	       =>  wckTime=1302.428  cpuTime=1299.82  mem=601M4

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

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

/proc/loadavg: 1.10 1.53 1.65 4/93 3161
/proc/meminfo: memFree=1286936/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=172 CPUtime=0
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156746819 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 0 0 0
/proc/3160/statm: 43 24 18 14 0 3 0

[startup+0.108391 s]
/proc/loadavg: 1.10 1.53 1.65 4/93 3161
/proc/meminfo: memFree=1286936/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=906644 CPUtime=0.03
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 2108 0 1 0 2 1 0 0 19 0 2 0 156746819 928403456 1857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 226661 1858 1059 14 0 214244 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 906644

[startup+0.516426 s]
/proc/loadavg: 1.10 1.53 1.65 4/93 3161
/proc/meminfo: memFree=1286936/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915328 CPUtime=0.41
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 6229 0 1 0 37 4 0 0 23 0 8 0 156746819 937295872 5968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073575341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228832 5969 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.3395 s]
/proc/loadavg: 1.17 1.53 1.65 3/100 3168
/proc/meminfo: memFree=1224736/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915628 CPUtime=1.23
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 17924 0 1 0 113 10 0 0 25 0 8 0 156746819 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073559205 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228907 17662 2160 14 0 215377 0
[pid=3160/tid=3162] ppid=3158 vsize=915628 CPUtime=0.04
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 1393 0 0 0 4 0 0 0 17 0 8 0 156746830 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915628 CPUtime=0.13
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 399 0 0 0 13 0 0 0 16 0 8 0 156746833 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937603072 17662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915628

[startup+2.99265 s]
/proc/loadavg: 1.17 1.53 1.65 3/100 3168
/proc/meminfo: memFree=1213664/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915632 CPUtime=2.89
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 20680 0 1 0 193 96 0 0 25 0 8 0 156746819 937607168 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228907 20417 2180 14 0 215377 0
[pid=3160/tid=3162] ppid=3158 vsize=915632 CPUtime=0.13
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 4062 0 0 0 12 1 0 0 16 0 8 0 156746830 937607168 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937603072 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937603072 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915632 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937607168 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915632 CPUtime=0.17
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 424 0 0 0 17 0 0 0 16 0 8 0 156746833 937607168 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915628 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937603072 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915632 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937607168 20417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915632

[startup+6.27995 s]
/proc/loadavg: 1.24 1.54 1.65 3/100 3168
/proc/meminfo: memFree=1202656/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=6.17
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 23770 0 1 0 517 100 0 0 25 0 8 0 156746819 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 23486 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=0.29
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 6628 0 0 0 27 2 0 0 17 0 8 0 156746830 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.31
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 508 0 0 0 30 1 0 0 15 0 8 0 156746833 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 23486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915856

[startup+12.7715 s]
/proc/loadavg: 1.30 1.55 1.65 3/100 3168
/proc/meminfo: memFree=1189600/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=12.65
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 27050 0 1 0 1164 101 0 0 25 0 8 0 156746819 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 26763 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 9900 0 0 0 29 3 0 0 17 0 8 0 156746830 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 26763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915856

[startup+25.6137 s]
/proc/loadavg: 1.40 1.56 1.66 4/100 3168
/proc/meminfo: memFree=1138144/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=25.49
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 44597 0 1 0 2440 109 0 0 25 0 8 0 156746819 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 44307 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=0.47
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 27444 0 0 0 37 10 0 0 17 0 8 0 156746830 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 44307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915856

[startup+51.233 s]
/proc/loadavg: 1.64 1.60 1.66 3/100 3168
/proc/meminfo: memFree=1019744/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=51.07
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 69504 0 1 0 4988 119 0 0 25 0 8 0 156746819 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 69207 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=0.68
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 52344 0 0 0 49 19 0 0 16 0 8 0 156746830 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 69207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915856

[startup+102.453 s]
/proc/loadavg: 1.84 1.66 1.68 3/100 3226
/proc/meminfo: memFree=922208/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=102.23
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 116747 0 1 0 10086 137 0 0 25 0 8 0 156746819 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074082996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 116439 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.1
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 99576 0 0 0 73 37 0 0 16 0 8 0 156746830 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 116439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915856

[startup+162.508 s]
/proc/loadavg: 1.94 1.72 1.70 3/100 3226
/proc/meminfo: memFree=740704/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=162.23
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 16071 152 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.14
Current children cumulated vsize (KiB) 915856

[startup+1483.8 s]
/proc/loadavg: 2.01 2.02 1.91 3/106 3252
/proc/meminfo: memFree=227424/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1482.11
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 148054 157 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086058 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.11
Current children cumulated vsize (KiB) 915856

[startup+1543.88 s]
/proc/loadavg: 2.00 2.01 1.91 3/106 3378
/proc/meminfo: memFree=206304/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1542.1
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 154048 162 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 915856

[startup+1603.94 s]
/proc/loadavg: 2.00 2.01 1.91 3/100 3428
/proc/meminfo: memFree=207320/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1602.08
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 160044 164 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074086011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 915856

[startup+1663.99 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 3428
/proc/meminfo: memFree=207320/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1662.05
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 166041 164 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.05
Current children cumulated vsize (KiB) 915856

[startup+1724.04 s]
/proc/loadavg: 2.00 2.00 1.91 3/100 3428
/proc/meminfo: memFree=207320/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1722.07
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 172042 165 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 915856

[startup+1784.1 s]
/proc/loadavg: 2.09 2.03 1.92 3/100 3428
/proc/meminfo: memFree=207384/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1782.06
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 178041 165 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074066369 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 915856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.08 s]
/proc/loadavg: 2.07 2.03 1.92 3/100 3428
/proc/meminfo: memFree=207384/2055920 swapFree=4192812/4192956
[pid=3160] ppid=3158 vsize=915856 CPUtime=1800.02
/proc/3160/stat : 3160 (java) R 3158 3160 2571 0 -1 0 155542 0 1 0 179837 165 0 0 25 0 8 0 156746819 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074114951 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3160/statm: 228964 155223 2535 14 0 215434 0
[pid=3160/tid=3162] ppid=3158 vsize=915856 CPUtime=1.45
/proc/3160/task/3162/stat : 3162 (java) S 3158 3160 2571 0 -1 64 138360 0 0 0 94 51 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3163] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3163/stat : 3163 (java) S 3158 3160 2571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3164] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3164/stat : 3164 (java) S 3158 3160 2571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156746830 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3165] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3165/stat : 3165 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3166] ppid=3158 vsize=915856 CPUtime=0.32
/proc/3160/task/3166/stat : 3166 (java) S 3158 3160 2571 0 -1 64 513 0 0 0 30 2 0 0 16 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3167] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3167/stat : 3167 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3160/tid=3168] ppid=3158 vsize=915856 CPUtime=0
/proc/3160/task/3168/stat : 3168 (java) S 3158 3160 2571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156746833 937836544 155223 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915856

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

Child status: 143
Real time (s): 1802.2
CPU time (s): 1800.13
CPU user time (s): 1798.39
CPU system time (s): 1.74073
CPU usage (%): 99.8852
Max. virtual memory (cumulated for all children) (KiB): 915952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.74073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155558
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= 38218
involuntary context switches= 51818

runsolver used 2.09068 s user time and 5.8991 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 11:36:18 UTC 2007


IDJOB= 237821
IDBENCH= 6965
FILE ID= node72/237821-1168083365

PBS_JOBID= 3476228

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_36.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237821-1168083365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-237821-1168083365 -o ROOT/results/node72/solver-237821-1168083365 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237821-1168083365/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  39255fa757758e34b54045c43cc3e093

RANDOM SEED= 460456363

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1287416 kB
Buffers:         42948 kB
Cached:         460728 kB
SwapCached:          0 kB
Active:         301516 kB
Inactive:       393836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1287416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4456 kB
Writeback:           0 kB
Mapped:         220680 kB
Slab:            57536 kB
Committed_AS:  3477296 kB
PageTables:       2596 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= 66547 MiB



End job on node72 on Sat Jan  6 12:06:23 UTC 2007