Trace number 276841

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 885.916 888.491

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-35_ext.xml
MD5SUM7f03dca00e396705a664a8eb512a15b4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints752
Best CPU time to get the best result obtained on this benchmark20.1149
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints753
Maximum constraint arity2
Maximum domain size8
Number of constraints which are defined in extension753
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/276841-1169247597/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.43	       =>  wckTime=0.099  cpuTime=0.09  mem=6M887
0.43	   
0.43	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.71	     nbConstraints=752  nbRelationTypes=753  nbExtensionStructures=752  nbSharedExtensionStructures=0
0.71	     nbConflictsStructures=752  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=11902  maxDegree=39
0.71	     maxArity=2
0.71	       =>  wckTime=0.374  cpuTime=0.25  mem=11M779
0.75	   
0.75	   solver LocalSearchSolver being built... 
0.80	       =>  wckTime=0.465  cpuTime=0.29  mem=6M108
0.80	
0.80	s SATISFIABLE
0.80	o 666
0.80	c 86
0.80	o 673
0.80	c 79
0.80	o 677
0.80	c 75
0.80	o 682
0.80	c 70
0.81	o 688
0.81	c 64
0.81	o 692
0.81	c 60
0.81	o 696
0.81	c 56
0.81	o 700
0.81	c 52
0.81	o 704
0.81	c 48
0.81	o 707
0.81	c 45
0.81	o 711
0.81	c 41
0.81	o 713
0.81	c 39
0.81	o 718
0.81	c 34
0.81	o 720
0.81	c 32
0.81	o 722
0.81	c 30
0.81	o 724
0.81	c 28
0.81	o 725
0.81	c 27
0.81	o 727
0.81	c 25
0.82	o 729
0.82	c 23
0.82	o 731
0.82	c 21
0.82	o 732
0.82	c 20
0.82	o 733
0.82	c 19
0.82	o 735
0.82	c 17
0.82	o 736
0.82	c 16
0.82	o 739
0.82	c 13
0.82	o 740
0.82	c 12
0.82	o 741
0.82	c 11
0.83	o 742
0.83	c 10
0.83	o 743
0.83	c 9
0.83	o 744
0.83	c 8
0.84	o 745
0.84	c 7
0.84	o 746
0.84	c 6
0.85	o 747
0.85	c 5
0.85	o 748
0.85	c 4
1.09	o 749
1.09	c 3
1.09	o 750
1.09	c 2
1.27	o 751
1.27	c 1
1.27	   
1.27	   search
1.27	     run=0  nbConstraintChecks=2517014  nbAssignments=1694
1.27	       =>  wckTime=0.473  cpuTime=0.46  mem=6M108
1.27	   
1.27	   global
1.27	     nbConstraintChecks=2517014  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.27	     solvingWckTime=0.471  solvingCpuTime=0.45  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.27	     globalCpuTime=0.8
1.27	       =>  wckTime=0.938  cpuTime=0.75  mem=6M108
1.27	   
1.27	   solver IterativeSystematicSolver being built... 
1.40	       =>  wckTime=1.069  cpuTime=0.85  mem=17M49
1.50	   
1.50	   preprocessing
1.50	     nbConstraintChecks=57554  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.50	     detectedInconsistency=no
1.50	       =>  wckTime=0.098  cpuTime=0.07  mem=17M49
1.56	   
1.56	   search
1.56	     run=0  nbConstraintChecks=127258  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36
1.56	     nbFailedAssignments=19  nbBacktracks=10  nbVisitedNodes=66  nbRestartNogoods=0
1.56	       =>  wckTime=0.159  cpuTime=0.13  mem=17M49
1.64	   
1.64	   search
1.64	     run=1  nbConstraintChecks=289810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=82
1.64	     nbFailedAssignments=44  nbBacktracks=25  nbVisitedNodes=152  nbRestartNogoods=9
1.64	       =>  wckTime=0.237  cpuTime=0.2  mem=17M49
1.74	   
1.74	   search
1.74	     run=2  nbConstraintChecks=526167  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=144
1.74	     nbFailedAssignments=78  nbBacktracks=47  nbVisitedNodes=269  nbRestartNogoods=16
1.74	       =>  wckTime=0.338  cpuTime=0.29  mem=17M49
1.87	   
1.87	   search
1.87	     run=3  nbConstraintChecks=880527  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=238
1.87	     nbFailedAssignments=132  nbBacktracks=81  nbVisitedNodes=450  nbRestartNogoods=26
1.87	       =>  wckTime=0.473  cpuTime=0.43  mem=17M49
2.10	   
2.10	   search
2.10	     run=4  nbConstraintChecks=1472649  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=391
2.10	     nbFailedAssignments=228  nbBacktracks=131  nbVisitedNodes=745  nbRestartNogoods=33
2.10	       =>  wckTime=0.696  cpuTime=0.65  mem=17M49
2.41	   
2.42	   search
2.42	     run=5  nbConstraintChecks=2327973  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=606
2.42	     nbFailedAssignments=362  nbBacktracks=206  nbVisitedNodes=1163  nbRestartNogoods=45
2.42	       =>  wckTime=1.014  cpuTime=0.96  mem=17M49
2.88	   
2.88	   search
2.88	     run=6  nbConstraintChecks=3551713  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=916
2.88	     nbFailedAssignments=553  nbBacktracks=319  nbVisitedNodes=1769  nbRestartNogoods=72
2.88	       =>  wckTime=1.481  cpuTime=1.43  mem=17M49
3.59	   
3.59	   search
3.59	     run=7  nbConstraintChecks=5357052  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1388
3.59	     nbFailedAssignments=850  nbBacktracks=489  nbVisitedNodes=2682  nbRestartNogoods=82
3.59	       =>  wckTime=2.189  cpuTime=2.12  mem=17M49
4.64	   
4.64	   search
4.64	     run=8  nbConstraintChecks=8069039  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2062
4.64	     nbFailedAssignments=1261  nbBacktracks=745  nbVisitedNodes=3985  nbRestartNogoods=92
4.64	       =>  wckTime=3.236  cpuTime=3.15  mem=17M49
5.96	   
5.96	   search
5.96	     run=9  nbConstraintChecks=11537083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2967
5.96	     nbFailedAssignments=1775  nbBacktracks=1130  nbVisitedNodes=5710  nbRestartNogoods=107
5.96	       =>  wckTime=4.557  cpuTime=4.46  mem=17M49
7.87	   
7.87	   search
7.87	     run=10  nbConstraintChecks=16339763  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4255
7.87	     nbFailedAssignments=2482  nbBacktracks=1706  nbVisitedNodes=8061  nbRestartNogoods=115
7.87	       =>  wckTime=6.47  cpuTime=6.36  mem=17M49
10.25	   
10.25	   search
10.25	     run=11  nbConstraintChecks=22352078  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5977
10.25	     nbFailedAssignments=3331  nbBacktracks=2571  nbVisitedNodes=11025  nbRestartNogoods=120
10.25	       =>  wckTime=8.849  cpuTime=8.72  mem=17M49
13.39	   
13.39	   search
13.39	     run=12  nbConstraintChecks=29999166  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8336
13.39	     nbFailedAssignments=4388  nbBacktracks=3869  nbVisitedNodes=14831  nbRestartNogoods=133
13.39	       =>  wckTime=11.991  cpuTime=11.85  mem=17M49
18.09	   
18.09	   search
18.09	     run=13  nbConstraintChecks=41466406  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11880
18.09	     nbFailedAssignments=5978  nbBacktracks=5815  nbVisitedNodes=20547  nbRestartNogoods=147
18.09	       =>  wckTime=16.686  cpuTime=16.52  mem=17M49
24.29	   
24.29	   search
24.29	     run=14  nbConstraintChecks=56205360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16815
24.29	     nbFailedAssignments=7989  nbBacktracks=8735  nbVisitedNodes=28161  nbRestartNogoods=161
24.29	       =>  wckTime=22.887  cpuTime=22.69  mem=17M49
33.63	   
33.63	   search
33.63	     run=15  nbConstraintChecks=78810647  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24322
33.63	     nbFailedAssignments=11110  nbBacktracks=13113  nbVisitedNodes=39736  nbRestartNogoods=172
33.63	       =>  wckTime=32.23  cpuTime=31.99  mem=17M49
47.34	   
47.34	   search
47.34	     run=16  nbConstraintChecks=112085429  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=35439
47.34	     nbFailedAssignments=15651  nbBacktracks=19682  nbVisitedNodes=56749  nbRestartNogoods=192
47.34	       =>  wckTime=45.939  cpuTime=45.64  mem=17M49
67.53	   
67.53	   search
67.53	     run=17  nbConstraintChecks=160846347  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51947
67.53	     nbFailedAssignments=22299  nbBacktracks=29536  nbVisitedNodes=81691  nbRestartNogoods=207
67.53	       =>  wckTime=66.134  cpuTime=65.7  mem=17M49
98.22	   
98.22	   search
98.22	     run=18  nbConstraintChecks=234069929  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=76530
98.22	     nbFailedAssignments=32097  nbBacktracks=44316  nbVisitedNodes=119082  nbRestartNogoods=220
98.22	       =>  wckTime=96.818  cpuTime=96.16  mem=17M49
143.42	   
143.42	   search
143.42	     run=19  nbConstraintChecks=342826573  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=113193
143.42	     nbFailedAssignments=46581  nbBacktracks=66484  nbVisitedNodes=174621  nbRestartNogoods=241
143.42	       =>  wckTime=142.018  cpuTime=141.07  mem=17M49
212.17	   
212.18	   search
212.18	     run=20  nbConstraintChecks=505626032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=168372
212.18	     nbFailedAssignments=68501  nbBacktracks=99741  nbVisitedNodes=258200  nbRestartNogoods=266
212.18	       =>  wckTime=210.774  cpuTime=209.5  mem=17M49
314.77	   
314.77	   search
314.77	     run=21  nbConstraintChecks=748231860  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=250858
314.77	     nbFailedAssignments=101104  nbBacktracks=149622  nbVisitedNodes=383244  nbRestartNogoods=286
314.77	       =>  wckTime=313.373  cpuTime=311.61  mem=17M49
458.50	   
458.50	   search
458.50	     run=22  nbConstraintChecks=1106489061  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=373212
458.51	     nbFailedAssignments=148633  nbBacktracks=224440  nbVisitedNodes=567376  nbRestartNogoods=293
458.51	       =>  wckTime=457.104  cpuTime=454.98  mem=17M49
669.14	   
669.14	   search
669.14	     run=23  nbConstraintChecks=1642483426  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=557320
669.14	     nbFailedAssignments=220506  nbBacktracks=336667  nbVisitedNodes=844755  nbRestartNogoods=310
669.14	       =>  wckTime=667.742  cpuTime=665.37  mem=17M49
888.47	   
888.47	   search
888.47	     run=24  nbConstraintChecks=2196008079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=748347
888.47	     nbFailedAssignments=294823  nbBacktracks=453378  nbVisitedNodes=1131774  nbRestartNogoods=325
888.47	       =>  wckTime=887.071  cpuTime=884.46  mem=17M49
888.47	   
888.47	   global
888.47	     nbConstraintChecks=2196065633  nbRestartNogoods=325  solvingWckTime=887.072  solvingCpuTime=884.46  expiredTime=no
888.47	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=885.36
888.47	       =>  wckTime=888.141  cpuTime=885.31  mem=17M49
888.48	
888.48	s OPTIMUM FOUND
888.48	v 2 1 2 7 5 6 7 2 2 6 1 2 5 1 7 6 7 1 5 0 2 4 1 3 4 4 7 5 5 1 5 7 4 4 5 4 6 2 2 3 
888.48	   
888.48	   totalWckTime=888.224  totalCpuTime=885.36

Verifier Data (download as text)

1 unsatisfied constraints, 752 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/node11/watcher-276841-1169247597 -o ROOT/results/node11/solver-276841-1169247597 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/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: 2.05 2.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=18540 CPUtime=0
/proc/14268/stat : 14268 (runsolver) R 14266 14268 13557 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273154701 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14268/statm: 4635 279 244 17 0 2626 0

[startup+0.102131 s]
/proc/loadavg: 2.05 2.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=911488 CPUtime=0.06
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 2588 0 1 0 5 1 0 0 20 0 8 0 273154701 933363712 2335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155200117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 227872 2335 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.510213 s]
/proc/loadavg: 2.05 2.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915332 CPUtime=0.47
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 6253 0 1 0 43 4 0 0 18 0 8 0 273154701 937299968 5992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228833 5992 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33338 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1259296/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=1.27
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 8177 0 1 0 115 12 0 0 24 0 8 0 273154701 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 7915 2496 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.2
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915580

[startup+2.9797 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1255008/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=2.92
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9233 0 1 0 279 13 0 0 25 0 8 0 273154701 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8969 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273154707 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.25
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915580

[startup+6.27035 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254944/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=6.19
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9253 0 1 0 606 13 0 0 25 0 8 0 273154701 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8987 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 427 0 0 0 27 1 0 0 15 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915580

[startup+12.7586 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=12.65
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9261 0 1 0 1252 13 0 0 25 0 8 0 273154701 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073936649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8994 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915580

[startup+25.6022 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=25.43
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9269 0 1 0 2530 13 0 0 25 0 8 0 273154701 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9001 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915580

[startup+51.2133 s]
/proc/loadavg: 2.09 2.03 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=50.92
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9274 0 1 0 5078 14 0 0 25 0 8 0 273154701 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9006 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 431 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915580

[startup+102.45 s]
/proc/loadavg: 2.03 2.02 2.00 3/99 14410
/proc/meminfo: memFree=1253672/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=101.79
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9281 0 1 0 10165 14 0 0 25 0 8 0 273154701 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9011 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 431 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 915580

[startup+162.521 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 14474
/proc/meminfo: memFree=1254760/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=161.51
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9284 0 1 0 16137 14 0 0 25 0 8 0 273154701 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.72
Current children cumulated vsize (KiB) 915580

[startup+522.814 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=520.64
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 52046 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.64
Current children cumulated vsize (KiB) 915580

[startup+582.833 s]
/proc/loadavg: 2.07 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1197016/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=580.6
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 58042 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.6
Current children cumulated vsize (KiB) 915580

[startup+642.883 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=640.59
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 64041 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) R 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.59
Current children cumulated vsize (KiB) 915580

[startup+702.908 s]
/proc/loadavg: 2.01 2.00 2.00 4/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=700.53
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 70035 18 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.53
Current children cumulated vsize (KiB) 915580

[startup+762.937 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=760.51
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 76032 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.51
Current children cumulated vsize (KiB) 915580

[startup+822.951 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1197016/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=820.47
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 82028 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.47
Current children cumulated vsize (KiB) 915580

[startup+882.986 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=880.42
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 88023 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.42
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 888.491
CPU time (s): 885.916
CPU user time (s): 885.716
CPU system time (s): 0.199969
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.716
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9391
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= 19348
involuntary context switches= 27003

runsolver used 1.08983 s user time and 2.85556 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Fri Jan 19 22:59:57 UTC 2007


IDJOB= 276841
IDBENCH= 6058
IDSOLVER= 68
FILE ID= node11/276841-1169247597

PBS_JOBID= 3589038

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-276841-1169247597 -o ROOT/results/node11/solver-276841-1169247597 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7f03dca00e396705a664a8eb512a15b4

RANDOM SEED= 580637361

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.261
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	: 5931.00
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.261
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:       1281528 kB
Buffers:         62676 kB
Cached:         584576 kB
SwapCached:       2828 kB
Active:         226776 kB
Inactive:       468768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1281528 kB
SwapTotal:     4192956 kB
SwapFree:      4171812 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:          66712 kB
Slab:            63604 kB
Committed_AS:  8170200 kB
PageTables:       2340 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= 66561 MiB



End job on node11 on Fri Jan 19 23:14:45 UTC 2007