Trace number 194605

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.14 1800.95

General information on the benchmark

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

Solver Data (download as text)

0.59	   
0.59	Abscon 109 (November, 2006)
0.59	   
0.59	   configuration
0.59	     name=mac.xml
0.63	   
0.63	   instance
0.63	     name=/tmp/evaluation/194605-1168069385/unknown.xml
0.65	   
0.66	   domains being loaded...
0.66	   
0.66	   variables being loaded...
0.70	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.70	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.70	   
0.70	   relations being loaded...
0.84	   
0.84	   constraints being loaded...
0.97	     nbConstraints=465  nbRelationTypes=465  nbExtensionStructures=465  nbSharedExtensionStructures=0
0.97	     nbConflictsStructures=465  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2329  maxDegree=28
0.97	     maxArity=2
0.97	       =>  wckTime=0.377  cpuTime=0.28  mem=17M696
1.02	   
1.02	   solver IterativeSystematicSolver being built... 
1.16	       =>  wckTime=0.57  cpuTime=0.41  mem=15M364
1.18	   
1.18	   preprocessing
1.18	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.18	     detectedInconsistency=no
1.18	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M364
1.22	   
1.22	   search
1.22	     run=0  nbConstraintChecks=53676  nbPropagations=673  nbRevisions=8351  nbUselessRevisions=6904  nbAssignments=33
1.22	     nbFailedAssignments=12  nbBacktracks=13  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=13  nbInferences=0
1.22	     nbTooLargeKeys=0
1.22	       =>  wckTime=0.055  cpuTime=0.03  mem=15M364
1.25	   
1.25	   search
1.25	     run=1  nbConstraintChecks=119257  nbPropagations=2130  nbRevisions=27318  nbUselessRevisions=22349
1.25	     nbAssignments=72  nbFailedAssignments=26  nbBacktracks=30  nbVisitedNodes=117  nbRestartNogoods=1  mapSize=29
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.082  cpuTime=0.05  mem=15M364
1.27	   
1.27	   search
1.27	     run=2  nbConstraintChecks=198628  nbPropagations=4532  nbRevisions=59656  nbUselessRevisions=48740
1.27	     nbAssignments=124  nbFailedAssignments=44  nbBacktracks=55  nbVisitedNodes=198  nbRestartNogoods=2  mapSize=48
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.099  cpuTime=0.06  mem=15M364
1.28	   
1.28	   search
1.28	     run=3  nbConstraintChecks=289081  nbPropagations=8126  nbRevisions=108377  nbUselessRevisions=88654
1.28	     nbAssignments=185  nbFailedAssignments=61  nbBacktracks=88  nbVisitedNodes=293  nbRestartNogoods=4  mapSize=75
1.28	     nbInferences=0  nbTooLargeKeys=0
1.28	       =>  wckTime=0.117  cpuTime=0.08  mem=15M364
1.31	   
1.31	   search
1.31	     run=4  nbConstraintChecks=447186  nbPropagations=13709  nbRevisions=186249  nbUselessRevisions=152591
1.31	     nbAssignments=288  nbFailedAssignments=99  nbBacktracks=141  nbVisitedNodes=465  nbRestartNogoods=6  mapSize=120
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.146  cpuTime=0.11  mem=15M364
1.35	   
1.35	   search
1.35	     run=5  nbConstraintChecks=658495  nbPropagations=21942  nbRevisions=303505  nbUselessRevisions=249073
1.35	     nbAssignments=432  nbFailedAssignments=154  nbBacktracks=218  nbVisitedNodes=704  nbRestartNogoods=11  mapSize=181
1.35	     nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.186  cpuTime=0.15  mem=15M364
1.39	   
1.39	   search
1.39	     run=6  nbConstraintChecks=872939  nbPropagations=33114  nbRevisions=461899  nbUselessRevisions=379474
1.39	     nbAssignments=607  nbFailedAssignments=204  nbBacktracks=332  nbVisitedNodes=976  nbRestartNogoods=17  mapSize=256
1.39	     nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.227  cpuTime=0.19  mem=15M364
1.47	   
1.47	   search
1.47	     run=7  nbConstraintChecks=1365112  nbPropagations=49879  nbRevisions=704838  nbUselessRevisions=579355
1.47	     nbAssignments=891  nbFailedAssignments=305  nbBacktracks=504  nbVisitedNodes=1460  nbRestartNogoods=23  mapSize=397
1.47	     nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.306  cpuTime=0.26  mem=15M364
1.58	   
1.58	   search
1.58	     run=8  nbConstraintChecks=1932604  nbPropagations=74279  nbRevisions=1061040  nbUselessRevisions=871770
1.58	     nbAssignments=1329  nbFailedAssignments=475  nbBacktracks=760  nbVisitedNodes=2199  nbRestartNogoods=26
1.58	     mapSize=602  nbInferences=0  nbTooLargeKeys=0
1.58	       =>  wckTime=0.412  cpuTime=0.36  mem=15M364
1.76	   
1.76	   search
1.76	     run=9  nbConstraintChecks=3016324  nbPropagations=110900  nbRevisions=1606587  nbUselessRevisions=1319030
1.76	     nbAssignments=1954  nbFailedAssignments=704  nbBacktracks=1148  nbVisitedNodes=3254  nbRestartNogoods=31
1.76	     mapSize=908  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.589  cpuTime=0.53  mem=15M364
1.82	   
1.82	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M364)
1.97	   
1.97	   search
1.97	     run=10  nbConstraintChecks=4379073  nbPropagations=163918  nbRevisions=2393748  nbUselessRevisions=1962580
1.97	     nbAssignments=2852  nbFailedAssignments=1019  nbBacktracks=1724  nbVisitedNodes=4747  nbRestartNogoods=34
1.97	       =>  wckTime=0.799  cpuTime=0.73  mem=15M364
2.27	   
2.27	   search
2.27	     run=11  nbConstraintChecks=6428003  nbPropagations=242817  nbRevisions=3573471  nbUselessRevisions=2927808
2.27	     nbAssignments=4280  nbFailedAssignments=1572  nbBacktracks=2589  nbVisitedNodes=7173  nbRestartNogoods=40
2.27	       =>  wckTime=1.107  cpuTime=1.03  mem=15M364
2.81	   
2.81	   search
2.81	     run=12  nbConstraintChecks=9890243  nbPropagations=364473  nbRevisions=5427296  nbUselessRevisions=4450047
2.81	     nbAssignments=6466  nbFailedAssignments=2453  nbBacktracks=3886  nbVisitedNodes=10983  nbRestartNogoods=47
2.81	       =>  wckTime=1.645  cpuTime=1.57  mem=15M364
3.51	   
3.51	   search
3.51	     run=13  nbConstraintChecks=14462054  nbPropagations=542724  nbRevisions=8128198  nbUselessRevisions=6663741
3.51	     nbAssignments=9458  nbFailedAssignments=3486  nbBacktracks=5832  nbVisitedNodes=15988  nbRestartNogoods=50
3.51	       =>  wckTime=2.344  cpuTime=2.26  mem=15M364
4.77	   
4.77	   search
4.77	     run=14  nbConstraintChecks=23275101  nbPropagations=816536  nbRevisions=12337026  nbUselessRevisions=10102613
4.77	     nbAssignments=14265  nbFailedAssignments=5364  nbBacktracks=8751  nbVisitedNodes=24209  nbRestartNogoods=59
4.77	       =>  wckTime=3.602  cpuTime=3.52  mem=15M364
6.45	   
6.45	   search
6.45	     run=15  nbConstraintChecks=34130209  nbPropagations=1226440  nbRevisions=18636092  nbUselessRevisions=15256174
6.45	     nbAssignments=21427  nbFailedAssignments=8134  nbBacktracks=13130  nbVisitedNodes=36380  nbRestartNogoods=67
6.45	       =>  wckTime=5.284  cpuTime=5.2  mem=15M364
8.87	   
8.87	   search
8.87	     run=16  nbConstraintChecks=49587691  nbPropagations=1834844  nbRevisions=27946220  nbUselessRevisions=22884369
8.87	     nbAssignments=31985  nbFailedAssignments=12115  nbBacktracks=19698  nbVisitedNodes=54292  nbRestartNogoods=84
8.87	       =>  wckTime=7.702  cpuTime=7.62  mem=15M364
12.98	   
12.98	   search
12.98	     run=17  nbConstraintChecks=77541990  nbPropagations=2761372  nbRevisions=42289458  nbUselessRevisions=34637171
12.98	     nbAssignments=48148  nbFailedAssignments=18416  nbBacktracks=29551  nbVisitedNodes=82123  nbRestartNogoods=89
12.98	       =>  wckTime=11.813  cpuTime=11.73  mem=15M364
18.34	   
18.34	   search
18.34	     run=18  nbConstraintChecks=111655327  nbPropagations=4120686  nbRevisions=63279838  nbUselessRevisions=51861786
18.34	     nbAssignments=71540  nbFailedAssignments=27018  nbBacktracks=44332  nbVisitedNodes=121599  nbRestartNogoods=97
18.34	       =>  wckTime=17.174  cpuTime=17.09  mem=15M364
27.06	   
27.06	   search
27.06	     run=19  nbConstraintChecks=169660065  nbPropagations=6167323  nbRevisions=95086238  nbUselessRevisions=77973090
27.06	     nbAssignments=107406  nbFailedAssignments=40703  nbBacktracks=66502  nbVisitedNodes=182574  nbRestartNogoods=108
27.06	       =>  wckTime=25.897  cpuTime=25.81  mem=15M364
38.79	   
38.79	   search
38.79	     run=20  nbConstraintChecks=242824475  nbPropagations=9174606  nbRevisions=141478533  nbUselessRevisions=116088498
38.79	     nbAssignments=160319  nbFailedAssignments=60356  nbBacktracks=99754  nbVisitedNodes=272160  nbRestartNogoods=121
38.79	       =>  wckTime=37.619  cpuTime=37.53  mem=15M364
60.15	   
60.15	   search
60.15	     run=21  nbConstraintChecks=388607950  nbPropagations=13827715  nbRevisions=214242690  nbUselessRevisions=175866579
60.15	     nbAssignments=242988  nbFailedAssignments=93138  nbBacktracks=149632  nbVisitedNodes=414888  nbRestartNogoods=130
60.15	       =>  wckTime=58.987  cpuTime=58.9  mem=15M364
88.05	   
88.05	   search
88.05	     run=22  nbConstraintChecks=570204569  nbPropagations=20731864  nbRevisions=321737578  nbUselessRevisions=264226267
88.05	     nbAssignments=361162  nbFailedAssignments=136484  nbBacktracks=224452  nbVisitedNodes=615477  nbRestartNogoods=146
88.05	       =>  wckTime=86.879  cpuTime=86.78  mem=15M364
135.89	   
135.89	   search
135.89	     run=23  nbConstraintChecks=898941057  nbPropagations=31327179  nbRevisions=487676450  nbUselessRevisions=400514558
135.89	     nbAssignments=545449  nbFailedAssignments=208533  nbBacktracks=336679  nbVisitedNodes=932788  nbRestartNogoods=164
135.89	       =>  wckTime=134.723  cpuTime=134.61  mem=15M364
198.99	   
198.99	   search
198.99	     run=24  nbConstraintChecks=1302612638  nbPropagations=47022637  nbRevisions=732640294  nbUselessRevisions=601997833
198.99	     nbAssignments=815990  nbFailedAssignments=310722  nbBacktracks=505021  nbVisitedNodes=1394057  nbRestartNogoods=179
198.99	       =>  wckTime=197.819  cpuTime=197.69  mem=15M364
299.78	   
299.78	   search
299.78	     run=25  nbConstraintChecks=1975663418  nbPropagations=70622178  nbRevisions=1102153446
299.78	     nbUselessRevisions=905907589  nbAssignments=1225019  nbFailedAssignments=467229  nbBacktracks=757532
299.78	     nbVisitedNodes=2091748  nbRestartNogoods=195
299.78	       =>  wckTime=298.61  cpuTime=298.46  mem=15M364
440.22	   
440.22	   search
440.22	     run=26  nbConstraintChecks=2881291630  nbPropagations=105544440  nbRevisions=1646696973
440.22	     nbUselessRevisions=1353994981  nbAssignments=1824425  nbFailedAssignments=687858  nbBacktracks=1136300
440.22	     nbVisitedNodes=3109170  nbRestartNogoods=208
440.22	       =>  wckTime=439.057  cpuTime=438.86  mem=15M364
678.92	   
678.92	   search
678.92	     run=27  nbConstraintChecks=4486651186  nbPropagations=159076543  nbRevisions=2487155867
678.92	     nbUselessRevisions=2045574928  nbAssignments=2763826  nbFailedAssignments=1059095  nbBacktracks=1704455
678.92	     nbVisitedNodes=4733786  nbRestartNogoods=225
678.92	       =>  wckTime=677.754  cpuTime=677.51  mem=15M364
1002.25	   
1002.25	   search
1002.25	     run=28  nbConstraintChecks=6590900649  nbPropagations=238514385  nbRevisions=3728367034
1002.25	     nbUselessRevisions=3066812197  nbAssignments=4120164  nbFailedAssignments=1563198  nbBacktracks=2556683
1002.25	     nbVisitedNodes=7037957  nbRestartNogoods=243
1002.25	       =>  wckTime=1001.084  cpuTime=1000.75  mem=15M364
1533.14	   
1533.14	   search
1533.14	     run=29  nbConstraintChecks=10156168022  nbPropagations=359512514  nbRevisions=5626932518
1533.14	     nbUselessRevisions=4628681292  nbAssignments=6219072  nbFailedAssignments=2383756  nbBacktracks=3835024
1533.14	     nbVisitedNodes=10650106  nbRestartNogoods=263
1533.14	       =>  wckTime=1531.976  cpuTime=1531.42  mem=16M339

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

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

/proc/loadavg: 0.56 1.09 1.51 3/78 18775
/proc/meminfo: memFree=1391248/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=168 CPUtime=0
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 38 0 1 0 0 0 0 0 19 0 1 0 155333355 172032 23 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 12591403 0 0 4096 0 0 0 0 17 1 0 0
/proc/18774/statm: 42 23 18 14 0 2 0

[startup+0.108039 s]
/proc/loadavg: 0.56 1.09 1.51 3/78 18775
/proc/meminfo: memFree=1391248/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=9948 CPUtime=0.01
/proc/18774/stat : 18774 (java) D 18772 18774 18133 0 -1 0 708 0 17 0 0 1 0 0 18 0 1 0 155333355 10186752 474 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 0 0 0
/proc/18774/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948

[startup+0.517158 s]
/proc/loadavg: 0.56 1.09 1.51 3/78 18775
/proc/meminfo: memFree=1391248/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915120 CPUtime=0.26
/proc/18774/stat : 18774 (java) D 18772 18774 18133 0 -1 0 4161 0 68 0 20 6 0 0 17 0 8 0 155333355 937082880 3974 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18774/statm: 228780 3974 1902 14 0 215275 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 915120

[startup+1.34215 s]
/proc/loadavg: 0.59 1.08 1.50 2/85 18782
/proc/meminfo: memFree=1342104/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1.07
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9542 0 73 0 97 10 0 0 16 0 8 0 155333355 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18774/statm: 228865 9352 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 155333372 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.19
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 378 0 0 0 19 0 0 0 16 0 8 0 155333382 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 915460

[startup+2.99431 s]
/proc/loadavg: 0.59 1.08 1.50 2/85 18782
/proc/meminfo: memFree=1341848/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=2.71
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9561 0 73 0 261 10 0 0 18 0 8 0 155333355 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9370 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.22
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 396 0 0 0 22 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 915460

[startup+6.27261 s]
/proc/loadavg: 0.62 1.08 1.50 2/85 18782
/proc/meminfo: memFree=1341784/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=5.99
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9561 0 73 0 589 10 0 0 25 0 8 0 155333355 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9370 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.22
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 396 0 0 0 22 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 915460

[startup+12.7542 s]
/proc/loadavg: 0.65 1.08 1.50 2/85 18782
/proc/meminfo: memFree=1341784/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=12.47
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9561 0 73 0 1237 10 0 0 25 0 8 0 155333355 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9370 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.22
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 396 0 0 0 22 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915460

[startup+25.5784 s]
/proc/loadavg: 0.71 1.08 1.49 2/85 18782
/proc/meminfo: memFree=1341912/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=25.29
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9561 0 73 0 2519 10 0 0 25 0 8 0 155333355 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073812633 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9370 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 396 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9370 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915460

[startup+51.2608 s]
/proc/loadavg: 0.82 1.07 1.47 2/85 18782
/proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=50.97
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9563 0 73 0 5086 11 0 0 25 0 8 0 155333355 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9371 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 397 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915460

[startup+102.52 s]
/proc/loadavg: 0.92 1.06 1.45 2/85 18782
/proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=102.22
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9563 0 73 0 10211 11 0 0 25 0 8 0 155333355 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073811738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9371 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 397 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9371 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915460

[startup+162.612 s]
/proc/loadavg: 0.97 1.04 1.42 2/85 18782
/proc/meminfo: memFree=1342040/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=162.29
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 16218 11 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073822909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.51 s]
/proc/loadavg: 1.00 1.00 1.08 2/85 18980
/proc/meminfo: memFree=1341720/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1483.77
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 148363 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073823920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.77
Current children cumulated vsize (KiB) 915460

[startup+1544.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/85 18980
/proc/meminfo: memFree=1341784/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1543.84
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 154370 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073830211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.84
Current children cumulated vsize (KiB) 915460

[startup+1604.7 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 18980
/proc/meminfo: memFree=1341848/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1603.92
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 160378 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073830211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.92
Current children cumulated vsize (KiB) 915460

[startup+1664.79 s]
/proc/loadavg: 1.00 1.00 1.07 2/85 18980
/proc/meminfo: memFree=1341848/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1664
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 166386 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073832219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1664
Current children cumulated vsize (KiB) 915460

[startup+1724.88 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 18980
/proc/meminfo: memFree=1341848/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1724.07
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 172393 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073810624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.07
Current children cumulated vsize (KiB) 915460

[startup+1784.97 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 18980
/proc/meminfo: memFree=1341784/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1784.15
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 178401 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 18980
/proc/meminfo: memFree=1341784/2055920 swapFree=4192812/4192956
[pid=18774] ppid=18772 vsize=915460 CPUtime=1800.08
/proc/18774/stat : 18774 (java) R 18772 18774 18133 0 -1 0 9564 0 73 0 179994 14 0 0 25 0 8 0 155333355 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18774/statm: 228865 9372 2513 14 0 215335 0
[pid=18774/tid=18776] ppid=18772 vsize=915460 CPUtime=0.03
/proc/18774/task/18776/stat : 18776 (java) S 18772 18774 18133 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 155333372 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18777] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18777/stat : 18777 (java) S 18772 18774 18133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18778] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18778/stat : 18778 (java) S 18772 18774 18133 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155333373 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18779] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18779/stat : 18779 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18780] ppid=18772 vsize=915460 CPUtime=0.23
/proc/18774/task/18780/stat : 18780 (java) S 18772 18774 18133 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18774/tid=18781] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18781/stat : 18781 (java) S 18772 18774 18133 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18774/tid=18782] ppid=18772 vsize=915460 CPUtime=0
/proc/18774/task/18782/stat : 18782 (java) S 18772 18774 18133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155333382 937431040 9372 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1800.95
CPU time (s): 1800.14
CPU user time (s): 1799.98
CPU system time (s): 0.155976
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9582
page faults= 73
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37415
involuntary context switches= 41995

runsolver used 2.20267 s user time and 4.19836 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Sat Jan  6 07:43:09 UTC 2007


IDJOB= 194605
IDBENCH= 3223
FILE ID= node26/194605-1168069385

PBS_JOBID= 3475614

Free space on /tmp= 66537 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3a4d4d2446682c799d4da996a2daf2b7

RANDOM SEED= 189218767

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.236
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.236
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:       1391664 kB
Buffers:         41548 kB
Cached:         488648 kB
SwapCached:          0 kB
Active:          98352 kB
Inactive:       491324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1391664 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2176 kB
Writeback:           0 kB
Mapped:          78500 kB
Slab:            59964 kB
Committed_AS:  2698020 kB
PageTables:       1912 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= 66537 MiB



End job on node26 on Sat Jan  6 08:13:13 UTC 2007