Trace number 276689

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 PFCOPTIMUM 539.963 540.65

General information on the benchmark

Nametightness/tightness0.65/
rand-2-40-40-135-650-15_ext.xml
MD5SUM894a922de2e82381bcde1a85406b08e1
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints134
Best CPU time to get the best result obtained on this benchmark30.2994
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/276689-1169244314/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.46	     nbVariables=40  nbDomainTypes=1  minDomainSize=40  maxDomainSize=40
0.46	       =>  wckTime=0.098  cpuTime=0.09  mem=6M910
0.46	   
0.46	   relations being loaded...
0.57	   
0.57	   constraints being loaded...
0.65	     nbConstraints=135  nbRelationTypes=135  nbExtensionStructures=135  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=135  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=2
0.65	       =>  wckTime=0.29  cpuTime=0.23  mem=15M703
0.69	   
0.69	   solver LocalSearchSolver being built... 
0.73	       =>  wckTime=0.375  cpuTime=0.28  mem=5M927
0.74	
0.74	s SATISFIABLE
0.74	o 50
0.74	c 85
0.74	o 56
0.74	c 79
0.75	o 61
0.75	c 74
0.75	o 65
0.75	c 70
0.75	o 69
0.75	c 66
0.75	o 74
0.75	c 61
0.75	o 78
0.75	c 57
0.75	o 82
0.75	c 53
0.75	o 86
0.75	c 49
0.75	o 88
0.75	c 47
0.75	o 91
0.75	c 44
0.75	o 93
0.75	c 42
0.75	o 96
0.75	c 39
0.75	o 98
0.75	c 37
0.76	o 99
0.76	c 36
0.76	o 100
0.76	c 35
0.76	o 102
0.76	c 33
0.76	o 104
0.76	c 31
0.76	o 106
0.76	c 29
0.76	o 109
0.76	c 26
0.76	o 110
0.76	c 25
0.76	o 112
0.76	c 23
0.76	o 113
0.76	c 22
0.76	o 116
0.76	c 19
0.76	o 117
0.76	c 18
0.76	o 118
0.76	c 17
0.77	o 119
0.77	c 16
0.77	o 120
0.77	c 15
0.77	o 122
0.77	c 13
0.77	o 123
0.77	c 12
0.77	o 125
0.77	c 10
0.80	o 126
0.80	c 9
0.81	o 127
0.81	c 8
0.81	o 128
0.81	c 7
0.84	o 129
0.84	c 6
0.84	o 130
0.84	c 5
1.10	o 131
1.10	c 4
4.14	   
4.14	   search
4.14	     run=0  nbConstraintChecks=25722874  nbAssignments=10000
4.14	       =>  wckTime=3.403  cpuTime=3.35  mem=5M927
7.68	   
7.68	   search
7.68	     run=1  nbConstraintChecks=52766882  nbAssignments=20000
7.68	       =>  wckTime=6.951  cpuTime=6.89  mem=5M927
7.90	o 132
7.90	c 3
10.92	   
10.92	   search
10.92	     run=2  nbConstraintChecks=77064391  nbAssignments=30000
10.92	       =>  wckTime=10.191  cpuTime=10.12  mem=5M927
14.55	   
14.55	   search
14.55	     run=3  nbConstraintChecks=105045542  nbAssignments=40000
14.55	       =>  wckTime=13.822  cpuTime=13.76  mem=5M927
17.83	   
17.83	   search
17.83	     run=4  nbConstraintChecks=129886558  nbAssignments=50000
17.83	       =>  wckTime=17.099  cpuTime=17.04  mem=5M927
21.50	   
21.50	   search
21.50	     run=5  nbConstraintChecks=158346284  nbAssignments=60000
21.50	       =>  wckTime=20.77  cpuTime=20.71  mem=5M927
24.89	   
24.90	   search
24.90	     run=6  nbConstraintChecks=184078691  nbAssignments=70000
24.90	       =>  wckTime=24.163  cpuTime=24.1  mem=5M927
27.90	   
27.90	   search
27.90	     run=7  nbConstraintChecks=206247641  nbAssignments=80000
27.90	       =>  wckTime=27.17  cpuTime=27.1  mem=5M927
31.38	   
31.38	   search
31.38	     run=8  nbConstraintChecks=232771317  nbAssignments=90000
31.38	       =>  wckTime=30.649  cpuTime=30.58  mem=5M927
34.78	   
34.78	   search
34.78	     run=9  nbConstraintChecks=258622999  nbAssignments=100000
34.78	       =>  wckTime=34.045  cpuTime=33.97  mem=5M927
37.80	o 133
37.80	c 2
37.96	   
37.96	   search
37.96	     run=10  nbConstraintChecks=282614494  nbAssignments=110000
37.96	       =>  wckTime=37.229  cpuTime=37.15  mem=5M927
41.33	   
41.33	   search
41.33	     run=11  nbConstraintChecks=308112110  nbAssignments=120000
41.33	       =>  wckTime=40.601  cpuTime=40.53  mem=5M927
44.64	   
44.64	   search
44.64	     run=12  nbConstraintChecks=332868043  nbAssignments=130000
44.64	       =>  wckTime=43.904  cpuTime=43.83  mem=5M927
48.29	   
48.29	   search
48.29	     run=13  nbConstraintChecks=360526876  nbAssignments=140000
48.29	       =>  wckTime=47.557  cpuTime=47.46  mem=5M927
51.68	   
51.68	   search
51.68	     run=14  nbConstraintChecks=386139705  nbAssignments=150000
51.68	       =>  wckTime=50.948  cpuTime=50.84  mem=5M927
55.35	   
55.35	   search
55.35	     run=15  nbConstraintChecks=414520712  nbAssignments=160000
55.35	       =>  wckTime=54.614  cpuTime=54.5  mem=5M927
58.79	   
58.79	   search
58.79	     run=16  nbConstraintChecks=440966815  nbAssignments=170000
58.79	       =>  wckTime=58.053  cpuTime=57.94  mem=5M927
62.21	   
62.21	   search
62.21	     run=17  nbConstraintChecks=467035362  nbAssignments=180000
62.21	       =>  wckTime=61.476  cpuTime=61.36  mem=5M927
65.47	   
65.47	   search
65.47	     run=18  nbConstraintChecks=491489190  nbAssignments=190000
65.47	       =>  wckTime=64.739  cpuTime=64.62  mem=5M927
67.85	   
67.85	   search
67.85	     run=19  nbConstraintChecks=509461617  nbAssignments=196951
67.85	       =>  wckTime=67.115  cpuTime=67.0  mem=5M927
67.85	   
67.85	   global
67.85	     nbConstraintChecks=509461617  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
67.85	     solvingWckTime=67.112  solvingCpuTime=67.0  expiredTime=no  totalExploration=no  nbFoundSolutions=0
67.85	     globalCpuTime=67.32
67.85	       =>  wckTime=67.491  cpuTime=67.28  mem=5M927
67.85	   
67.85	   solver IterativeSystematicSolver being built... 
67.97	       =>  wckTime=67.61  cpuTime=67.38  mem=16M932
67.98	   
67.98	   preprocessing
67.98	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
67.98	     detectedInconsistency=no
67.98	       =>  wckTime=0.0060  cpuTime=0.0  mem=16M932
68.14	   
68.14	   search
68.14	     run=0  nbConstraintChecks=364749  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=57
68.14	     nbFailedAssignments=37  nbBacktracks=10  nbVisitedNodes=105  nbRestartNogoods=0
68.14	       =>  wckTime=0.167  cpuTime=0.14  mem=16M932
68.26	   
68.26	   search
68.26	     run=1  nbConstraintChecks=908324  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=147
68.26	     nbFailedAssignments=102  nbBacktracks=25  nbVisitedNodes=275  nbRestartNogoods=19
68.26	       =>  wckTime=0.292  cpuTime=0.26  mem=16M932
68.43	   
68.43	   search
68.43	     run=2  nbConstraintChecks=1461347  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=230
68.43	     nbFailedAssignments=153  nbBacktracks=47  nbVisitedNodes=431  nbRestartNogoods=52
68.43	       =>  wckTime=0.457  cpuTime=0.42  mem=16M932
68.77	   
68.77	   search
68.77	     run=3  nbConstraintChecks=3558246  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=598
68.77	     nbFailedAssignments=476  nbBacktracks=81  nbVisitedNodes=1156  nbRestartNogoods=58
68.77	       =>  wckTime=0.796  cpuTime=0.76  mem=16M932
69.46	   
69.46	   search
69.46	     run=4  nbConstraintChecks=7536519  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1333
69.46	     nbFailedAssignments=1151  nbBacktracks=131  nbVisitedNodes=2616  nbRestartNogoods=133
69.46	       =>  wckTime=1.487  cpuTime=1.44  mem=16M932
69.92	   
69.92	   search
69.92	     run=5  nbConstraintChecks=9837362  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1808
69.92	     nbFailedAssignments=1539  nbBacktracks=206  nbVisitedNodes=3554  nbRestartNogoods=157
69.92	       =>  wckTime=1.948  cpuTime=1.89  mem=16M932
71.28	   
71.28	   search
71.28	     run=6  nbConstraintChecks=16831660  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3068
71.28	     nbFailedAssignments=2673  nbBacktracks=319  nbVisitedNodes=6061  nbRestartNogoods=209
71.28	       =>  wckTime=3.314  cpuTime=3.25  mem=16M932
73.13	   
73.13	   search
73.13	     run=7  nbConstraintChecks=25968227  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5028
73.13	     nbFailedAssignments=4450  nbBacktracks=489  nbVisitedNodes=9968  nbRestartNogoods=243
73.13	       =>  wckTime=5.162  cpuTime=5.09  mem=16M932
76.84	   
76.84	   search
76.84	     run=8  nbConstraintChecks=45424313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=7883
76.84	     nbFailedAssignments=7037  nbBacktracks=745  nbVisitedNodes=15665  nbRestartNogoods=310
76.84	       =>  wckTime=8.867  cpuTime=8.8  mem=16M932
81.68	   
81.68	   search
81.68	     run=9  nbConstraintChecks=73313073  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13475
81.68	     nbFailedAssignments=12233  nbBacktracks=1129  nbVisitedNodes=26836  nbRestartNogoods=362
81.68	       =>  wckTime=13.71  cpuTime=13.64  mem=16M932
86.86	   
86.86	   search
86.86	     run=10  nbConstraintChecks=99077828  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17733
86.86	     nbFailedAssignments=15905  nbBacktracks=1705  nbVisitedNodes=35342  nbRestartNogoods=392
86.86	       =>  wckTime=18.886  cpuTime=18.81  mem=16M932
92.96	   
92.96	   search
92.96	     run=11  nbConstraintChecks=133935894  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25613
92.96	     nbFailedAssignments=22908  nbBacktracks=2569  nbVisitedNodes=51081  nbRestartNogoods=426
92.96	       =>  wckTime=24.989  cpuTime=24.89  mem=16M932
103.68	   
103.68	   search
103.68	     run=12  nbConstraintChecks=195196573  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36412
103.68	     nbFailedAssignments=32396  nbBacktracks=3866  nbVisitedNodes=72663  nbRestartNogoods=492
103.68	       =>  wckTime=35.705  cpuTime=35.59  mem=16M932
117.02	   
117.02	   search
117.02	     run=13  nbConstraintChecks=260666898  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=49587
117.02	     nbFailedAssignments=43612  nbBacktracks=5812  nbVisitedNodes=98987  nbRestartNogoods=516
117.02	       =>  wckTime=49.048  cpuTime=48.93  mem=16M932
127.54	   
127.54	   search
127.54	     run=14  nbConstraintChecks=304921383  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59085
127.54	     nbFailedAssignments=50179  nbBacktracks=8731  nbVisitedNodes=117915  nbRestartNogoods=556
127.54	       =>  wckTime=59.566  cpuTime=59.44  mem=16M932
138.38	   
138.38	   search
138.38	     run=15  nbConstraintChecks=351856038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70478
138.38	     nbFailedAssignments=57173  nbBacktracks=13109  nbVisitedNodes=140595  nbRestartNogoods=580
138.38	       =>  wckTime=70.409  cpuTime=70.26  mem=16M932
159.04	   
159.04	   search
159.04	     run=16  nbConstraintChecks=434371563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=89819
159.04	     nbFailedAssignments=69940  nbBacktracks=19677  nbVisitedNodes=178854  nbRestartNogoods=624
159.04	       =>  wckTime=91.072  cpuTime=90.9  mem=16M932
197.01	   
197.01	   search
197.01	     run=17  nbConstraintChecks=579068615  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=116642
197.01	     nbFailedAssignments=86903  nbBacktracks=29529  nbVisitedNodes=230249  nbRestartNogoods=651
197.01	       =>  wckTime=129.043  cpuTime=128.83  mem=16M932
260.38	   
260.38	   search
260.38	     run=18  nbConstraintChecks=819328314  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=152989
260.38	     nbFailedAssignments=108464  nbBacktracks=44307  nbVisitedNodes=300940  nbRestartNogoods=666
260.38	       =>  wckTime=192.407  cpuTime=192.14  mem=16M932
344.80	   
344.80	   search
344.80	     run=19  nbConstraintChecks=1133262919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=204806
344.80	     nbFailedAssignments=138107  nbBacktracks=66476  nbVisitedNodes=398249  nbRestartNogoods=709
344.80	       =>  wckTime=276.83  cpuTime=276.48  mem=16M932
483.28	   
483.28	   search
483.28	     run=20  nbConstraintChecks=1643559673  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=284122
483.28	     nbFailedAssignments=184162  nbBacktracks=99729  nbVisitedNodes=551249  nbRestartNogoods=728
483.28	       =>  wckTime=415.314  cpuTime=414.82  mem=16M932
489.55	o 134
489.55	c 1
540.60	   
540.60	   search
540.60	     run=21  nbConstraintChecks=1835726313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=327776
540.60	     nbFailedAssignments=202277  nbBacktracks=125268  nbVisitedNodes=619296  nbRestartNogoods=768
540.60	       =>  wckTime=472.626  cpuTime=472.08  mem=16M932
540.60	   
540.60	   global
540.60	     nbConstraintChecks=1835726313  nbRestartNogoods=768  solvingWckTime=472.627  solvingCpuTime=472.08  expiredTime=no
540.60	     totalExploration=yes  nbFoundSolutions=1  globalCpuTime=539.5
540.60	       =>  wckTime=540.238  cpuTime=539.46  mem=16M932
540.60	
540.60	s OPTIMUM FOUND
540.60	v 5 31 0 17 24 0 1 0 18 2 7 5 24 2 4 35 28 8 29 12 16 13 13 1 24 19 6 8 36 23 27 0 15 13 28 37 29 6 9 5 
540.60	   
540.60	   totalWckTime=540.313  totalCpuTime=539.51

Verifier Data (download as text)

1 unsatisfied constraints, 134 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/node9/watcher-276689-1169244314 -o ROOT/results/node9/solver-276689-1169244314 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/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.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=172 CPUtime=0
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272826534 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663844 0 0 4096 0 0 0 0 17 0 0 0
/proc/28558/statm: 73 31 25 14 0 3 0

[startup+0.107432 s]
/proc/loadavg: 1.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=906644 CPUtime=0.01
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 2102 0 1 0 1 0 0 0 19 0 2 0 272826534 928403456 1851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 226661 1851 1057 14 0 214244 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906644

[startup+0.515475 s]
/proc/loadavg: 1.99 2.00 2.00 4/86 28559
/proc/meminfo: memFree=1277080/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915332 CPUtime=0.42
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 6656 0 1 0 37 5 0 0 25 0 8 0 272826534 937299968 6395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073571054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228833 6395 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332

[startup+1.33657 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251744/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=1.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8981 0 1 0 112 12 0 0 25 0 8 0 272826534 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8719 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915448 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937418752 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915444

[startup+2.97375 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251680/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=2.86
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8982 0 1 0 255 31 0 0 25 0 8 0 272826534 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8719 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937418752 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915444

[startup+6.26813 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251680/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=6.14
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 550 64 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915444

[startup+12.7429 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251688/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=12.61
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 1123 138 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937418752 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444

[startup+25.6153 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251752/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=25.48
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8985 0 1 0 2270 278 0 0 25 0 8 0 272826534 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8722 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915448 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937418752 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 337 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915444

[startup+51.2282 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251752/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=51.05
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 8986 0 1 0 4540 565 0 0 25 0 8 0 272826534 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8723 2476 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.11
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 338 0 0 0 11 0 0 0 16 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915444

[startup+102.444 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 28566
/proc/meminfo: memFree=1251496/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=102.21
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9166 0 1 0 9478 743 0 0 25 0 8 0 272826534 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8897 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.2
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 392 0 0 0 20 0 0 0 16 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915444

[startup+162.504 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251432/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=162.22
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9179 0 1 0 15479 743 0 0 25 0 8 0 272826534 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8910 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.2
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 392 0 0 0 20 0 0 0 16 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 915444

[startup+222.572 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251432/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=222.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9183 0 1 0 21481 743 0 0 25 0 8 0 272826534 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8914 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 915444

[startup+282.631 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251368/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=282.21
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9187 0 1 0 27478 743 0 0 25 0 8 0 272826534 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8916 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 915444

[startup+342.691 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251368/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=342.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9187 0 1 0 33479 744 0 0 25 0 8 0 272826534 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8916 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 915444

[startup+402.75 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251304/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=402.24
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9190 0 1 0 39480 744 0 0 25 0 8 0 272826534 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8919 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 915444

[startup+462.812 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 28566
/proc/meminfo: memFree=1251304/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=462.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9190 0 1 0 45479 744 0 0 25 0 8 0 272826534 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8919 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8919 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 915444

[startup+522.875 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28566
/proc/meminfo: memFree=1251240/2055920 swapFree=4191880/4192956
[pid=28558] ppid=28556 vsize=915444 CPUtime=522.23
/proc/28558/stat : 28558 (java) R 28556 28558 27740 0 -1 0 9193 0 1 0 51479 744 0 0 25 0 8 0 272826534 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28558/statm: 228861 8922 2527 14 0 215331 0
[pid=28558/tid=28560] ppid=28556 vsize=915444 CPUtime=0.03
/proc/28558/task/28560/stat : 28560 (java) S 28556 28558 27740 0 -1 64 258 0 0 0 3 0 0 0 16 0 8 0 272826545 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28561] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28561/stat : 28561 (java) S 28556 28558 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272826546 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28562] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28562/stat : 28562 (java) S 28556 28558 27740 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272826546 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28563] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28563/stat : 28563 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28564] ppid=28556 vsize=915444 CPUtime=0.21
/proc/28558/task/28564/stat : 28564 (java) S 28556 28558 27740 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28565] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28565/stat : 28565 (java) S 28556 28558 27740 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28558/tid=28566] ppid=28556 vsize=915444 CPUtime=0
/proc/28558/task/28566/stat : 28566 (java) S 28556 28558 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272826549 937414656 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 540.65
CPU time (s): 539.963
CPU user time (s): 532.515
CPU system time (s): 7.44787
CPU usage (%): 99.8729
Max. virtual memory (cumulated for all children) (KiB): 915448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.515
system time used= 7.44787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9288
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= 12144
involuntary context switches= 26851

runsolver used 0.773882 s user time and 1.63375 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Fri Jan 19 22:05:14 UTC 2007


IDJOB= 276689
IDBENCH= 5955
IDSOLVER= 69
FILE ID= node9/276689-1169244314

PBS_JOBID= 3589027

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-276689-1169244314 -o ROOT/results/node9/solver-276689-1169244314 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276689-1169244314/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  894a922de2e82381bcde1a85406b08e1

RANDOM SEED= 320765057

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.231
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.231
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:       1277496 kB
Buffers:         58296 kB
Cached:         583356 kB
SwapCached:        268 kB
Active:         285520 kB
Inactive:       408844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1277496 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:          65776 kB
Slab:            68904 kB
Committed_AS:  7966304 kB
PageTables:       2256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66560 MiB



End job on node9 on Fri Jan 19 22:14:15 UTC 2007