Trace number 195099

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.07 1800.89

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-37_ext.xml
MD5SUMde84307cd6413818b0ab4602000a4f2b
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 benchmark74.2967
SatisfiableYES
(Un)Satisfiability was proved
Number of variables50
Number of constraints485
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension485
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.55	   
0.55	Abscon 109 (November, 2006)
0.55	   
0.55	   configuration
0.55	     name=mac.xml
0.62	   
0.62	   instance
0.62	     name=/tmp/evaluation/195099-1168069678/unknown.xml
0.65	   
0.65	   domains being loaded...
0.65	   
0.65	   variables being loaded...
0.69	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.69	       =>  wckTime=0.128  cpuTime=0.09  mem=6M951
0.69	   
0.69	   relations being loaded...
0.83	   
0.83	   constraints being loaded...
0.98	     nbConstraints=485  nbRelationTypes=485  nbExtensionStructures=485  nbSharedExtensionStructures=0
0.98	     nbConflictsStructures=485  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2763  maxDegree=27
0.98	     maxArity=2
0.98	       =>  wckTime=0.416  cpuTime=0.31  mem=17M711
1.02	   
1.02	   solver IterativeSystematicSolver being built... 
1.17	       =>  wckTime=0.61  cpuTime=0.45  mem=15M400
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=15M400
1.23	   
1.23	   search
1.23	     run=0  nbConstraintChecks=37213  nbPropagations=517  nbRevisions=5348  nbUselessRevisions=4500  nbAssignments=24
1.23	     nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=33  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.23	     nbTooLargeKeys=0
1.23	       =>  wckTime=0.055  cpuTime=0.02  mem=15M400
1.25	   
1.26	   search
1.26	     run=1  nbConstraintChecks=94426  nbPropagations=1748  nbRevisions=20283  nbUselessRevisions=16798  nbAssignments=54
1.26	     nbFailedAssignments=11  nbBacktracks=25  nbVisitedNodes=79  nbRestartNogoods=1  mapSize=18  nbInferences=0
1.26	     nbTooLargeKeys=0
1.26	       =>  wckTime=0.082  cpuTime=0.04  mem=15M400
1.27	   
1.27	   search
1.27	     run=2  nbConstraintChecks=154492  nbPropagations=3722  nbRevisions=45008  nbUselessRevisions=37341
1.27	     nbAssignments=94  nbFailedAssignments=20  nbBacktracks=49  nbVisitedNodes=141  nbRestartNogoods=2  mapSize=37
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.102  cpuTime=0.06  mem=15M400
1.29	   
1.29	   search
1.29	     run=3  nbConstraintChecks=248473  nbPropagations=6868  nbRevisions=86290  nbUselessRevisions=71680
1.29	     nbAssignments=156  nbFailedAssignments=37  nbBacktracks=82  nbVisitedNodes=238  nbRestartNogoods=3  mapSize=62
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.121  cpuTime=0.07  mem=15M400
1.32	   
1.32	   search
1.32	     run=4  nbConstraintChecks=384968  nbPropagations=11762  nbRevisions=153269  nbUselessRevisions=127262
1.32	     nbAssignments=246  nbFailedAssignments=65  nbBacktracks=132  nbVisitedNodes=382  nbRestartNogoods=6  mapSize=101
1.32	     nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.15  cpuTime=0.1  mem=15M400
1.37	   
1.37	   search
1.37	     run=5  nbConstraintChecks=612158  nbPropagations=19152  nbRevisions=257275  nbUselessRevisions=212995
1.37	     nbAssignments=370  nbFailedAssignments=103  nbBacktracks=209  nbVisitedNodes=584  nbRestartNogoods=12  mapSize=164
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.194  cpuTime=0.14  mem=15M400
1.43	   
1.43	   search
1.43	     run=6  nbConstraintChecks=956998  nbPropagations=30334  nbRevisions=421582  nbUselessRevisions=347838
1.43	     nbAssignments=575  nbFailedAssignments=186  nbBacktracks=322  nbVisitedNodes=927  nbRestartNogoods=16  mapSize=259
1.43	     nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.256  cpuTime=0.2  mem=15M400
1.51	   
1.51	   search
1.51	     run=7  nbConstraintChecks=1388042  nbPropagations=46632  nbRevisions=663648  nbUselessRevisions=546040
1.51	     nbAssignments=852  nbFailedAssignments=279  nbBacktracks=497  nbVisitedNodes=1385  nbRestartNogoods=23  mapSize=395
1.51	     nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.335  cpuTime=0.28  mem=15M400
1.63	   
1.63	   search
1.63	     run=8  nbConstraintChecks=2081028  nbPropagations=70904  nbRevisions=1035756  nbUselessRevisions=852269
1.63	     nbAssignments=1288  nbFailedAssignments=447  nbBacktracks=755  nbVisitedNodes=2108  nbRestartNogoods=26
1.63	     mapSize=606  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.462  cpuTime=0.4  mem=15M400
1.81	   
1.81	   search
1.81	     run=9  nbConstraintChecks=3067575  nbPropagations=106832  nbRevisions=1591129  nbUselessRevisions=1309359
1.81	     nbAssignments=1888  nbFailedAssignments=654  nbBacktracks=1141  nbVisitedNodes=3116  nbRestartNogoods=31
1.81	     mapSize=921  nbInferences=0  nbTooLargeKeys=0
1.81	       =>  wckTime=0.638  cpuTime=0.57  mem=15M400
1.86	   
1.86	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M400)
2.05	   
2.05	   search
2.05	     run=10  nbConstraintChecks=4620292  nbPropagations=161403  nbRevisions=2442727  nbUselessRevisions=2011678
2.05	     nbAssignments=2843  nbFailedAssignments=1023  nbBacktracks=1718  nbVisitedNodes=4745  nbRestartNogoods=34
2.05	       =>  wckTime=0.882  cpuTime=0.8  mem=15M400
2.39	   
2.39	   search
2.39	     run=11  nbConstraintChecks=6880440  nbPropagations=242700  nbRevisions=3723114  nbUselessRevisions=3068530
2.39	     nbAssignments=4260  nbFailedAssignments=1564  nbBacktracks=2583  nbVisitedNodes=7158  nbRestartNogoods=38
2.39	       =>  wckTime=1.222  cpuTime=1.13  mem=15M400
2.85	   
2.85	   search
2.85	     run=12  nbConstraintChecks=9564270  nbPropagations=360717  nbRevisions=5576820  nbUselessRevisions=4603345
2.85	     nbAssignments=6338  nbFailedAssignments=2331  nbBacktracks=3883  nbVisitedNodes=10658  nbRestartNogoods=49
2.85	       =>  wckTime=1.676  cpuTime=1.58  mem=15M400
3.61	   
3.61	   search
3.61	     run=13  nbConstraintChecks=14594568  nbPropagations=535985  nbRevisions=8361464  nbUselessRevisions=6908389
3.61	     nbAssignments=9372  nbFailedAssignments=3407  nbBacktracks=5831  nbVisitedNodes=15771  nbRestartNogoods=58
3.61	       =>  wckTime=2.435  cpuTime=2.34  mem=15M400
4.73	   
4.73	   search
4.73	     run=14  nbConstraintChecks=21718554  nbPropagations=799422  nbRevisions=12545285  nbUselessRevisions=10374077
4.73	     nbAssignments=13978  nbFailedAssignments=5081  nbBacktracks=8751  nbVisitedNodes=23593  nbRestartNogoods=65
4.73	       =>  wckTime=3.556  cpuTime=3.46  mem=15M400
6.56	   
6.56	   search
6.56	     run=15  nbConstraintChecks=33471931  nbPropagations=1201863  nbRevisions=19058093  nbUselessRevisions=15780904
6.56	     nbAssignments=21299  nbFailedAssignments=8012  nbBacktracks=13129  nbVisitedNodes=36227  nbRestartNogoods=71
6.56	       =>  wckTime=5.39  cpuTime=5.3  mem=15M400
9.18	   
9.18	   search
9.18	     run=16  nbConstraintChecks=50191403  nbPropagations=1810494  nbRevisions=28866344  nbUselessRevisions=23917290
9.18	     nbAssignments=32003  nbFailedAssignments=12137  nbBacktracks=19697  nbVisitedNodes=54675  nbRestartNogoods=76
9.18	       =>  wckTime=8.009  cpuTime=7.91  mem=15M400
12.96	   
12.96	   search
12.96	     run=17  nbConstraintChecks=74214405  nbPropagations=2714315  nbRevisions=43526829  nbUselessRevisions=36103895
12.96	     nbAssignments=47976  nbFailedAssignments=18245  nbBacktracks=29552  nbVisitedNodes=81998  nbRestartNogoods=87
12.96	       =>  wckTime=11.784  cpuTime=11.69  mem=15M400
18.77	   
18.77	   search
18.77	     run=18  nbConstraintChecks=113445656  nbPropagations=4064282  nbRevisions=65331228  nbUselessRevisions=54171315
18.77	     nbAssignments=71421  nbFailedAssignments=26898  nbBacktracks=44331  nbVisitedNodes=121834  nbRestartNogoods=95
18.77	       =>  wckTime=17.595  cpuTime=17.49  mem=15M400
27.66	   
27.66	   search
27.66	     run=19  nbConstraintChecks=170921463  nbPropagations=6094762  nbRevisions=98249851  nbUselessRevisions=81468401
27.66	     nbAssignments=107266  nbFailedAssignments=40564  nbBacktracks=66499  nbVisitedNodes=183291  nbRestartNogoods=100
27.66	       =>  wckTime=26.483  cpuTime=26.38  mem=15M400
41.27	   
41.27	   search
41.27	     run=20  nbConstraintChecks=259793490  nbPropagations=9178721  nbRevisions=148209718  nbUselessRevisions=122877203
41.27	     nbAssignments=161385  nbFailedAssignments=61422  nbBacktracks=99751  nbVisitedNodes=276230  nbRestartNogoods=110
41.27	       =>  wckTime=40.097  cpuTime=39.99  mem=15M400
62.07	   
62.07	   search
62.07	     run=21  nbConstraintChecks=396846581  nbPropagations=13845265  nbRevisions=224415314  nbUselessRevisions=186087331
62.07	     nbAssignments=243511  nbFailedAssignments=93659  nbBacktracks=149630  nbVisitedNodes=417803  nbRestartNogoods=124
62.07	       =>  wckTime=60.899  cpuTime=60.79  mem=15M400
92.37	   
92.37	   search
92.37	     run=22  nbConstraintChecks=595194293  nbPropagations=20844499  nbRevisions=338526477  nbUselessRevisions=280687264
92.37	     nbAssignments=363832  nbFailedAssignments=139153  nbBacktracks=224448  nbVisitedNodes=623514  nbRestartNogoods=137
92.37	       =>  wckTime=91.198  cpuTime=91.08  mem=15M400
138.16	   
138.16	   search
138.16	     run=23  nbConstraintChecks=900165226  nbPropagations=31370847  nbRevisions=509726014  nbUselessRevisions=422526706
138.16	     nbAssignments=545864  nbFailedAssignments=208948  nbBacktracks=336676  nbVisitedNodes=936491  nbRestartNogoods=145
138.16	       =>  wckTime=136.983  cpuTime=136.85  mem=15M400
202.97	   
202.97	   search
202.97	     run=24  nbConstraintChecks=1320536949  nbPropagations=46948222  nbRevisions=761884623  nbUselessRevisions=631341917
202.97	     nbAssignments=813123  nbFailedAssignments=307859  nbBacktracks=505018  nbVisitedNodes=1391858  nbRestartNogoods=155
202.97	       =>  wckTime=201.794  cpuTime=201.64  mem=15M400
306.60	   
306.60	   search
306.60	     run=25  nbConstraintChecks=2012659455  nbPropagations=70390249  nbRevisions=1143944660
306.60	     nbUselessRevisions=948070953  nbAssignments=1217851  nbFailedAssignments=460064  nbBacktracks=757529
306.60	     nbVisitedNodes=2085968  nbRestartNogoods=164
306.60	       =>  wckTime=305.432  cpuTime=305.26  mem=15M400
451.52	   
451.52	   search
451.52	     run=26  nbConstraintChecks=2949843541  nbPropagations=105126208  nbRevisions=1707946213
451.52	     nbUselessRevisions=1415684513  nbAssignments=1818174  nbFailedAssignments=681611  nbBacktracks=1136297
451.52	     nbVisitedNodes=3104821  nbRestartNogoods=178
451.52	       =>  wckTime=450.352  cpuTime=450.14  mem=15M400
677.70	   
677.70	   search
677.70	     run=27  nbConstraintChecks=4405800475  nbPropagations=157283855  nbRevisions=2560728570
677.70	     nbUselessRevisions=2124216856  nbAssignments=2731669  nbFailedAssignments=1026941  nbBacktracks=1704450
677.70	     nbVisitedNodes=4674804  nbRestartNogoods=194
677.70	       =>  wckTime=676.53  cpuTime=676.25  mem=15M400
1025.12	   
1025.12	   search
1025.12	     run=28  nbConstraintChecks=6721475311  nbPropagations=236200400  nbRevisions=3844763267
1025.12	     nbUselessRevisions=3189197906  nbAssignments=4099630  nbFailedAssignments=1542666  nbBacktracks=2556676
1025.12	     nbVisitedNodes=7018700  nbRestartNogoods=206
1025.12	       =>  wckTime=1023.947  cpuTime=1023.49  mem=15M400
1561.55	   
1561.55	   search
1561.55	     run=29  nbConstraintChecks=10324021197  nbPropagations=355919523  nbRevisions=5792240277
1561.55	     nbUselessRevisions=4802267160  nbAssignments=6189642  nbFailedAssignments=2354326  nbBacktracks=3835017
1561.55	     nbVisitedNodes=10611884  nbRestartNogoods=229
1561.55	       =>  wckTime=1560.379  cpuTime=1559.78  mem=15M400

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-195099-1168069678 -o ROOT/results/node47/solver-195099-1168069678 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195099-1168069678/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.31 1.79 1.86 3/65 1390
/proc/meminfo: memFree=1822424/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=308 CPUtime=0
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 56 0 1 0 0 0 0 0 19 0 1 0 155367105 315392 40 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 10519332 0 0 4096 0 0 0 0 17 1 0 0
/proc/1389/statm: 370 41 32 14 0 5 0

[startup+0.102869 s]
/proc/loadavg: 1.31 1.79 1.86 3/65 1390
/proc/meminfo: memFree=1822424/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=47416 CPUtime=0.02
/proc/1389/stat : 1389 (java) D 1387 1389 784 0 -1 0 1016 0 22 0 0 2 0 0 18 0 1 0 155367105 48553984 786 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 10986460 0 4 0 7368 18446744071563479169 0 0 17 0 0 0
/proc/1389/statm: 11854 786 633 14 0 1707 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47416

[startup+0.513907 s]
/proc/loadavg: 1.31 1.79 1.86 3/65 1390
/proc/meminfo: memFree=1822424/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915148 CPUtime=0.28
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 4622 0 67 0 22 6 0 0 16 0 8 0 155367105 937111552 4434 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228787 4435 1937 14 0 215275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 915148

[startup+1.33495 s]
/proc/loadavg: 1.31 1.79 1.86 2/72 1397
/proc/meminfo: memFree=1773280/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1.07
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9602 0 71 0 97 10 0 0 16 0 8 0 155367105 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073849866 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9410 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 17 0 8 0 155367118 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.18
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 377 0 0 0 18 0 0 0 15 0 8 0 155367125 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9410 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9410 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.98412 s]
/proc/loadavg: 1.28 1.77 1.85 2/72 1397
/proc/meminfo: memFree=1772960/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=2.71
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9622 0 71 0 261 10 0 0 18 0 8 0 155367105 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073815952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9429 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 17 0 8 0 155367118 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 396 0 0 0 22 0 0 0 15 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9429 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.27948 s]
/proc/loadavg: 1.28 1.77 1.85 2/72 1397
/proc/meminfo: memFree=1772904/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=6.01
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9623 0 71 0 591 10 0 0 21 0 8 0 155367105 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073841301 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9429 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9429 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 915460

[startup+12.7522 s]
/proc/loadavg: 1.24 1.75 1.85 2/72 1397
/proc/meminfo: memFree=1772904/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=12.48
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9624 0 71 0 1238 10 0 0 17 0 8 0 155367105 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073837292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9430 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915460

[startup+25.5825 s]
/proc/loadavg: 1.20 1.72 1.84 2/72 1397
/proc/meminfo: memFree=1773032/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=25.31
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9625 0 71 0 2521 10 0 0 25 0 8 0 155367105 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073841291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9430 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460

[startup+51.2603 s]
/proc/loadavg: 1.13 1.66 1.81 2/72 1397
/proc/meminfo: memFree=1773160/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=50.98
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9625 0 71 0 5088 10 0 0 25 0 8 0 155367105 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073841285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9430 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915460

[startup+102.512 s]
/proc/loadavg: 1.06 1.56 1.77 2/72 1397
/proc/meminfo: memFree=1773224/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=102.21
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9625 0 71 0 10211 10 0 0 25 0 8 0 155367105 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9430 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915460

[startup+162.597 s]
/proc/loadavg: 1.02 1.45 1.72 2/72 1397
/proc/meminfo: memFree=1773160/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=162.28
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9625 0 71 0 16218 10 0 0 25 0 8 0 155367105 937431040 9430 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073827858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.31 s]
/proc/loadavg: 1.00 1.00 1.14 2/72 1595
/proc/meminfo: memFree=1772648/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1483.56
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 148344 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073816773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.56
Current children cumulated vsize (KiB) 915460

[startup+1544.39 s]
/proc/loadavg: 1.00 1.00 1.13 2/72 1595
/proc/meminfo: memFree=1772648/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1543.63
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 154351 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073839467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.63
Current children cumulated vsize (KiB) 915460

[startup+1604.48 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 1595
/proc/meminfo: memFree=1772584/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1603.71
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 160359 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073836379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.71
Current children cumulated vsize (KiB) 915460

[startup+1664.57 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 1595
/proc/meminfo: memFree=1772584/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1663.78
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 166366 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.78
Current children cumulated vsize (KiB) 915460

[startup+1724.65 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 1595
/proc/meminfo: memFree=1772648/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1723.84
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 172372 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073836398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.84
Current children cumulated vsize (KiB) 915460

[startup+1784.74 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 1595
/proc/meminfo: memFree=1772584/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1783.91
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 178379 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073814857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.91
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.85 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 1595
/proc/meminfo: memFree=1772584/2055920 swapFree=4192812/4192956
[pid=1389] ppid=1387 vsize=915460 CPUtime=1800.03
/proc/1389/stat : 1389 (java) R 1387 1389 784 0 -1 0 9626 0 71 0 179991 12 0 0 25 0 8 0 155367105 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073828080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1389/statm: 228865 9431 2513 14 0 215335 0
[pid=1389/tid=1391] ppid=1387 vsize=915460 CPUtime=0.03
/proc/1389/task/1391/stat : 1391 (java) S 1387 1389 784 0 -1 64 417 0 0 0 3 0 0 0 16 0 8 0 155367118 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1392/stat : 1392 (java) S 1387 1389 784 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1393] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1393/stat : 1393 (java) S 1387 1389 784 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155367119 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1394] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1394/stat : 1394 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1395] ppid=1387 vsize=915460 CPUtime=0.22
/proc/1389/task/1395/stat : 1395 (java) S 1387 1389 784 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1389/tid=1396] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1396/stat : 1396 (java) S 1387 1389 784 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1389/tid=1397] ppid=1387 vsize=915460 CPUtime=0
/proc/1389/task/1397/stat : 1397 (java) S 1387 1389 784 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155367125 937431040 9431 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1800.89
CPU time (s): 1800.07
CPU user time (s): 1799.94
CPU system time (s): 0.12998
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9644
page faults= 71
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37450
involuntary context switches= 37353

runsolver used 2.09068 s user time and 4.29835 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Jan  6 07:47:59 UTC 2007


IDJOB= 195099
IDBENCH= 3249
FILE ID= node47/195099-1168069678

PBS_JOBID= 3475624

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  de84307cd6413818b0ab4602000a4f2b

RANDOM SEED= 407539813

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1822840 kB
Buffers:         24684 kB
Cached:         121924 kB
SwapCached:          0 kB
Active:          38684 kB
Inactive:       123416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2060 kB
Writeback:           0 kB
Mapped:          25604 kB
Slab:            57020 kB
Committed_AS:  2738444 kB
PageTables:       1452 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= 66534 MiB



End job on node47 on Sat Jan  6 08:18:00 UTC 2007