Trace number 210392

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 1800.89

General information on the benchmark

NamepseudoSeries/fpga/
fpga-14-13.xml
MD5SUM3ae4884e2fb4b74ea0afe63faadc4481
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.896863
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables273
Number of constraints222
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension222
Global constraints used (with number of constraints)

Solver Data (download as text)

0.44	   
0.44	Abscon 109 (November, 2006)
0.44	   
0.44	   configuration
0.44	     name=mac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/210392-1168075062/unknown.xml
0.50	   
0.50	   domains being loaded...
0.50	   
0.50	   variables being loaded...
0.55	     nbVariables=273  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.55	       =>  wckTime=0.112  cpuTime=0.09  mem=6M951
0.55	   
0.55	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
0.78	     nbConstraints=222  nbConflictsStructures=5  nbSharedConflictsStructures=217  nbSharedBinaryRepresentations=0
0.78	     nbEvaluationManagers=5  nbSharedEvaluationManagers=217  maxDegree=14  maxArity=14
0.78	       =>  wckTime=0.344  cpuTime=0.24  mem=12M803
0.82	   
0.82	   solver IterativeSystematicSolver being built... 
1.02	       =>  wckTime=0.583  cpuTime=0.4  mem=18M879
1.04	   
1.04	   preprocessing
1.04	     nbConstraintChecks=0  nbPropagations=273  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.04	     detectedInconsistency=no
1.04	       =>  wckTime=0.011  cpuTime=0.01  mem=18M879
1.16	   
1.16	   search
1.16	     run=0  nbConstraintChecks=9282  nbValidityChecks=294  nbPropagations=550  nbRevisions=517  nbUselessRevisions=232
1.16	     nbAssignments=236  nbFailedAssignments=1  nbBacktracks=151  nbVisitedNodes=239  nbRestartNogoods=0  mapSize=1
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.131  cpuTime=0.12  mem=18M879
1.26	   
1.26	   search
1.26	     run=1  nbConstraintChecks=32830  nbValidityChecks=823  nbPropagations=1430  nbRevisions=1656
1.26	     nbUselessRevisions=734  nbAssignments=487  nbFailedAssignments=3  nbBacktracks=177  nbVisitedNodes=494
1.26	     nbRestartNogoods=1  mapSize=4  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.238  cpuTime=0.22  mem=19M854
1.33	   
1.33	   search
1.33	     run=2  nbConstraintChecks=48190  nbValidityChecks=1462  nbPropagations=2614  nbRevisions=3531
1.33	     nbUselessRevisions=1654  nbAssignments=609  nbFailedAssignments=4  nbBacktracks=213  nbVisitedNodes=619
1.33	     nbRestartNogoods=2  mapSize=6  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.302  cpuTime=0.28  mem=19M854
1.41	   
1.41	   search
1.41	     run=3  nbConstraintChecks=77944  nbValidityChecks=2450  nbPropagations=4158  nbRevisions=6414
1.41	     nbUselessRevisions=3192  nbAssignments=741  nbFailedAssignments=6  nbBacktracks=256  nbVisitedNodes=757
1.41	     nbRestartNogoods=3  mapSize=11  nbInferences=1  nbTooLargeKeys=0
1.41	       =>  wckTime=0.388  cpuTime=0.36  mem=19M854
1.50	   
1.50	   search
1.50	     run=4  nbConstraintChecks=107690  nbValidityChecks=3411  nbPropagations=6062  nbRevisions=10263
1.50	     nbUselessRevisions=5307  nbAssignments=885  nbFailedAssignments=8  nbBacktracks=310  nbVisitedNodes=907
1.50	     nbRestartNogoods=4  mapSize=16  nbInferences=2  nbTooLargeKeys=0
1.50	       =>  wckTime=0.473  cpuTime=0.45  mem=19M854
1.63	   
1.63	   search
1.63	     run=5  nbConstraintChecks=155949  nbValidityChecks=4646  nbPropagations=8410  nbRevisions=15295
1.63	     nbUselessRevisions=8118  nbAssignments=1107  nbFailedAssignments=11  nbBacktracks=388  nbVisitedNodes=1138
1.63	     nbRestartNogoods=5  mapSize=23  nbInferences=4  nbTooLargeKeys=0
1.63	       =>  wckTime=0.61  cpuTime=0.58  mem=19M854
1.77	   
1.77	   search
1.77	     run=6  nbConstraintChecks=200081  nbValidityChecks=5739  nbPropagations=11189  nbRevisions=21352
1.78	     nbUselessRevisions=11469  nbAssignments=1351  nbFailedAssignments=14  nbBacktracks=538  nbVisitedNodes=1391
1.78	     nbRestartNogoods=7  mapSize=30  nbInferences=5  nbTooLargeKeys=0
1.78	       =>  wckTime=0.751  cpuTime=0.72  mem=19M854
2.23	   
2.23	   search
2.23	     run=7  nbConstraintChecks=452150  nbValidityChecks=11388  nbPropagations=15708  nbRevisions=31980
2.23	     nbUselessRevisions=17406  nbAssignments=1664  nbFailedAssignments=39  nbBacktracks=718  nbVisitedNodes=1768
2.23	     nbRestartNogoods=9  mapSize=81  nbInferences=16  nbTooLargeKeys=0
2.23	       =>  wckTime=1.211  cpuTime=1.16  mem=19M854
2.51	   
2.51	   search
2.51	     run=8  nbConstraintChecks=568555  nbValidityChecks=14975  nbPropagations=21000  nbRevisions=45556
2.51	     nbUselessRevisions=25355  nbAssignments=2064  nbFailedAssignments=52  nbBacktracks=981  nbVisitedNodes=2194
2.51	     nbRestartNogoods=13  mapSize=105  nbInferences=16  nbTooLargeKeys=0
2.51	       =>  wckTime=1.482  cpuTime=1.43  mem=19M854
2.92	   
2.92	   search
2.92	     run=9  nbConstraintChecks=757077  nbValidityChecks=21803  nbPropagations=28072  nbRevisions=64921
2.92	     nbUselessRevisions=36846  nbAssignments=2646  nbFailedAssignments=80  nbBacktracks=1371  nbVisitedNodes=2836
2.92	     nbRestartNogoods=15  mapSize=159  nbInferences=16  nbTooLargeKeys=0
2.92	       =>  wckTime=1.898  cpuTime=1.84  mem=19M854
3.60	   
3.60	   search
3.60	     run=10  nbConstraintChecks=1137801  nbValidityChecks=33590  nbPropagations=38401  nbRevisions=92993
3.60	     nbUselessRevisions=52840  nbAssignments=3487  nbFailedAssignments=135  nbBacktracks=1967  nbVisitedNodes=3816
3.60	     nbRestartNogoods=21  mapSize=296  nbInferences=22  nbTooLargeKeys=0
3.60	       =>  wckTime=2.58  cpuTime=2.52  mem=20M830
5.06	   
5.06	   search
5.06	     run=11  nbConstraintChecks=2047712  nbValidityChecks=58330  nbPropagations=55639  nbRevisions=141400
5.06	     nbUselessRevisions=79582  nbAssignments=4605  nbFailedAssignments=223  nbBacktracks=2837  nbVisitedNodes=5201
5.06	     nbRestartNogoods=23  mapSize=554  nbInferences=22  nbTooLargeKeys=0
5.06	       =>  wckTime=4.038  cpuTime=3.97  mem=21M805
6.40	   
6.40	   search
6.40	     run=12  nbConstraintChecks=2709096  nbValidityChecks=141590  nbPropagations=82079  nbRevisions=269406
6.40	     nbUselessRevisions=163906  nbAssignments=6087  nbFailedAssignments=266  nbBacktracks=4135  nbVisitedNodes=7062
6.40	     nbRestartNogoods=25  mapSize=930  nbInferences=24  nbTooLargeKeys=0
6.40	       =>  wckTime=5.375  cpuTime=5.31  mem=21M805
9.00	   
9.00	   search
9.00	     run=13  nbConstraintChecks=4334813  nbValidityChecks=173276  nbPropagations=117946  nbRevisions=415627
9.00	     nbUselessRevisions=255540  nbAssignments=8298  nbFailedAssignments=417  nbBacktracks=6082  nbVisitedNodes=9707
9.00	     nbRestartNogoods=28  mapSize=1362  nbInferences=24  nbTooLargeKeys=0
9.00	       =>  wckTime=7.975  cpuTime=7.9  mem=22M780
12.32	   
12.32	   search
12.32	     run=14  nbConstraintChecks=6394054  nbValidityChecks=213089  nbPropagations=167263  nbRevisions=583676
12.32	     nbUselessRevisions=354951  nbAssignments=11574  nbFailedAssignments=652  nbBacktracks=9015  nbVisitedNodes=13599
12.32	     nbRestartNogoods=30  mapSize=1976  nbInferences=24  nbTooLargeKeys=0
12.32	       =>  wckTime=11.297  cpuTime=11.22  mem=23M755
16.64	   
16.64	   search
16.64	     run=15  nbConstraintChecks=8976651  nbValidityChecks=268833  nbPropagations=235730  nbRevisions=782669
16.64	     nbUselessRevisions=464948  nbAssignments=16476  nbFailedAssignments=1036  nbBacktracks=13406  nbVisitedNodes=19424
16.64	     nbRestartNogoods=32  mapSize=2895  nbInferences=24  nbTooLargeKeys=0
16.64	       =>  wckTime=15.614  cpuTime=15.55  mem=26M681
26.41	   
26.41	   search
26.41	     run=16  nbConstraintChecks=15319856  nbValidityChecks=368303  nbPropagations=335258  nbRevisions=1036855
26.41	     nbUselessRevisions=594209  nbAssignments=23711  nbFailedAssignments=1571  nbBacktracks=19982  nbVisitedNodes=28131
26.41	     nbRestartNogoods=36  mapSize=4363  nbInferences=24  nbTooLargeKeys=0
26.41	       =>  wckTime=25.384  cpuTime=25.31  mem=29M606
29.52	   
29.52	   INFO : Stopping hyperNogood (mapSize=4807, nbTooLargekeys=0, mem=30M581)
35.12	   
35.12	   search
35.12	     run=17  nbConstraintChecks=21069930  nbValidityChecks=474818  nbPropagations=470701  nbRevisions=1350659
35.12	     nbUselessRevisions=744698  nbAssignments=34401  nbFailedAssignments=2264  nbBacktracks=29849  nbVisitedNodes=40562
35.12	     nbRestartNogoods=39
35.12	       =>  wckTime=34.098  cpuTime=34.01  mem=30M581
53.15	   
53.15	   search
53.15	     run=18  nbConstraintChecks=33337975  nbValidityChecks=657537  nbPropagations=665308  nbRevisions=1764853
53.15	     nbUselessRevisions=932443  nbAssignments=50466  nbFailedAssignments=3442  nbBacktracks=44636  nbVisitedNodes=59589
53.15	     nbRestartNogoods=44
53.15	       =>  wckTime=52.127  cpuTime=52.03  mem=30M581
68.33	   
68.33	   search
68.33	     run=19  nbConstraintChecks=43363634  nbValidityChecks=931441  nbPropagations=957460  nbRevisions=2332468
68.33	     nbUselessRevisions=1168663  nbAssignments=74222  nbFailedAssignments=4875  nbBacktracks=66808  nbVisitedNodes=87411
68.33	     nbRestartNogoods=48
68.33	       =>  wckTime=67.302  cpuTime=67.21  mem=30M581
82.81	   
82.82	   search
82.82	     run=20  nbConstraintChecks=52193052  nbValidityChecks=1382902  nbPropagations=1409778  nbRevisions=3157273
82.82	     nbUselessRevisions=1490105  nbAssignments=110192  nbFailedAssignments=7467  nbBacktracks=100082
82.82	     nbVisitedNodes=131540  nbRestartNogoods=53
82.82	       =>  wckTime=81.791  cpuTime=81.7  mem=30M581
148.83	   
148.83	   search
148.83	     run=21  nbConstraintChecks=97313675  nbValidityChecks=2122115  nbPropagations=2090732  nbRevisions=4404458
148.83	     nbUselessRevisions=1961457  nbAssignments=164196  nbFailedAssignments=11468  nbBacktracks=149962
148.83	     nbVisitedNodes=196726  nbRestartNogoods=55
148.83	       =>  wckTime=147.803  cpuTime=147.68  mem=30M581
253.05	   
253.05	   search
253.05	     run=22  nbConstraintChecks=168732037  nbValidityChecks=3277719  nbPropagations=3155233  nbRevisions=6298668
253.05	     nbUselessRevisions=2663771  nbAssignments=244889  nbFailedAssignments=17225  nbBacktracks=224786
253.05	     nbVisitedNodes=293793  nbRestartNogoods=59
253.05	       =>  wckTime=252.029  cpuTime=251.87  mem=30M581
384.54	   
384.54	   search
384.54	     run=23  nbConstraintChecks=258087771  nbValidityChecks=4944807  nbPropagations=4753197  nbRevisions=9136937
384.54	     nbUselessRevisions=3694616  nbAssignments=366413  nbFailedAssignments=26389  nbBacktracks=337018
384.54	     nbVisitedNodes=440799  nbRestartNogoods=63
384.54	       =>  wckTime=383.512  cpuTime=383.31  mem=30M581
568.33	   
568.33	   search
568.33	     run=24  nbConstraintChecks=381852185  nbValidityChecks=7754217  nbPropagations=7242271  nbRevisions=13559533
568.33	     nbUselessRevisions=5255421  nbAssignments=547706  nbFailedAssignments=39213  nbBacktracks=505362
568.33	     nbVisitedNodes=661852  nbRestartNogoods=68
568.33	       =>  wckTime=567.305  cpuTime=567.03  mem=30M581
829.72	   
829.72	   search
829.72	     run=25  nbConstraintChecks=558276619  nbValidityChecks=11433027  nbPropagations=10903172  nbRevisions=20066852
829.72	     nbUselessRevisions=7557536  nbAssignments=819964  nbFailedAssignments=58838  nbBacktracks=757875
829.72	     nbVisitedNodes=990263  nbRestartNogoods=72
829.72	       =>  wckTime=828.692  cpuTime=828.33  mem=30M581
1213.19	   
1213.19	   search
1213.19	     run=26  nbConstraintChecks=814836596  nbValidityChecks=17813453  nbPropagations=16597537  nbRevisions=30143273
1213.19	     nbUselessRevisions=11040053  nbAssignments=1226482  nbFailedAssignments=86444  nbBacktracks=1136658
1213.19	     nbVisitedNodes=1485795  nbRestartNogoods=76
1213.19	       =>  wckTime=1212.165  cpuTime=1211.67  mem=30M581

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/node19/watcher-210392-1168075062 -o ROOT/results/node19/solver-210392-1168075062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210392-1168075062/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.14 1.66 1.85 2/81 23158
/proc/meminfo: memFree=1264136/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=172 CPUtime=0
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155901454 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/23157/statm: 43 24 18 14 0 3 0

[startup+0.105062 s]
/proc/loadavg: 1.14 1.66 1.85 2/81 23158
/proc/meminfo: memFree=1264136/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=47976 CPUtime=0
/proc/23157/stat : 23157 (java) D 23155 23157 22989 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155901454 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/23157/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976

[startup+0.51314 s]
/proc/loadavg: 1.14 1.66 1.85 2/81 23158
/proc/meminfo: memFree=1264136/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916352 CPUtime=0.36
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 5888 0 1 0 32 4 0 0 17 0 8 0 155901454 938344448 5627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155061913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23157/statm: 229088 5627 2119 14 0 215558 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 916352

[startup+1.33829 s]
/proc/loadavg: 1.14 1.66 1.85 2/88 23165
/proc/meminfo: memFree=1236304/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1.17
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 9768 0 1 0 109 8 0 0 16 0 8 0 155901454 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 9506 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.19
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 389 0 0 0 18 1 0 0 16 0 8 0 155901476 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 9506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 916488

[startup+2.9756 s]
/proc/loadavg: 1.13 1.65 1.84 2/88 23165
/proc/meminfo: memFree=1235536/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=2.81
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 10028 0 1 0 272 9 0 0 16 0 8 0 155901454 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 9764 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 17 0 8 0 155901472 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.22
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 408 0 0 0 21 1 0 0 16 0 8 0 155901476 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 9764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 916488

[startup+6.26922 s]
/proc/loadavg: 1.13 1.65 1.84 3/100 23210
/proc/meminfo: memFree=1223664/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=6.1
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 10412 0 1 0 601 9 0 0 18 0 8 0 155901454 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 10145 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 17 0 8 0 155901472 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.23
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 412 0 0 0 22 1 0 0 16 0 8 0 155901476 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 10145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 916488

[startup+12.7474 s]
/proc/loadavg: 1.26 1.66 1.84 3/100 23210
/proc/meminfo: memFree=1196848/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=12.59
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 10984 0 1 0 1249 10 0 0 25 0 8 0 155901454 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 10716 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 17 0 8 0 155901472 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 413 0 0 0 23 1 0 0 15 0 8 0 155901476 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 10716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 916488

[startup+25.5949 s]
/proc/loadavg: 1.38 1.67 1.85 3/100 23210
/proc/meminfo: memFree=1189104/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=25.42
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12123 0 1 0 2532 10 0 0 25 0 8 0 155901454 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 11855 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 414 0 0 0 23 1 0 0 17 0 8 0 155901476 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 11855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 916488

[startup+51.1987 s]
/proc/loadavg: 1.59 1.69 1.85 3/100 23210
/proc/meminfo: memFree=1177968/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=51.02
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12430 0 1 0 5091 11 0 0 25 0 8 0 155901454 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12161 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 414 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 916488

[startup+102.494 s]
/proc/loadavg: 1.82 1.74 1.85 3/100 23212
/proc/meminfo: memFree=1158320/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=102.3
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12439 0 1 0 10219 11 0 0 25 0 8 0 155901454 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870486 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12170 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 414 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 916488

[startup+162.517 s]
/proc/loadavg: 1.93 1.78 1.86 3/100 23212
/proc/meminfo: memFree=1158256/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=162.3
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12443 0 1 0 16219 11 0 0 25 0 8 0 155901454 938483712 12174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1422.39
Current children cumulated vsize (KiB) 916488

[startup+1483.06 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125112/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1482.39
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 148223 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.39
Current children cumulated vsize (KiB) 916488

[startup+1543.08 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125112/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1542.4
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 154224 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.4
Current children cumulated vsize (KiB) 916488

[startup+1603.11 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125112/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1602.4
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 160224 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073667245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 916488

[startup+1663.13 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125048/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1662.41
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 166225 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 916488

[startup+1723.16 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125112/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1722.41
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 172225 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 916488

[startup+1783.18 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125112/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1782.4
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 178224 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 916488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.86 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 23212
/proc/meminfo: memFree=1125048/2055920 swapFree=4171232/4192956
[pid=23157] ppid=23155 vsize=916488 CPUtime=1800.08
/proc/23157/stat : 23157 (java) R 23155 23157 22989 0 -1 0 12458 0 1 0 179992 16 0 0 25 0 8 0 155901454 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073670816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23157/statm: 229122 12189 2532 14 0 215592 0
[pid=23157/tid=23159] ppid=23155 vsize=916488 CPUtime=0.03
/proc/23157/task/23159/stat : 23159 (java) S 23155 23157 22989 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 155901472 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23160] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23160/stat : 23160 (java) S 23155 23157 22989 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23161] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23161/stat : 23161 (java) S 23155 23157 22989 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155901473 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23162] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23162/stat : 23162 (java) S 23155 23157 22989 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23163] ppid=23155 vsize=916488 CPUtime=0.24
/proc/23157/task/23163/stat : 23163 (java) S 23155 23157 22989 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23157/tid=23164] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23164/stat : 23164 (java) S 23155 23157 22989 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23157/tid=23165] ppid=23155 vsize=916488 CPUtime=0
/proc/23157/task/23165/stat : 23165 (java) S 23155 23157 22989 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155901476 938483712 12189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916488

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

Child status: 143
Real time (s): 1800.89
CPU time (s): 1800.13
CPU user time (s): 1799.95
CPU system time (s): 0.174973
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 916492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12475
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= 37377
involuntary context switches= 61910

runsolver used 1.76473 s user time and 4.68829 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 09:17:45 UTC 2007


IDJOB= 210392
IDBENCH= 4616
FILE ID= node19/210392-1168075062

PBS_JOBID= 3475790

Free space on /tmp= 66312 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-14-13.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210392-1168075062/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-210392-1168075062 -o ROOT/results/node19/solver-210392-1168075062 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210392-1168075062/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3ae4884e2fb4b74ea0afe63faadc4481

RANDOM SEED= 469762973

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.260
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.260
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:       1264872 kB
Buffers:         70252 kB
Cached:         585160 kB
SwapCached:      10036 kB
Active:         285072 kB
Inactive:       405788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1264872 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            1880 kB
Writeback:           0 kB
Mapped:          44664 kB
Slab:            85256 kB
Committed_AS:  3570128 kB
PageTables:       2208 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= 66310 MiB



End job on node19 on Sat Jan  6 09:47:49 UTC 2007