Trace number 276410

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
AbsconMax 109 PFCMSAT (TO) 2400.1 2404.49

General information on the benchmark

Nametightness/tightness0.8/
rand-2-40-80-103-800-22_ext.xml
MD5SUM70d4bbef57c703949e1f02a0b6cef9a2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints101
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints103
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension103
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/276410-1169236831/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=80  maxDomainSize=80
0.42	       =>  wckTime=0.106  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.60	   
0.61	   constraints being loaded...
0.70	     nbConstraints=103  nbRelationTypes=103  nbExtensionStructures=103  nbSharedExtensionStructures=0
0.70	     nbConflictsStructures=103  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=9  maxArity=2
0.70	       =>  wckTime=0.381  cpuTime=0.32  mem=21M575
0.74	   
0.74	   solver LocalSearchSolver being built... 
0.79	       =>  wckTime=0.473  cpuTime=0.37  mem=6M328
0.80	
0.80	s SATISFIABLE
0.80	o 29
0.80	c 74
0.80	o 33
0.80	c 70
0.80	o 37
0.80	c 66
0.80	o 41
0.80	c 62
0.80	o 45
0.80	c 58
0.81	o 48
0.81	c 55
0.81	o 50
0.81	c 53
0.81	o 53
0.81	c 50
0.81	o 56
0.81	c 47
0.81	o 58
0.81	c 45
0.81	o 59
0.81	c 44
0.81	o 61
0.81	c 42
0.81	o 62
0.81	c 41
0.81	o 64
0.81	c 39
0.81	o 65
0.82	c 38
0.82	o 68
0.82	c 35
0.82	o 70
0.82	c 33
0.82	o 72
0.82	c 31
0.82	o 74
0.82	c 29
0.82	o 75
0.82	c 28
0.82	o 76
0.82	c 27
0.82	o 77
0.82	c 26
0.82	o 78
0.82	c 25
0.82	o 79
0.82	c 24
0.83	o 80
0.83	c 23
0.83	o 81
0.83	c 22
0.84	o 82
0.84	c 21
0.84	o 83
0.84	c 20
0.84	o 85
0.84	c 18
0.85	o 86
0.85	c 17
0.85	o 87
0.85	c 16
0.85	o 88
0.86	c 15
0.87	o 89
0.87	c 14
0.88	o 90
0.88	c 13
0.88	o 91
0.88	c 12
0.89	o 92
0.89	c 11
0.94	o 93
0.94	c 10
0.94	o 94
0.94	c 9
0.97	o 95
0.97	c 8
0.97	o 96
0.97	c 7
1.02	o 97
1.02	c 6
1.75	o 98
1.75	c 5
6.13	   
6.13	   search
6.13	     run=0  nbConstraintChecks=42203083  nbAssignments=10000
6.13	       =>  wckTime=5.345  cpuTime=5.29  mem=6M328
11.43	   
11.43	   search
11.43	     run=1  nbConstraintChecks=83929622  nbAssignments=20000
11.43	       =>  wckTime=10.641  cpuTime=10.56  mem=6M328
16.98	   
16.98	   search
16.98	     run=2  nbConstraintChecks=127595078  nbAssignments=30000
16.98	       =>  wckTime=16.192  cpuTime=16.08  mem=6M328
23.18	   
23.18	   search
23.18	     run=3  nbConstraintChecks=176037235  nbAssignments=40000
23.18	       =>  wckTime=22.39  cpuTime=22.25  mem=6M328
29.01	   
29.01	   search
29.01	     run=4  nbConstraintChecks=221801972  nbAssignments=50000
29.01	       =>  wckTime=28.225  cpuTime=28.06  mem=6M328
31.94	   
31.94	   search
31.94	     run=5  nbConstraintChecks=244446961  nbAssignments=55239
31.94	       =>  wckTime=31.152  cpuTime=30.95  mem=6M328
31.94	   
31.94	   global
31.94	     nbConstraintChecks=244446961  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.94	     solvingWckTime=31.148  solvingCpuTime=30.94  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.94	     globalCpuTime=31.36
31.94	       =>  wckTime=31.626  cpuTime=31.32  mem=6M328
31.94	   
31.94	   solver IterativeSystematicSolver being built... 
32.07	       =>  wckTime=31.752  cpuTime=31.42  mem=17M220
32.08	   
32.08	   preprocessing
32.08	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
32.08	     detectedInconsistency=no
32.08	       =>  wckTime=0.0060  cpuTime=0.0  mem=17M220
32.36	   
32.36	   search
32.36	     run=0  nbConstraintChecks=1256208  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=93
32.36	     nbFailedAssignments=67  nbBacktracks=10  nbVisitedNodes=171  nbRestartNogoods=0
32.36	       =>  wckTime=0.288  cpuTime=0.25  mem=17M220
32.64	   
32.64	   search
32.64	     run=1  nbConstraintChecks=2275396  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=222
32.64	     nbFailedAssignments=166  nbBacktracks=26  nbVisitedNodes=415  nbRestartNogoods=34
32.64	       =>  wckTime=0.575  cpuTime=0.53  mem=17M220
33.04	   
33.04	   search
33.04	     run=2  nbConstraintChecks=3744162  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=455
33.04	     nbFailedAssignments=365  nbBacktracks=48  nbVisitedNodes=869  nbRestartNogoods=69
33.04	       =>  wckTime=0.969  cpuTime=0.9  mem=17M220
34.52	   
34.52	   search
34.52	     run=3  nbConstraintChecks=10098791  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1046
34.52	     nbFailedAssignments=913  nbBacktracks=81  nbVisitedNodes=2041  nbRestartNogoods=119
34.52	       =>  wckTime=2.448  cpuTime=2.37  mem=17M220
35.13	   
35.13	   search
35.13	     run=4  nbConstraintChecks=13069961  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1333
35.13	     nbFailedAssignments=1138  nbBacktracks=132  nbVisitedNodes=2604  nbRestartNogoods=209
35.13	       =>  wckTime=3.06  cpuTime=2.97  mem=17M220
36.56	   
36.56	   search
36.56	     run=5  nbConstraintChecks=20638112  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2193
36.56	     nbFailedAssignments=1906  nbBacktracks=207  nbVisitedNodes=4307  nbRestartNogoods=221
36.56	       =>  wckTime=4.49  cpuTime=4.38  mem=17M220
37.75	   
37.75	   search
37.75	     run=6  nbConstraintChecks=26878994  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2846
37.75	     nbFailedAssignments=2431  nbBacktracks=320  nbVisitedNodes=5598  nbRestartNogoods=333
37.75	       =>  wckTime=5.684  cpuTime=5.56  mem=17M220
55.55	   
55.55	   search
55.55	     run=7  nbConstraintChecks=116072992  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10962
55.55	     nbFailedAssignments=10363  nbBacktracks=490  nbVisitedNodes=21815  nbRestartNogoods=408
55.55	       =>  wckTime=23.486  cpuTime=23.24  mem=17M220
64.17	   
64.17	   search
64.17	     run=8  nbConstraintChecks=159976884  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16056
64.17	     nbFailedAssignments=15184  nbBacktracks=746  nbVisitedNodes=31986  nbRestartNogoods=499
64.17	       =>  wckTime=32.105  cpuTime=31.81  mem=17M220
71.70	   
71.70	   search
71.70	     run=9  nbConstraintChecks=190929949  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19962
71.70	     nbFailedAssignments=18693  nbBacktracks=1130  nbVisitedNodes=39785  nbRestartNogoods=595
71.70	       =>  wckTime=39.627  cpuTime=39.28  mem=17M220
83.14	   
83.14	   search
83.14	     run=10  nbConstraintChecks=253080896  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24648
83.14	     nbFailedAssignments=22788  nbBacktracks=1706  nbVisitedNodes=49142  nbRestartNogoods=742
83.14	       =>  wckTime=51.069  cpuTime=50.64  mem=17M220
98.61	   
98.61	   search
98.61	     run=11  nbConstraintChecks=334028384  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33463
98.61	     nbFailedAssignments=30722  nbBacktracks=2570  nbVisitedNodes=66754  nbRestartNogoods=854
98.61	       =>  wckTime=66.546  cpuTime=66.03  mem=17M220
118.26	   
118.26	   search
118.26	     run=12  nbConstraintChecks=435614658  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=43817
118.26	     nbFailedAssignments=39765  nbBacktracks=3867  nbVisitedNodes=87448  nbRestartNogoods=925
118.26	       =>  wckTime=86.195  cpuTime=85.58  mem=17M220
154.93	   
154.93	   search
154.93	     run=13  nbConstraintChecks=626693885  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=62725
154.93	     nbFailedAssignments=56712  nbBacktracks=5813  nbVisitedNodes=125246  nbRestartNogoods=949
154.93	       =>  wckTime=122.86  cpuTime=122.07  mem=17M220
189.26	   
189.26	   search
189.26	     run=14  nbConstraintChecks=773710576  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77690
189.26	     nbFailedAssignments=68753  nbBacktracks=8732  nbVisitedNodes=155169  nbRestartNogoods=1055
189.26	       =>  wckTime=157.188  cpuTime=156.23  mem=17M220
222.33	   
222.33	   search
222.33	     run=15  nbConstraintChecks=933463232  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=96128
222.33	     nbFailedAssignments=82794  nbBacktracks=13110  nbVisitedNodes=192015  nbRestartNogoods=1118
222.33	       =>  wckTime=190.266  cpuTime=189.15  mem=17M220
265.37	   
265.37	   search
265.37	     run=16  nbConstraintChecks=1107967742  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=115749
265.37	     nbFailedAssignments=95830  nbBacktracks=19678  nbVisitedNodes=231077  nbRestartNogoods=1183
265.37	       =>  wckTime=233.301  cpuTime=231.99  mem=17M220
342.69	   
342.69	   search
342.69	     run=17  nbConstraintChecks=1430548423  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=149019
342.69	     nbFailedAssignments=119231  nbBacktracks=29531  nbVisitedNodes=297483  nbRestartNogoods=1268
342.69	       =>  wckTime=310.623  cpuTime=308.94  mem=17M220
469.97	   
469.97	   search
469.97	     run=18  nbConstraintChecks=1915332751  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=190569
469.97	     nbFailedAssignments=145996  nbBacktracks=44309  nbVisitedNodes=379829  nbRestartNogoods=1357
469.97	       =>  wckTime=437.899  cpuTime=435.92  mem=17M220
638.28	   
638.28	   search
638.28	     run=19  nbConstraintChecks=2569498480  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=249321
638.28	     nbFailedAssignments=182571  nbBacktracks=66478  nbVisitedNodes=495252  nbRestartNogoods=1386
638.28	       =>  wckTime=606.209  cpuTime=604.18  mem=17M220
839.02	o 99
839.02	c 4
881.48	   
881.48	   search
881.48	     run=20  nbConstraintChecks=3609185656  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=340641
881.48	     nbFailedAssignments=240623  nbBacktracks=99732  nbVisitedNodes=677053  nbRestartNogoods=1443
881.48	       =>  wckTime=849.412  cpuTime=847.32  mem=17M220
1199.70	   
1199.70	   search
1199.70	     run=21  nbConstraintChecks=4748732765  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=448438
1199.70	     nbFailedAssignments=298528  nbBacktracks=149610  nbVisitedNodes=883718  nbRestartNogoods=1468
1199.70	       =>  wckTime=1167.628  cpuTime=1165.45  mem=17M220
1653.33	   
1653.33	   search
1653.33	     run=22  nbConstraintChecks=6554322238  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=626489
1653.33	     nbFailedAssignments=401743  nbBacktracks=224429  nbVisitedNodes=1233799  nbRestartNogoods=1496
1653.33	       =>  wckTime=1621.26  cpuTime=1618.96  mem=17M220
2378.41	   
2378.41	   search
2378.41	     run=23  nbConstraintChecks=9352412065  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=888041
2378.41	     nbFailedAssignments=551054  nbBacktracks=336656  nbVisitedNodes=1742580  nbRestartNogoods=1524
2378.41	       =>  wckTime=2346.343  cpuTime=2342.2  mem=17M220
2404.46	v 38 39 21 64 2 79 4 59 19 31 48 24 6 22 1 0 36 69 0 31 62 16 74 34 70 67 65 23 15 12 14 77 7 4 54 4 44 60 55 27 

Verifier Data (download as text)

4 unsatisfied constraints, 99 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-276410-1169236831 -o ROOT/results/node6/solver-276410-1169236831 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276410-1169236831/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.93 2.00 1.99 4/86 15589
/proc/meminfo: memFree=1272104/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=18540 CPUtime=0
/proc/15588/stat : 15588 (runsolver) R 15586 15588 14860 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272078576 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15588/statm: 4635 279 244 17 0 2626 0

[startup+0.103517 s]
/proc/loadavg: 1.93 2.00 1.99 4/86 15589
/proc/meminfo: memFree=1272104/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=914988 CPUtime=0.08
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 2951 0 1 0 7 1 0 0 17 0 8 0 272078576 936947712 2697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511569 s]
/proc/loadavg: 1.93 2.00 1.99 4/86 15589
/proc/meminfo: memFree=1272104/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915332 CPUtime=0.49
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 7240 0 1 0 44 5 0 0 19 0 8 0 272078576 937299968 6979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228833 6979 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33466 s]
/proc/loadavg: 1.93 2.00 1.99 3/93 15596
/proc/meminfo: memFree=1241200/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=1.3
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10405 0 1 0 118 12 0 0 25 0 8 0 272078576 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10143 2476 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.11
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272078584 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10143 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444

[startup+2.98785 s]
/proc/loadavg: 1.93 2.00 1.99 3/93 15596
/proc/meminfo: memFree=1241136/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2.95
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10409 0 1 0 270 25 0 0 25 0 8 0 272078576 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10146 2476 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.12
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 333 0 0 0 12 0 0 0 16 0 8 0 272078584 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10146 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444

[startup+6.27024 s]
/proc/loadavg: 1.94 2.00 1.99 3/93 15596
/proc/meminfo: memFree=1241008/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=6.22
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10411 0 1 0 575 47 0 0 25 0 8 0 272078576 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10148 2476 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.12
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444

[startup+12.758 s]
/proc/loadavg: 1.94 2.00 1.99 3/93 15596
/proc/meminfo: memFree=1241008/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=12.67
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10411 0 1 0 1171 96 0 0 25 0 8 0 272078576 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2513353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10148 2476 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.12
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915444

[startup+25.5975 s]
/proc/loadavg: 1.95 2.00 1.99 3/93 15596
/proc/meminfo: memFree=1241136/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=25.45
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10411 0 1 0 2364 181 0 0 25 0 8 0 272078576 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10148 2476 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.12
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444

[startup+51.2215 s]
/proc/loadavg: 1.97 2.00 1.99 3/99 15698
/proc/meminfo: memFree=1239552/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=50.86
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10564 0 1 0 4858 228 0 0 25 0 8 0 272078576 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10296 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.22
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 272078584 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10296 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915444

[startup+102.459 s]
/proc/loadavg: 1.98 2.00 1.99 3/99 15774
/proc/meminfo: memFree=1239552/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=101.78
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10570 0 1 0 9949 229 0 0 25 0 8 0 272078576 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15588/statm: 228861 10299 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 915444

[startup+162.516 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 15794
/proc/meminfo: memFree=1240624/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=161.56
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10570 0 1 0 15926 230 0 0 25 0 8 0 272078576 937414656 10299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 915444

[startup+2084.78 s]
/proc/loadavg: 1.97 2.00 1.99 3/100 15857
/proc/meminfo: memFree=1219640/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2081.9
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 207946 244 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 915444

[startup+2144.81 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 15857
/proc/meminfo: memFree=1219640/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2141.64
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 213920 244 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.64
Current children cumulated vsize (KiB) 915444

[startup+2204.84 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 15857
/proc/meminfo: memFree=1219640/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2201.4
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 219896 244 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.4
Current children cumulated vsize (KiB) 915444

[startup+2264.87 s]
/proc/loadavg: 1.99 2.00 1.99 3/100 15857
/proc/meminfo: memFree=1219640/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2261.14
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 225869 245 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.14
Current children cumulated vsize (KiB) 915444

[startup+2324.9 s]
/proc/loadavg: 2.10 2.03 2.00 3/100 15857
/proc/meminfo: memFree=1219576/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2320.89
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 231844 245 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.89
Current children cumulated vsize (KiB) 915444

[startup+2384.92 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 15857
/proc/meminfo: memFree=1219576/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2380.63
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 237818 245 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.63
Current children cumulated vsize (KiB) 915444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2404.45 s]
/proc/loadavg: 2.10 2.04 2.01 3/100 15857
/proc/meminfo: memFree=1219576/2055924 swapFree=4165736/4192956
[pid=15588] ppid=15586 vsize=915444 CPUtime=2400.05
/proc/15588/stat : 15588 (java) R 15586 15588 14860 0 -1 0 10572 0 1 0 239760 245 0 0 25 0 8 0 272078576 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797545 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15588/statm: 228861 10300 2527 14 0 215331 0
[pid=15588/tid=15590] ppid=15586 vsize=915444 CPUtime=0.03
/proc/15588/task/15590/stat : 15590 (java) S 15586 15588 14860 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272078580 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15591] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15591/stat : 15591 (java) S 15586 15588 14860 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15592] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15592/stat : 15592 (java) S 15586 15588 14860 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272078581 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15593] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15593/stat : 15593 (java) S 15586 15588 14860 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15594] ppid=15586 vsize=915444 CPUtime=0.23
/proc/15588/task/15594/stat : 15594 (java) S 15586 15588 14860 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15595] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15595/stat : 15595 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15588/tid=15596] ppid=15586 vsize=915444 CPUtime=0
/proc/15588/task/15596/stat : 15596 (java) S 15586 15588 14860 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272078584 937414656 10300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915444

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

Child status: 143
Real time (s): 2404.49
CPU time (s): 2400.1
CPU user time (s): 2397.64
CPU system time (s): 2.46163
CPU usage (%): 99.8172
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.64
system time used= 2.46162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10591
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49758
involuntary context switches= 86475

runsolver used 2.92755 s user time and 7.41687 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Fri Jan 19 20:00:31 UTC 2007


IDJOB= 276410
IDBENCH= 5749
IDSOLVER= 69
FILE ID= node6/276410-1169236831

PBS_JOBID= 3588999

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-22_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276410-1169236831/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-276410-1169236831 -o ROOT/results/node6/solver-276410-1169236831 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276410-1169236831/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  70d4bbef57c703949e1f02a0b6cef9a2

RANDOM SEED= 694520758

TIME LIMIT= 2400 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:      2055924 kB
MemFree:       1272584 kB
Buffers:         60680 kB
Cached:         593180 kB
SwapCached:       2476 kB
Active:         297056 kB
Inactive:       404296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1272584 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            2428 kB
Writeback:           0 kB
Mapped:          58512 kB
Slab:            66820 kB
Committed_AS:  8108640 kB
PageTables:       2336 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= 66560 MiB



End job on node6 on Fri Jan 19 20:40:36 UTC 2007