Trace number 276652

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 EPFCOPTIMUM 2219.75 2239.59

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-15_ext.xml
MD5SUMb0f833c6013824edaf84bd63c190d30c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints83
Best CPU time to get the best result obtained on this benchmark2219.75
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
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=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/276652-1169243472/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.42	       =>  wckTime=0.103  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.78	   
0.78	   constraints being loaded...
0.92	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.92	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=9  maxArity=2
0.92	       =>  wckTime=0.606  cpuTime=0.55  mem=36M329
0.97	   
0.97	   solver LocalSearchSolver being built... 
1.02	       =>  wckTime=0.711  cpuTime=0.59  mem=7M469
1.04	
1.04	s SATISFIABLE
1.04	o 15
1.04	c 69
1.04	o 18
1.04	c 66
1.04	o 21
1.04	c 63
1.04	o 24
1.04	c 60
1.04	o 27
1.04	c 57
1.04	o 30
1.04	c 54
1.05	o 33
1.05	c 51
1.05	o 35
1.05	c 49
1.05	o 37
1.05	c 47
1.05	o 38
1.05	c 46
1.05	o 40
1.05	c 44
1.05	o 42
1.05	c 42
1.06	o 44
1.06	c 40
1.06	o 46
1.06	c 38
1.06	o 48
1.06	c 36
1.06	o 50
1.06	c 34
1.06	o 52
1.06	c 32
1.06	o 54
1.06	c 30
1.07	o 55
1.07	c 29
1.07	o 56
1.07	c 28
1.07	o 58
1.07	c 26
1.07	o 59
1.07	c 25
1.07	o 60
1.08	c 24
1.08	o 61
1.08	c 23
1.09	o 62
1.09	c 22
1.09	o 63
1.09	c 21
1.10	o 64
1.10	c 20
1.11	o 65
1.11	c 19
1.11	o 66
1.11	c 18
1.11	o 67
1.11	c 17
1.11	o 68
1.11	c 16
1.13	o 70
1.13	c 14
1.13	o 71
1.13	c 13
1.15	o 72
1.15	c 12
1.16	o 73
1.16	c 11
1.17	o 74
1.17	c 10
1.30	o 75
1.30	c 9
1.57	o 76
1.57	c 8
3.64	o 77
3.64	c 7
3.70	o 78
3.70	c 6
9.28	o 79
9.28	c 5
11.76	   
11.76	   search
11.76	     run=0  nbConstraintChecks=91888609  nbAssignments=10000
11.76	       =>  wckTime=10.741  cpuTime=10.63  mem=7M469
22.58	   
22.58	   search
22.58	     run=1  nbConstraintChecks=181227389  nbAssignments=20000
22.58	       =>  wckTime=21.556  cpuTime=21.35  mem=7M469
33.07	   
33.07	   search
33.07	     run=2  nbConstraintChecks=266814963  nbAssignments=30000
33.07	       =>  wckTime=32.051  cpuTime=31.76  mem=7M469
39.55	   
39.55	   search
39.55	     run=3  nbConstraintChecks=320070277  nbAssignments=35533
39.55	       =>  wckTime=38.526  cpuTime=38.18  mem=7M469
39.55	   
39.55	   global
39.55	     nbConstraintChecks=320070277  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.55	     solvingWckTime=38.522  solvingCpuTime=38.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
39.55	     globalCpuTime=38.81
39.55	       =>  wckTime=39.238  cpuTime=38.77  mem=7M469
39.55	   
39.55	   solver IterativeSystematicSolver being built... 
39.68	       =>  wckTime=39.371  cpuTime=38.88  mem=18M283
39.82	   
39.82	   preprocessing
39.82	     nbConstraintChecks=549323  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
39.82	     detectedInconsistency=no
39.82	       =>  wckTime=0.135  cpuTime=0.1  mem=18M283
42.75	   
42.76	   search
42.76	     run=0  nbConstraintChecks=20400061  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=725
42.76	     nbFailedAssignments=710  nbBacktracks=10  nbVisitedNodes=1446  nbRestartNogoods=0
42.76	       =>  wckTime=3.071  cpuTime=3.0  mem=18M283
43.89	   
43.89	   search
43.89	     run=1  nbConstraintChecks=27418582  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=911
43.89	     nbFailedAssignments=865  nbBacktracks=25  nbVisitedNodes=1802  nbRestartNogoods=79
43.89	       =>  wckTime=4.208  cpuTime=4.12  mem=18M283
50.01	   
50.01	   search
50.01	     run=2  nbConstraintChecks=75579496  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2493
50.01	     nbFailedAssignments=2418  nbBacktracks=47  nbVisitedNodes=4959  nbRestartNogoods=179
50.01	       =>  wckTime=10.324  cpuTime=10.15  mem=18M283
57.97	   
57.97	   search
57.97	     run=3  nbConstraintChecks=155652046  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5115
57.97	     nbFailedAssignments=5000  nbBacktracks=80  nbVisitedNodes=10196  nbRestartNogoods=347
57.97	       =>  wckTime=18.29  cpuTime=18.04  mem=18M283
66.02	   
66.02	   search
66.02	     run=4  nbConstraintChecks=215449750  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7468
66.02	     nbFailedAssignments=7294  nbBacktracks=130  nbVisitedNodes=14893  nbRestartNogoods=501
66.02	       =>  wckTime=26.337  cpuTime=26.02  mem=18M283
79.63	   
79.63	   search
79.63	     run=5  nbConstraintChecks=327386597  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10925
79.63	     nbFailedAssignments=10668  nbBacktracks=205  nbVisitedNodes=21799  nbRestartNogoods=703
79.63	       =>  wckTime=39.945  cpuTime=39.5  mem=18M283
88.90	   
88.90	   search
88.90	     run=6  nbConstraintChecks=387437643  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13891
88.90	     nbFailedAssignments=13507  nbBacktracks=318  nbVisitedNodes=27717  nbRestartNogoods=838
88.90	       =>  wckTime=49.215  cpuTime=48.68  mem=18M283
119.82	   
119.82	   search
119.82	     run=7  nbConstraintChecks=629901083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22137
119.82	     nbFailedAssignments=21574  nbBacktracks=488  nbVisitedNodes=44200  nbRestartNogoods=1008
119.82	       =>  wckTime=80.136  cpuTime=79.32  mem=18M283
130.51	   
130.51	   search
130.51	     run=8  nbConstraintChecks=710687907  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=26092
130.51	     nbFailedAssignments=25257  nbBacktracks=744  nbVisitedNodes=52094  nbRestartNogoods=1108
130.51	       =>  wckTime=90.825  cpuTime=89.91  mem=18M283
167.21	   
167.21	   search
167.21	     run=9  nbConstraintChecks=970486544  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=37469
167.21	     nbFailedAssignments=36234  nbBacktracks=1128  nbVisitedNodes=74832  nbRestartNogoods=1290
167.21	       =>  wckTime=127.529  cpuTime=126.28  mem=18M283
206.97	   
206.97	   search
206.97	     run=10  nbConstraintChecks=1223482638  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46671
206.97	     nbFailedAssignments=44842  nbBacktracks=1704  nbVisitedNodes=93207  nbRestartNogoods=1625
206.97	       =>  wckTime=167.284  cpuTime=165.7  mem=18M283
273.25	   
273.25	   search
273.25	     run=11  nbConstraintChecks=1683076097  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=65291
273.25	     nbFailedAssignments=62592  nbBacktracks=2568  nbVisitedNodes=130440  nbRestartNogoods=1717
273.25	       =>  wckTime=233.565  cpuTime=231.42  mem=18M283
348.10	   
348.10	   search
348.10	     run=12  nbConstraintChecks=2133739656  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=79025
348.10	     nbFailedAssignments=75024  nbBacktracks=3865  nbVisitedNodes=157888  nbRestartNogoods=1737
348.10	       =>  wckTime=308.412  cpuTime=305.63  mem=18M283
467.03	   
467.04	   search
467.04	     run=13  nbConstraintChecks=2948958501  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=105926
467.04	     nbFailedAssignments=99972  nbBacktracks=5811  nbVisitedNodes=211612  nbRestartNogoods=1903
467.04	       =>  wckTime=427.352  cpuTime=423.57  mem=18M283
521.38	o 80
521.39	c 4
550.05	   
550.05	   search
550.05	     run=14  nbConstraintChecks=3425165060  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=130601
550.05	     nbFailedAssignments=121721  nbBacktracks=8730  nbVisitedNodes=260818  nbRestartNogoods=2003
550.05	       =>  wckTime=510.365  cpuTime=505.85  mem=18M283
668.94	o 81
668.94	c 3
713.00	   
713.01	   search
713.01	     run=15  nbConstraintChecks=4270600549  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=161529
713.01	     nbFailedAssignments=148266  nbBacktracks=13109  nbVisitedNodes=322233  nbRestartNogoods=2028
713.01	       =>  wckTime=673.322  cpuTime=667.14  mem=18M283
880.65	o 82
880.65	c 2
915.03	   
915.03	   search
915.03	     run=16  nbConstraintChecks=5316628491  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=199996
915.03	     nbFailedAssignments=180157  nbBacktracks=19678  nbVisitedNodes=398401  nbRestartNogoods=2068
915.03	       =>  wckTime=875.349  cpuTime=867.36  mem=18M283
1188.79	   
1188.79	   search
1188.79	     run=17  nbConstraintChecks=6398291927  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=241938
1188.79	     nbFailedAssignments=212243  nbBacktracks=29531  nbVisitedNodes=479232  nbRestartNogoods=2097
1188.79	       =>  wckTime=1149.104  cpuTime=1138.67  mem=18M283
1575.03	   
1575.04	   search
1575.04	     run=18  nbConstraintChecks=7877034235  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=302695
1575.04	     nbFailedAssignments=258220  nbBacktracks=44309  nbVisitedNodes=595128  nbRestartNogoods=2128
1575.04	       =>  wckTime=1535.352  cpuTime=1521.56  mem=18M283
2144.96	o 83
2144.96	c 1
2162.92	   
2162.92	   search
2162.92	     run=19  nbConstraintChecks=10191872598  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=396577
2162.92	     nbFailedAssignments=329932  nbBacktracks=66477  nbVisitedNodes=774559  nbRestartNogoods=2149
2162.92	       =>  wckTime=2123.241  cpuTime=2104.36  mem=19M255
2239.52	   
2239.52	   search
2239.52	     run=20  nbConstraintChecks=10477406112  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=406836
2239.52	     nbFailedAssignments=336989  nbBacktracks=69680  nbVisitedNodes=792860  nbRestartNogoods=2219
2239.52	       =>  wckTime=2199.835  cpuTime=2180.28  mem=19M255
2239.52	   
2239.52	   global
2239.52	     nbConstraintChecks=10477955435  nbRestartNogoods=2219  solvingWckTime=2199.836  solvingCpuTime=2180.28
2239.52	     expiredTime=no  totalExploration=yes  nbFoundSolutions=4  globalCpuTime=2219.2
2239.52	       =>  wckTime=2239.208  cpuTime=2219.16  mem=19M255
2239.52	
2239.52	s OPTIMUM FOUND
2239.52	v 9 59 2 20 77 156 93 0 53 148 59 36 154 11 162 115 161 64 148 2 39 36 4 177 149 78 114 68 34 172 140 80 138 118 115 89 61 155 50 153 
2239.52	   
2239.52	   totalWckTime=2239.29  totalCpuTime=2219.2

Verifier Data (download as text)

1 unsatisfied constraints, 83 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/node19/watcher-276652-1169243472 -o ROOT/results/node19/solver-276652-1169243472 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/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.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=906644 CPUtime=0.03
/proc/12247/stat : 12247 (java) S 12245 12247 11916 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 272741893 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 226661 1818 1036 14 0 214244 0
[pid=12247/tid=12249] ppid=12245 vsize=906644 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) R 12245 12247 11916 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 272741897 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102671 s]
/proc/loadavg: 1.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=914988 CPUtime=0.08
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 272741893 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228747 2735 1426 14 0 215242 0
[pid=12247/tid=12249] ppid=12245 vsize=914988 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 272741897 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510748 s]
/proc/loadavg: 1.97 2.00 1.99 4/86 12248
/proc/meminfo: memFree=1140816/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915332 CPUtime=0.49
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 7375 0 1 0 45 4 0 0 18 0 8 0 272741893 937299968 7114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228833 7114 2142 14 0 215303 0
[pid=12247/tid=12249] ppid=12245 vsize=915332 CPUtime=0
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 272741897 937299968 7114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3319 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094296/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1.3
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14262 0 1 0 122 8 0 0 25 0 8 0 272741893 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14000 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 17 0 8 0 272741897 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.13
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14000 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.97421 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2.93
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14268 0 1 0 278 15 0 0 25 0 8 0 272741893 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14005 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 335 0 0 0 14 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444

[startup+6.26883 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=6.2
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14268 0 1 0 592 28 0 0 25 0 8 0 272741893 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14005 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 335 0 0 0 14 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14005 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444

[startup+12.744 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094168/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=12.62
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14270 0 1 0 1209 53 0 0 25 0 8 0 272741893 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14007 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444

[startup+25.6055 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1094232/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=25.37
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14270 0 1 0 2437 100 0 0 25 0 8 0 272741893 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14007 2479 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.14
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 337 0 0 0 14 0 0 0 16 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444

[startup+51.2233 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1093848/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=50.76
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14429 0 1 0 4926 150 0 0 25 0 8 0 272741893 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14158 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.25
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915444

[startup+102.441 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 12255
/proc/meminfo: memFree=1093976/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=101.52
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14434 0 1 0 10001 151 0 0 25 0 8 0 272741893 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14161 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.25
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444

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

/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.51
Current children cumulated vsize (KiB) 915444

[startup+1844.49 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093592/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1828.09
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 182644 165 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1828.09
Current children cumulated vsize (KiB) 915444

[startup+1904.57 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 12455
/proc/meminfo: memFree=1093592/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1887.65
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 188600 165 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1887.65
Current children cumulated vsize (KiB) 915444

[startup+1964.64 s]
/proc/loadavg: 2.01 2.01 2.00 4/93 12455
/proc/meminfo: memFree=1093656/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=1947.21
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 194555 166 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1947.21
Current children cumulated vsize (KiB) 915444

[startup+2024.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2006.77
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 200511 166 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2006.77
Current children cumulated vsize (KiB) 915444

[startup+2084.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2066.33
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 206466 167 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.33
Current children cumulated vsize (KiB) 915444

[startup+2144.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12455
/proc/meminfo: memFree=1093720/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2125.88
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 212421 167 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.88
Current children cumulated vsize (KiB) 915444

[startup+2204.94 s]
/proc/loadavg: 2.11 2.03 2.01 3/93 12455
/proc/meminfo: memFree=1093784/2055920 swapFree=4171264/4192956
[pid=12247] ppid=12245 vsize=915444 CPUtime=2185.45
/proc/12247/stat : 12247 (java) R 12245 12247 11916 0 -1 0 14441 0 1 0 218377 168 0 0 25 0 8 0 272741893 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12247/statm: 228861 14164 2532 14 0 215331 0
[pid=12247/tid=12249] ppid=12245 vsize=915444 CPUtime=0.04
/proc/12247/task/12249/stat : 12249 (java) S 12245 12247 11916 0 -1 64 618 0 0 0 4 0 0 0 16 0 8 0 272741897 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12250] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12250/stat : 12250 (java) S 12245 12247 11916 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12251] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12251/stat : 12251 (java) S 12245 12247 11916 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272741898 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12252] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12252/stat : 12252 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12253] ppid=12245 vsize=915444 CPUtime=0.26
/proc/12247/task/12253/stat : 12253 (java) S 12245 12247 11916 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12254] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12254/stat : 12254 (java) S 12245 12247 11916 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12247/tid=12255] ppid=12245 vsize=915444 CPUtime=0
/proc/12247/task/12255/stat : 12255 (java) S 12245 12247 11916 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272741901 937414656 14164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.45
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 2239.59
CPU time (s): 2219.75
CPU user time (s): 2218.05
CPU system time (s): 1.69574
CPU usage (%): 99.114
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2218.05
system time used= 1.69574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14452
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= 46437
involuntary context switches= 85350

runsolver used 2.68859 s user time and 7.2469 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Fri Jan 19 21:51:13 UTC 2007


IDJOB= 276652
IDBENCH= 5921
IDSOLVER= 68
FILE ID= node19/276652-1169243472

PBS_JOBID= 3589031

Free space on /tmp= 66555 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-276652-1169243472 -o ROOT/results/node19/solver-276652-1169243472 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276652-1169243472/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b0f833c6013824edaf84bd63c190d30c

RANDOM SEED= 826362541

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.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1141232 kB
Buffers:         61388 kB
Cached:         702280 kB
SwapCached:      10172 kB
Active:         378612 kB
Inactive:       457260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1141232 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            3548 kB
Writeback:           0 kB
Mapped:          82476 kB
Slab:            63584 kB
Committed_AS:  7271816 kB
PageTables:       2396 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= 66555 MiB



End job on node19 on Fri Jan 19 22:28:32 UTC 2007